TypeScript报错：无法为数组内指定位置的对象赋值如何解决？

问题原因 #

你遇到的错误是因为TypeScript无法确保传入的id对应的属性类型和value类型完全匹配。keyof AdminDefinitionType包含了不同类型的属性（string/number/boolean），而value是这三种类型的联合，TypeScript无法推断出当前id对应的属性到底应该接受哪种类型的值，因此将赋值目标的类型推断为never（没有任何类型能同时满足所有可能的属性类型要求）。

修复方案：使用泛型绑定属性与值的类型 #

通过泛型函数，让TypeScript捕获具体的属性键类型，从而约束value的类型必须与该属性的类型一致，这样就能消除类型不匹配的错误。

修复后的代码如下：

list: AdminDefinitionType[];
activeIndex: number;

async updateDefinition<K extends keyof AdminDefinitionType>(
  id: K,
  value: AdminDefinitionType[K]
) {
  const targetItem = this.list[this.activeIndex];
  // 处理索引不合法的情况（可选但推荐）
  if (!targetItem) {
    return false; // 或根据业务逻辑抛出错误
  }
  
  if (value === targetItem[id]) {
    return true; // 无变更
  } else {
    targetItem[id] = value; // 现在类型匹配，不会报错
    const definition: AdminDefinitionType = await clerk.update(targetItem);
    // 可添加后续逻辑，比如更新本地状态等
  }
}

额外说明 #

1. 泛型K会在调用函数时自动推断具体的属性键，比如调用updateDefinition('name', '新名称')时，K会被推断为'name'，value的类型会被约束为string，完全匹配name属性的类型。
2. 如果你不需要处理id属性的undefined值，可以将泛型约束为非可选的属性键：K extends Exclude<keyof AdminDefinitionType, 'id'>，这样value就不会包含undefined类型。
3. 提前判断targetItem是否存在，不仅能避免潜在的运行时错误，也能让TypeScript确认targetItem是AdminDefinitionType类型而非undefined。

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