TypeScript中如何实现不同对象类型的同名方法兼容调用

问题背景 #

要实现一个函数，接收obj（A或B类的实例）和value两个参数，调用obj的add方法并传入value。已知：

• A类的add方法仅接受number类型参数
• B类的add方法仅接受string类型参数

类定义如下：

class A {
  add(a: number) {
    return 10 + a
  }
}

class B {
  add(a: string) {
    return 'ten' + a
  }
}

最初的实现代码：

const runObejctMethod = (obj: A | B, value: string | number) => {
    obj.add(value)
}

触发的TypeScript错误：

TS2345: Argument of type 'string | number' is not assignable to parameter of type 'never'.   Type 'string' is not assignable to type 'never'

问题原因 #

TypeScript无法自动关联obj和value的类型对应关系——它不知道当obj是A实例时，value必须是number；当obj是B实例时，value必须是string。原代码中obj和value是独立的联合类型，导致TypeScript判定没有任何类型能同时满足A.add和B.add的参数要求，因此将参数类型推断为never。

解决办法 #

方法一：类型守卫分支判断 #

通过instanceof判断obj的具体类型，再匹配对应的value类型，确保类型安全：

const runObjectMethod = (obj: A | B, value: string | number) => {
  if (obj instanceof A) {
    if (typeof value !== 'number') {
      throw new Error('传入A实例时，value必须为数字');
    }
    obj.add(value);
  } else {
    if (typeof value !== 'string') {
      throw new Error('传入B实例时，value必须为字符串');
    }
    obj.add(value);
  }
};

方法二：函数重载 #

定义多个重载签名，明确obj和value的合法类型组合，对外暴露清晰的调用规则：

// 重载签名：声明合法的调用组合
function runObjectMethod(obj: A, value: number): number;
function runObjectMethod(obj: B, value: string): string;

// 实现签名：内部基于重载的类型保障做断言
function runObjectMethod(obj: A | B, value: string | number) {
  if (obj instanceof A) {
    return obj.add(value as number);
  }
  return obj.add(value as string);
}

// 合法调用示例
runObjectMethod(new A(), 20);
runObjectMethod(new B(), 'test');

// 非法调用会直接触发TS错误（符合预期）
// runObjectMethod(new A(), 'test');

方法三：泛型+条件类型关联 #

用泛型绑定obj的类型，通过条件类型自动推导对应的value类型，让TypeScript自动校验类型匹配：

// 工具类型：根据obj的类型推导对应的value类型
type RequiredValue<T> = T extends A ? number : T extends B ? string : never;

const runObjectMethod = <T extends A | B>(obj: T, value: RequiredValue<T>) => {
  return obj.add(value as RequiredValue<T>);
};

// 合法调用示例
runObjectMethod(new A(), 30);
runObjectMethod(new B(), 'foo');

// 非法调用触发TS错误（符合预期）
// runObjectMethod(new A(), 'foo');

总结 #

• 类型守卫适合需要在函数内部做参数校验或额外逻辑的场景
• 函数重载适合对外提供明确、易读的调用接口的场景
• 泛型方案适合需要复用类型关联逻辑的场景

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