如何从同结构对象实例化类？TypeScript类型推断问题求解

这是个很典型的TypeScript类型收窄场景问题，我来帮你理清楚原因和解决办法：

为什么TypeScript识别不了类型？ #

TypeScript在处理for...in循环时，有两个关键限制：

1. 循环里的key默认被推断为string类型，而不是keyof Item（也就是"prop1" | "prop2"），编译器没法自动确认每个key都是类的有效属性；
2. 虽然你定义了PropObj<T>来映射类的键值对，但这个类型并没有显式的索引签名，所以直接用propObj[key]访问时，编译器无法确定返回值的具体类型，只能 fallback 到any。

同理，this[key]也会因为同样的原因被标记为any——Item类本身也没有索引签名，编译器不知道你要赋值的属性到底属于哪个类型。

几种可行的解决方案 #

方案1：类型断言收窄（最直接的修改） #

手动把key断言为keyof Item，让编译器明确知道当前访问的是类的有效属性：

type PropObj<T> = { [K in keyof T]: T[K] };

class Item {
  prop1: string;
  prop2: number;

  constructor(propObj: PropObj<Item>) {
    for (const key in propObj) {
      // 把key断言为Item的键类型
      const typedKey = key as keyof Item;
      this[typedKey] = propObj[typedKey];
    }
  }
}

方案2：用Object.assign简化代码（推荐） #

其实根本不需要手动循环，Object.assign可以直接把propObj的属性赋值给this，而且TypeScript能完美推导类型，代码更简洁：

type PropObj<T> = { [K in keyof T]: T[K] };

class Item {
  prop1: string;
  prop2: number;

  constructor(propObj: PropObj<Item>) {
    Object.assign(this, propObj);
  }
}

方案3：泛型辅助函数（更严谨的类型安全） #

如果一定要保留循环逻辑，可以写一个泛型辅助函数来确保赋值的类型一致性：

// 辅助函数：确保赋值的键和值类型匹配
function assignProp<T, K extends keyof T>(obj: T, key: K, value: T[K]) {
  obj[key] = value;
}

type PropObj<T> = { [K in keyof T]: T[K] };

class Item {
  prop1: string;
  prop2: number;

  constructor(propObj: PropObj<Item>) {
    for (const key in propObj) {
      assignProp(this, key as keyof Item, propObj[key as keyof Item]);
    }
  }
}

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