TypeScript对象属性键为联合类型时类型错误被抑制的原因

这个行为是TypeScript两类类型校验规则共同作用的设计权衡结果，并非bug：

• 多余属性检查（Excess Property Check）的触发边界限制
  TypeScript针对对象字面量的多余属性检查是一种严格的特例校验，仅作用在对象字面量直接传参、直接赋值的场景，只有当TS能明确识别出某个属性的键是「目标类型里完全不存在的单字面量键」时，才会抛出类型错误。如果属性键的类型不是确定的单一字面量，就会跳过这个严格校验，走通用的结构化类型兼容判断。
• 计算属性的联合类型键处理逻辑
  当你用中括号计算语法写对象属性键时，TS会根据键的类型做不同处理：
  1. 写['option3' as 'option3']时，键的类型是确定的单字面量'option3'，完全不在目标参数类型Partial<Record<UnionType, number>>支持的键范围（'option1' | 'option2'）内，TS能直接判定这是多余属性，抛出符合预期的错误。
  2. 写['option3' as 'option3' | 'option4']时，键的类型是联合类型'option3' | 'option4'，TS没法在编译阶段确定运行时这个键最终取联合里的哪个值。这种场景下TS不会把它判定为明确的多余字面量键，会跳过针对该属性的多余属性检查，只做基础的类型兼容校验：目标类型支持的属性值类型是number，这个计算属性的值也是number，不存在类型冲突，因此不会触发报错。

补充：这个规则是为了避免误伤合法的动态属性使用场景。当开发者主动通过类型断言把键标注为联合类型时，TS默认开发者明确知晓自身的动态键操作逻辑，不会强制要求联合类型的所有键成员都被目标类型覆盖，只要值类型匹配就会放行。

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