为TypeScript类实现拷贝构造函数时遭遇类型错误

问题分析 #

你遇到的类型错误核心原因是：Partial<MyClassNonFunctionProps>的属性值类型是「原属性类型 | undefined」，而MyClass的实例属性是必填非可选的。直接将可能为undefined的更新值赋值给非可选属性时，TypeScript会判定类型不兼容，抛出Type 'string | number | undefined' is not assignable to type 'undefined'错误——这里的undefined并非来自键的类型，而是更新值的可选性导致的。

完整解决方案代码 #

// 定义工具类型：排除类中的函数属性键
type NonFunctionKeys<T> = {
  [K in keyof T]: T[K] extends Function ? never : K
}[keyof T];

// 提取MyClass的非函数属性类型
type MyClassNonFunctionProps = Pick<MyClass, NonFunctionKeys<MyClass>>;

class MyClass {
  variable1: string;
  variable2: number;

  // 构造函数重载：支持两种调用方式
  constructor(variable1: string, variable2: number);
  constructor(existingInstance: MyClass, updates: Partial<MyClassNonFunctionProps>);
  constructor(arg1: MyClass | string, arg2?: Partial<MyClassNonFunctionProps> | number) {
    if (arg1 instanceof MyClass) {
      // 1. 复制已有实例的所有非函数属性
      this.variable1 = arg1.variable1;
      this.variable2 = arg1.variable2;

      // 2. 过滤更新对象中值为undefined的属性，避免覆盖原属性为undefined
      const validUpdates = Object.fromEntries(
        Object.entries(arg2 as Partial<MyClassNonFunctionProps>).filter(([_, val]) => val !== undefined)
      ) as Partial<MyClassNonFunctionProps>;

      // 3. 应用有效更新
      Object.assign(this, validUpdates);
    } else {
      // 原始构造逻辑：直接初始化属性
      this.variable1 = arg1;
      this.variable2 = arg2 as number;
    }
  }

  // 示例类方法（用于测试非函数属性过滤）
  someMethod(): void {
    console.log(this.variable1, this.variable2);
  }
}

// 测试代码
const instance1 = new MyClass("a", 1);
const instance2 = new MyClass(instance1, { variable1: "b" });
console.log(instance2.variable1); // 输出："b"
console.log(instance2.variable2); // 输出：1

关键细节说明 #

• NonFunctionKeys工具类型：通过映射类型遍历类的所有键，排除值为函数类型的键，确保更新对象只包含非函数属性。
• 构造函数重载：明确两种调用签名，让TypeScript正确推导参数类型，避免歧义。
• 过滤undefined值：Object.fromEntries配合filter剔除更新对象中值为undefined的属性，既符合你保留原实例属性的需求，也消除了TypeScript的类型报错——因为此时赋值的属性值都是确定的非undefined类型。
• Object.assign简化赋值：替代手动遍历赋值，代码更简洁且类型安全。

为什么之前的处理没解决问题？ #

你虽然用类型排除了函数属性，但没有处理Partial类型带来的属性值可选性（即可能为undefined）。TypeScript会严格校验非可选属性的赋值来源，不允许将undefined赋值给必填属性，所以必须过滤掉更新对象中的undefined值，才能通过类型检查。

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