TypeScript单/多属性接口计算属性类型校验行为差异原因

这个表现不是TypeScript Bug，是计算属性场景下的已知设计权衡，核心逻辑如下：

• 当keyof T为单成员类型（即接口仅包含单个属性，key的类型是唯一确定的字面量值，比如"one"），TypeScript可以直接将计算属性映射到接口的对应确定属性，会严格校验传入值是否匹配该属性的类型，不符合类型要求的赋值会被正常捕获报错。
• 当keyof T为多成员联合类型（比如"one" | "two"），TypeScript处理对象字面量中的计算属性时，不会执行「遍历所有可能key、校验值匹配所有对应属性类型」的严格检查，反而会将该计算属性的类型宽化为通用索引签名，默认允许传入任意类型值，这就是多属性场景下传入"foo"这类完全不匹配的值也不会触发报错的直接原因。

注意：直接对已声明对象的索引属性赋值（比如vals[key] = 2）走的是另一套校验逻辑：这种场景下TypeScript会要求赋值类型必须是所有可能key对应属性类型的交集（示例中为1 & 2，即never），因此不匹配的赋值会正常报错，和对象字面量计算属性的校验规则并不一致。

你提到的「key不确定时，应该仅允许赋值为所有属性类型的联合类型值」是符合类型安全预期的，但当前TypeScript没有实现这个粒度的校验，直接放宽到了任意类型，本质是编译性能、实现复杂度和类型安全之间的权衡，这个已知问题已经被官方记录，但因为修复需要重构整个计算属性的类型检查流程、带来的编译性能损耗过高，至今没有在稳定版本中落地。

复现示例 #

多属性接口场景（校验漏判的非预期表现） #

interface Values {
  one: 1;
  two: 2;
}

function getNewVals(vals: Values, key: keyof Values): Values {
  // 此处能正确推导aValue类型为1 | 2
  const aValue = vals[key];
  // 此处不会触发类型报错，属于设计局限导致的校验漏判
  return { ...vals, [key]: "foo" };
  // 同理不会报错
  const another: Values = { one: 1, two: 2, [key]: "foo" };
  // 此处走索引赋值校验逻辑，会正常报错
  vals[key] = 2;
}

单属性接口场景（校验正常的预期表现） #

interface JustOneValue {
  one: 1;
}

function getNewJustOneVal(
  vals: JustOneValue,
  key: keyof JustOneValue
): JustOneValue {
  // 类型匹配，无报错
  vals[key] = 1;
  // 以下两种赋值都会正常抛出类型错误
  // 错误提示：Type of computed property's value is 'string', which is not assignable to type '1'
  return { ...vals, [key]: "foo" };
  // 错误提示：Type of computed property's value is '2', which is not assignable to type '1'
  return { ...vals, [key]: 2 };
}

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