TypeScript对象键映射类实例属性时类型错误的解决咨询

你遇到的Type 'string | boolean' is not assignable to type 'never'错误，本质是TypeScript的类型收窄机制导致的。当你通过keyof遍历类属性的联合类型时，TypeScript无法在循环中推断出当前key对应的具体属性类型——它只知道key是keyof MyClass，this[key]的类型是所有属性类型的联合（比如string | boolean），而snapshot[key]也是同样的联合类型。但TypeScript要求赋值时，右侧类型必须严格匹配左侧属性的具体类型，由于联合类型无法同时满足所有属性的类型约束，最终把左侧的类型收窄成了never（没有任何类型能同时属于string和boolean）。

假设你的代码类似下面这样：

class MyClass {
  name: string = '';
  isActive: boolean = false;

  restoreSnapshot(snapshot: { [K in keyof MyClass]: MyClass[K] }) {
    for (const key in snapshot) {
      // 此处触发类型错误
      this[key] = snapshot[key];
    }
  }
}

方法1：使用Object.assign（最简洁） #

Object.assign是TypeScript原生支持类型推导的API，它能正确识别类实例和快照对象的类型匹配，直接完成批量赋值：

class MyClass {
  name: string = '';
  isActive: boolean = false;

  restoreSnapshot(snapshot: { [K in keyof MyClass]: MyClass[K] }) {
    Object.assign(this, snapshot);
  }
}

方法2：泛型函数约束键类型 #

通过泛型函数将每个key的类型单独约束，确保赋值时左右侧类型严格对应：

class MyClass {
  name: string = '';
  isActive: boolean = false;

  restoreSnapshot(snapshot: { [K in keyof MyClass]: MyClass[K] }) {
    // 泛型函数确保每个key对应的类型匹配
    const assignProp = <K extends keyof MyClass>(key: K) => {
      this[key] = snapshot[key];
    };
    // 把Object.keys的结果断言为keyof MyClass数组
    (Object.keys(snapshot) as Array<keyof MyClass>).forEach(assignProp);
  }
}

方法3：类型断言（快速解决） #

如果能确保快照的类型完全匹配类实例属性，可以直接用类型断言告诉TypeScript赋值是安全的：

class MyClass {
  name: string = '';
  isActive: boolean = false;

  restoreSnapshot(snapshot: { [K in keyof MyClass]: MyClass[K] }) {
    for (const key in snapshot) {
      const typedKey = key as keyof MyClass;
      this[typedKey] = snapshot[typedKey] as MyClass[typeof typedKey];
    }
  }
}

• 优先使用Object.assign，代码简洁且类型安全，适合绝大多数场景。
• 泛型方法的类型安全性最高，但代码量稍大，适合对类型严谨性要求极高的场景。
• 类型断言要谨慎使用，必须保证快照对象的结构和类型完全符合类实例的属性定义，否则可能引入运行时错误。

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