TypeScript中子类用子类型参数重写方法的原因及解决办法

问题背景 #

先看以下示例代码：

abstract class Base {
  abstract greet(name: "Alice" | "Bob"): void;
}

class Derived extends Base {
  override greet(name: "Alice"): void { // 此处无报错，为何？
    // 仅处理name为"Alice"的逻辑
  }
}

这种写法看似违反面向对象原则，还会导致不安全的运行时场景：

function createObject(): Base {
  return new Derived();
}

function unsafeGreet(): void {
  const obj = createObject();
  obj.greet("Bob"); // 运行时会出现逻辑缺失，因为Derived的greet不处理"Bob"
}

unsafeGreet();

1. TypeScript为何允许这种设计？ #

TypeScript默认采用函数参数双向协变的类型检查规则，这是它和传统OO语言（如Java）的核心区别之一。

传统OO遵循里氏替换原则，要求子类方法的参数必须是基类参数的超类型（即参数不能更严格），确保基类能接受的参数子类也能处理。但TypeScript为了适配JavaScript的灵活性，同时降低从JS迁移到TS的成本，默认启用了双向协变——既允许子类参数是基类的超类型，也允许是子类型。

这种设计的初衷是兼容JS中常见的“函数仅用到参数部分特性”的写法，避免过度限制开发者的编码习惯。

2. 如何规避这个问题？ #

要恢复符合里氏替换原则的安全检查，有两种可行方案：

方案一：开启strictFunctionTypes编译选项 #

在tsconfig.json中启用该选项，强制函数参数的逆变检查：

{
  "compilerOptions": {
    "strictFunctionTypes": true
  }
}

开启后，TypeScript会要求子类方法的参数必须是基类参数的超类型（或相同类型），此时示例中的Derived类重写greet方法时会直接报错，从编译阶段杜绝不安全代码。

方案二：手动约束子类方法参数 #

如果不想全局开启严格选项，可以在子类中显式保持参数类型与基类一致，并补充完整的逻辑处理：

class Derived extends Base {
  override greet(name: "Alice" | "Bob"): void {
    if (name === "Alice") {
      // 处理Alice的逻辑
    } else {
      // 处理Bob的逻辑，或抛出合理的错误提示
      throw new Error(`Unsupported name: ${name}`);
    }
  }
}

这样即使基类被调用时传入"Bob"，子类也能正确响应，避免运行时逻辑漏洞。

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