TypeScript抽象类继承重写遇TS2416错误，如何修改接口？

我有一个根抽象类：

export abstract class GameBase {
  // takes a string and executes the given move
  public abstract move(move: string): GameBase;

  // a bunch of other helpful stuff, some abstract, some not
}

我想要创建另一个仅用于特定类型游戏的抽象类，对接口稍作修改：

export abstract class GameBaseSimultaneous extends GameBase {
  // Same as above, but these games need a boolean flag 
  abstract override move(move: string, partial: boolean): GameBaseSimultaneous;

  // everything else in the parent class is great and I want to keep
}

但无论是否添加override关键字，我都会收到TS2416错误，提示类型不可分配。我原以为override就是用于这种场景的，显然我误解了某个基础概念。请问我哪里做错了？如何从一个抽象类继承到另一个抽象类并仅修改接口的特定部分？

错误核心原因 #

你违反了里氏替换原则——子类重写的方法必须兼容父类的方法契约，简单说就是：任何能用父类实例的地方，必须也能用子类实例。

父类的move只要求传入1个参数，但你定义的子类move强制要求2个参数。如果有人把GameBaseSimultaneous当作GameBase来调用move("xxx")，就会因为缺少第二个参数直接报错，这就是TypeScript报错的原因。override关键字只是帮你校验父类是否存在对应方法，它不能突破方法签名必须兼容的规则。

两种可行的修复方案 #

方案1：给新增参数设置默认值

让子类方法可以兼容父类的调用方式（只传1个参数时使用默认值），同时保留扩展能力：

export abstract class GameBaseSimultaneous extends GameBase {
  abstract override move(move: string, partial: boolean = false): GameBaseSimultaneous;
}

这样调用move("test")时会自动使用partial=false，既符合父类的方法契约，子类实现也能根据partial的值做差异化处理。

方案2：新增专用方法，保留父类方法签名

如果不想修改原有move的调用逻辑，可以新增一个带partial参数的方法，同时重写父类move来调用这个新方法（默认传入false）：

export abstract class GameBaseSimultaneous extends GameBase {
  abstract moveWithPartial(move: string, partial: boolean): GameBaseSimultaneous;

  override move(move: string): GameBaseSimultaneous {
    return this.moveWithPartial(move, false);
  }
}

这种方式逻辑更清晰，明确区分了两种调用场景，同时严格遵守了父类的方法契约。

补充说明 #

子类重写方法时，返回值可以是父类返回值的子类（协变），你这里用GameBaseSimultaneous替代GameBase是完全合法的，问题只出在参数的兼容性上。

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