TypeScript赋值对象属性遇‘string不可赋值给never’错误原因咨询

这个错误的核心在于TypeScript对联合类型索引赋值的类型检查规则，以及类型窄化的行为差异：

1. 为什么加as KeyPossibleValue会报错？ #

当你用"MYKEY" as KeyPossibleValue断言时，强制把key的类型从字面量"MYKEY"拓宽为联合类型"MYKEY" | "FOO"。此时TypeScript会认为key可能是两个键中的任意一个，因此对result[key]赋值时，要求赋值的类型必须同时兼容两个键对应的value类型：

• MYKEY的类型是null | string
• FOO的类型是null | number | undefined

这两个类型的交集是never（因为string和number没有共同的子类型），所以string类型的"test"无法赋值给never类型，触发报错。

2. 为什么移除断言后正常运行？ #

当你写const key: KeyPossibleValue = "MYKEY";时，TypeScript会自动做字面量类型窄化：虽然你标注了key的类型是KeyPossibleValue，但因为const声明的变量值是固定的字面量，TS会将key的实际类型窄化为具体的"MYKEY"，而不是联合类型。此时result[key]的类型就是MYOBJECT["MYKEY"]（即null | string），赋值"test"完全符合类型要求。

根据你的需求（基于KeyPossibleValue定义接口，同时每个键有独立类型），可以采用以下两种方案：

方案1：用映射类型定义对象类型 #

直接通过映射类型绑定KeyPossibleValue，同时为每个分支指定对应类型，避免继承带来的类型混淆：

type KeyPossibleValue = "MYKEY" | "FOO";

type MYOBJECT = {
  [K in KeyPossibleValue]: K extends "MYKEY" 
    ? null | string 
    : K extends "FOO" 
      ? null | number | undefined 
      : never;
};

方案2：使用类型守卫窄化联合类型 #

如果需要保留原有的接口定义，在赋值时通过类型守卫明确key的具体类型，让TS知道当前赋值对应的键：

let result: MYOBJECT = { "MYKEY": null };
const key: KeyPossibleValue = "MYKEY" as KeyPossibleValue;

if (key === "MYKEY") {
  result[key] = "test"; // 此时key被窄化为"MYKEY"，类型检查通过
} else if (key === "FOO") {
  result[key] = 123; // 对应FOO的number类型
}

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