Question

有没有人运行过 Typescript 模板文字，如果它之前是使用变量构造的，则无法识别类型？

这是代码片段：

const namespace = 'myNamespace';

type Keys = 'a' | 'b';

type NamespacedKeys = `${typeof namespace}/${Keys}`;

type NamespacedObjects = Record<NamespacedKeys, string>;

const foo: NamespacedObjects = {
  [`${namespace}/a`]: 'bar',
  [`${namespace}/b`]: 'toto',
} // this would have an error -> Type '{ [x: string]: string; }' is missing the following properties

const baz: NamespacedObjects = {
  'myNamespace/a': 'bar',
  'myNamespace/b': 'yolo',
} // this works

Answer 1

问题在于编译器在遇到 template literal type 时不会自动推断出 template literal expression。例如：

const key = `${namespace}/a`; 
// const key: string

key 的推断类型只是 string 而不是字符串文字。如果您希望编译器为此推断出字符串文字类型，则需要使用 const assertion 明确要求它这样做：

const key2 = `${namespace}/a` as const; 
// const key2: "myNamespace/a"

想知道为什么这不会自动发生？嗯，在 microsoft/TypeScript#41891 中做了一些工作来做到这一点......它显然破坏了一堆已经使用模板文字表达式的现实世界代码，但取决于它的类型只是 string 而不是一些字符串字面量。所以这在 microsoft/TypeScript#42588 中被恢复。现在我们只需要使用 const 断言，至少在 TS 团队弄清楚如何在不破坏太多现有代码的情况下获得更好的行为：

const foo: NamespacedObjects = {
  [`${namespace}/a` as const]: 'bar',
  [`${namespace}/b` as const]: 'toto',
} // okay

Playground link to code

打字稿模板文字类型

1 个答案: