对象键中的联合类型抑制打字稿中的错误

Question

让我们有一个功能

type UnionType = 'option1' | 'option2'
const myFunction = (arg: Partial<Record<UnionType, number>>) => {
  console.log(arg)
}

用错误类型的参数调用它

myFunction({option1: 1, ['option3' as 'option3']: 2})

导致错误Argument of type '{ option1: number; option3: number; }' is not assignable to parameter of type 'Partial<Record<UnionType, number>>'. Object literal may only specify known properties, and '['option3' as 'option3']' does not exist in type 'Partial<Record<UnionType, number>>' Argument of type '{ option1: number; option3: number; }' is not assignable to parameter of type 'Partial<Record<UnionType, number>>'. Object literal may only specify known properties, and '['option3' as 'option3']' does not exist in type 'Partial<Record<UnionType, number>>'

这是意料之中的。 但是，如果我们将option3参数的类型更改为联合类型，错误就会消失，这是出乎意料的。 这不会引发错误：

myFunction({option1: 1, ['option3' as 'option3' | 'option4']: 2})

这是为什么？

Answer 1

这是 TypeScript 的当前限制或缺失功能。 类型不是单个字符串文字的计算属性键会一直扩展为string ，因此对象会获得大多数人不期望的索引签名。

观察你的对象字面量的推断类型：

const v = { option1: 1, ['option3' as 'option3' | 'option4']: 2 };
/* const v: {
    [x: string]: number;
    option1: number;
} */

这意味着编译器认为v可能具有各种属性键，所有这些属性键都有一个number值，因此v可以分配给{option1?: number, option2?: number} ：

myFunction(v); // okay

有关更多信息和权威来源，请参阅microsoft/TypeScript#13948和microsoft/TypeScript#38663 。

Playground 代码链接