TypeScript展开联合类型实例后返回匹配原类型的方法

• 定义通用接口AnimalProps约束基础属性，基于该接口实现了多个携带独有方法的类（如实现bark()方法的Dog类、实现fly()方法的Bird类）
• 需要编写函数接收Animal（Dog | Bird联合类型）实例，通过对象展开运算符复制实例并修改size字段，要求返回值类型与输入实例的具体子类型完全一致，保留子类独有方法的类型提示
• 实际编写时出现类型报错：展开操作返回的对象被推断为仅包含公共属性name、size的普通对象，缺少联合子类型要求的独有属性，报错信息为Property 'fly' is missing in type '{ size: string; name: string; }' but required in type 'Bird'

问题复现代码：

interface AnimalProps { name: string; size: string; }

class Dog implements AnimalProps {
  name: string;
  size: string;
  bark(): void { console.log(`${this.name} says: 'woof'`); }
  constructor(name: string, size: string) {
    this.name = name;
    this.size = size;
  }
}

class Bird implements AnimalProps {
  name: string;
  size: string;
  fly(): void  { console.log(`${this.name} says: 'I love flying'`); }
  constructor(name: string, size: string) {
    this.name = name;
    this.size = size;
  }
}

type Animal = Dog | Bird;
function addSizeUnits(animal: Animal): Animal {
  // 类型报错
  return { ...animal, size: `${animal.size} meters` };
}

TypeScript 对联合类型做对象展开时，默认只会提取所有联合成员的公共可枚举属性作为展开结果的类型，不会保留各子类型的独有成员（比如Dog的bark、Bird的fly），因此返回的对象类型无法匹配Dog | Bird的联合类型要求，触发类型错误。

使用泛型捕获入参的具体子类型，约束泛型继承自Animal，同时将返回值标注为该泛型类型即可。由于逻辑上仅修改公共属性size，不会改动子类独有成员，可通过类型断言保证类型匹配，不需要改动原有展开运算符的写法：

function addSizeUnits<T extends Animal>(animal: T): T {
  return {
    ...animal,
    size: `${animal.size} meters`
  } as T;
}

效果验证 #

修改后函数可以自动识别入参的具体子类型，完整保留独有方法的类型提示：

const dog = new Dog("Buddy", "0.5");
const dogWithUnit = addSizeUnits(dog);
dogWithUnit.bark(); // 类型正常，TS可识别返回值为Dog类型

const bird = new Bird("Polly", "0.2");
const birdWithUnit = addSizeUnits(bird);
birdWithUnit.fly(); // 类型正常，TS可识别返回值为Bird类型

注意：如果类的方法定义在原型链上（比如示例中类的默认写法），对象展开仅会复制实例自身的属性，不会携带原型链上的方法，运行时调用方法会报错。如果需要保留原型方法，可调整类的方法为实例属性、或通过Object.setPrototypeOf手动绑定原型，该问题属于JS运行时逻辑，与类型标注无关。

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