使用计算属性时TypeScript无法推断keyof生成的联合类型问题

问题现象 #

当通过计算属性定义对象键时，从该对象键生成的联合类型，在赋值给新对象的属性后，TypeScript会将联合类型自动拓宽为string，导致类型不兼容报错。示例代码如下：

const FOO = "foo";
const BAR = "bar";

const myObj = {
  [FOO]: "oof",
  [BAR]: "rab",
} as const 

type MyUnion = keyof typeof myObj; // 类型为 "foo" | "bar"

const myFunc = (arg: MyUnion) => {console.log("arg: ", arg)};

const myFooOrBar: MyUnion = "foo";

myFunc(myFooOrBar); // 正常执行，无类型报错

const newObj = {
  myFooOrBar,
}

myFunc(newObj.myFooOrBar); // 报错：Argument of type 'string' is not assignable to parameter of type '"foo" | "bar"'

原因分析 #

这是TypeScript类型推断规则的有意设计：

• 常规字符串键场景：TypeScript会默认推断出字面量类型的键，因为它能明确确定键的具体取值范围，后续赋值时也会保留这个精确类型。
• 计算属性场景：即使使用as const断言，TypeScript对计算属性的类型推断会更保守——它默认认为计算属性的键可以是任意string（因为计算属性的表达式理论上可能动态生成未知字符串）。虽然keyof typeof myObj能通过as const追踪到具体的字面量联合类型，但这个精确类型在赋值给新对象属性时，会触发TypeScript的默认类型拓宽行为，将字面量联合类型自动转为更宽泛的string类型。

可行解决方案 #

除了生硬的类型断言，还有更优雅的处理方式：

1. 显式标注新对象类型
   强制指定新对象的属性类型为目标联合类型，避免类型拓宽：

const newObj: { myFooOrBar: MyUnion } = {
  myFooOrBar,
};

2. 用as const断言新对象
   通过as const让TypeScript保留属性的字面量类型：

const newObj = {
  myFooOrBar,
} as const;

此时newObj.myFooOrBar的类型会被推断为"foo"，自然兼容MyUnion。

3. 提前约束计算属性的键类型
   在定义原对象时，显式指定键的联合类型，提前锁定类型范围：

const myObj: Record<"foo" | "bar", string> = {
  [FOO]: "oof",
  [BAR]: "rab",
} as const;

是否需要提交TypeScript Issue？ #

不需要。这个行为是TypeScript为平衡灵活性与类型安全性设计的规则，计算属性本身存在潜在的动态性，TypeScript的保守推断符合大多数场景的需求。现有解决方案已经能完美覆盖问题，因此不属于bug范畴。

内容的提问来源于stack exchange，提问作者ShaneSauce