TypeScript中子类如何重写并扩展父类方法签名？

要解决你这个子类扩展父类方法的问题，核心要处理两个关键点：方法签名的兼容性和返回类型的协变，下面给你具体的实现方案和解释：

问题分析 #

你的父类BaseClass的doSomething方法接受1个参数并返回BaseClass<T>，而子类MyClass想扩展这个方法——增加1个参数，同时返回MyClass<T>而非父类类型。直接按你当前的写法会有两个问题：

1. 子类方法的参数签名和父类不兼容（父类只需要1个参数，子类要求2个），TypeScript会抛出类型错误；
2. 子类方法没有返回值，不符合父类方法的返回要求。

正确实现方案 #

方案1：使用可选参数兼容父类签名 #

把新增的参数设为可选，这样子类方法既能接受父类的调用方式（仅传param1），也支持扩展的调用方式（传param1和param2）：

export class MyClass<T extends SomeOtherClass> extends BaseClass<T> {
  constructor(param: ParamType) {
    super(param);
  }

  doSomething(param1: Param1Type, param2?: Param2Type): MyClass<T> {
    // 先调用父类的逻辑
    super.doSomething(param1);
    
    // 处理子类新增的param2逻辑
    if (param2) {
      // 这里写你的param2处理代码
    }

    // 返回this，TypeScript会自动推断为MyClass<T>类型
    return this;
  }
}

方案2：使用方法重载明确支持两种调用方式 #

如果希望更清晰地对外暴露两种调用签名（父类的单参数、子类的双参数），可以用方法重载：

export class MyClass<T extends SomeOtherClass> extends BaseClass<T> {
  constructor(param: ParamType) {
    super(param);
  }

  // 重载签名1：匹配父类的方法签名
  doSomething(param1: Param1Type): MyClass<T>;
  // 重载签名2：子类扩展的双参数签名
  doSomething(param1: Param1Type, param2: Param2Type): MyClass<T>;
  
  // 实际实现签名（对外不可见，仅内部逻辑用）
  doSomething(param1: Param1Type, param2?: Param2Type): MyClass<T> {
    super.doSomething(param1);
    
    if (param2) {
      // 处理param2的逻辑
    }

    return this;
  }
}

关键知识点解释 #

1. 协变返回类型：TypeScript允许子类方法返回比父类更具体的类型。这里返回this就完美适配了——在MyClass的方法中，this指向的是MyClass<T>的实例，所以返回this会自动被推断为MyClass<T>，满足你想要的返回类型要求。
2. 方法重写的兼容性规则：子类重写父类方法时，必须保证子类方法能被父类的方法签名调用（也就是当用BaseClass<T>类型的变量引用MyClass<T>实例时，调用doSomething(param1)不会出错）。所以要么把新增参数设为可选，要么用重载来覆盖父类的签名，否则TypeScript会抛出类型不兼容的错误。

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