TypeScript对象字段赋值报类型不可分配给never错误解决方案

这个类型报错是TS的类型跟踪机制导致的：

• 虽然你把keyName断言成了keyof IPerson类型，但TS无法证明同一轮循环里person[keyName]和employee[keyName]对应的是同一个具体字段的类型：TS会把两个索引值的类型都推导为string | number的联合类型，当无法确认联合类型的具体分支匹配时，TS会将赋值目标的类型收窄为never，最终抛出「不能将string|number赋值给never」的错误。
• 你尝试的修复写法person[keyName] = employee[keyName] typeof person[keyName]本身存在语法错误：typeof要么在类型空间做类型查询，要么在值空间做类型判断，不能直接拼接在值后面做类型标注，所以才会触发后续一连串语法、类型错误。

以下方案都不需要手动枚举字段，适配字段量大的实际场景：

方案1：最小改动的类型断言（最推荐） #

逻辑上你已经通过keyName in employee做了存在性校验，赋值本身是类型安全的，只需要给赋值来源加个匹配的类型断言，让TS跳过类型不匹配的校验即可：

interface IPerson {
   name: string;
   age: number;
}

interface IEmployee extends IPerson {
   salary: number;
}

const PersonTemplate: IPerson = {
  name: '',
  age: 0
}

const employee: IEmployee = {name: 'Name', age: 18, salary: 1000};
const person: IPerson = {...PersonTemplate};

for (const key in PersonTemplate) {
  const keyName = key as keyof IPerson;
  if (keyName in employee) {
    // 加类型断言匹配目标字段类型
    person[keyName] = employee[keyName] as IPerson[typeof keyName];
  }
}

console.log(person);

方案2：通用字段拷贝函数（可复用） #

封装一个通用的同名字段拷贝函数，利用泛型约束保证类型安全，后续所有类似的对象字段拷贝场景都可以直接复用，不需要重复写循环逻辑：

/**
 * 把源对象中和目标对象同名字段的值拷贝到目标对象
 */
function copyCommonFields<T extends Record<string, any>, S extends Partial<T>>(
  target: T,
  source: S
): T {
  for (const key in target) {
    if (key in source) {
      target[key] = source[key] as T[typeof key];
    }
  }
  return target;
}

// 调用示例
const person = copyCommonFields({...PersonTemplate}, employee);

方案3：解构赋值（适合多余字段固定的场景） #

如果IEmployee比IPerson多出来的字段数量少、且固定，可以直接用解构剔除多余字段，TS会自动推导返回值为IPerson类型，不需要额外写循环：

// 剔除employee里不属于IPerson的salary字段，剩下的就是符合IPerson类型的对象
const { salary, ...person } = employee;

如果多余字段数量多、不固定，还是优先用前两种方案。

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