如何使用打字稿声明特定长度的字符串？

Question

例如，长度只能为两个字符的字符串，可用于 ISO 国家/地区代码。

我使用过谷歌并查看了文档，但找不到答案。

Answer 1

没有办法将字符串长度指定为类型。

如果您有一个有限的国家/地区代码列表，您可以编写一个字符串文字类型：

type CountryCode = 'US' | 'CN' | 'CA' | ...(lots of others);

Answer 2

实际上是可以做到的

// tail-end recursive approach: returns the type itself to reuse stack of previous call
type LengthOfString<
  S extends string,
  Acc extends 0[] = []
> = S extends `${string}${infer $Rest}`
  ? LengthOfString<$Rest, [...Acc, 0]>
  : Acc["length"];

type IsStringOfLength<S extends string, Length extends number> = LengthOfString<S> extends Length ? true : false

type ValidExample = IsStringOfLength<'json', 4>
type InvalidExapmple = IsStringOfLength<'xml', 4> 

谢谢

• https://twitter.com/trashh_dev/status/1558827043504078849
• https://twitter.com/anuraghazru/status/1558836599269445637
• https://twitter.com/CodingCarter/status/1558924142379950080

Answer 3

您可以使用类型构造函数和幻像类型来实现此目的，这是一些值得学习的有趣技术。你可以在这里看到我对类似问题的回答