TypeScript用keyof给混合类型对象赋值时报any不能赋给never如何解决

当你的ConfigState存在不同类型的字段时，keyof ConfigState是'isAdminSet' | 'isDatabaseConnected' | 'adminName'的联合类型，ConfigState[keyof ConfigState]则是boolean | string的联合类型。这种写法下TS无法保证传入的key和value类型是匹配的——比如你完全可以传入key为adminName但value为true，这就违反了类型定义。
此时TS会把this.state[key]的可赋值类型推导为所有字段类型的交集，boolean和string的交集是never，所以才会抛出不能将any类型分配给never类型的错误。
而第二个示例中所有字段都是boolean类型，所有字段类型的交集还是boolean，不存在类型冲突，因此可以正常编译。

方案1：使用泛型约束关联key和value类型 #

这是最直接的解决方案，通过泛型让TS识别到传入的value类型和key对应的字段类型完全匹配：

type ConfigState = {
  isAdminSet: boolean;
  isDatabaseConnected: boolean;
  adminName: string;
};

export class ConfigManager {
  state: ConfigState = {
    isAdminSet: false,
    isDatabaseConnected: false,
    adminName: "",
  };

  // 给update方法添加泛型约束
  update<K extends keyof ConfigState>(key: K, value: ConfigState[K]) {
    this.state[key] = value;
  }
}

这种写法下调用update时TS会自动校验类型：

• 传update('adminName', 'admin') 正常通过
• 传update('adminName', true) 会直接抛出类型错误，符合预期。

方案2：支持批量更新的写法 #

如果需要同时更新多个字段，可以直接传入部分状态对象，写法更简洁：

update(changes: Partial<ConfigState>) {
  Object.assign(this.state, changes);
}

// 调用示例
const config = new ConfigManager()
config.update({
  adminName: 'root',
  isAdminSet: true
})

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