TypeScript为何允许接口函数参数类型拓宽？子类实现疑问

先看你给出的代码示例：

interface Person {
  say(type: "a" | "b") : void;
}

class Worker0 implements Person {
  say() {}
}

class Worker1 implements Person {
  say(type: string) {}
}

class Worker2 implements Person {
  say(type: "a" | "b" | "c") {}
}

class Worker3 implements Person {
  // index.ts:19:3 - error TS2416: Property 'say' in type 'Worker3' is not assignable to the same property in base type 'Person'.
  say(type: "a" | "c") {}
}

下面逐个解析每种情况的原因，核心是TypeScript中方法参数的逆变规则：接口方法要求实现类的方法必须能处理接口定义的所有参数，保证当把实现类实例当作接口类型使用时，所有合法调用都不会出错。

Worker0 合规的原因 #

say()省略了参数，等价于参数类型是"a" | "b" | undefined（参数可选）。当把Worker0当作Person调用say("a")或say("b")时，JS允许函数忽略多余参数，TypeScript认为这种实现满足接口契约——它能接收所有接口要求的参数（哪怕不用），所以合规。

Worker1 & Worker2 合规的原因 #

这两个类的方法参数类型都是原接口参数类型"a" | "b"的超类型（范围更宽）：

• string包含"a"和"b"，能处理所有接口要求的参数
• "a" | "b" | "c"同样包含原类型的所有可能值

根据参数逆变规则，能接收更宽泛类型的方法，必然能处理更窄的类型。所以当用这两个类的实例作为Person调用say时，传入"a"或"b"都完全合法，因此TypeScript允许这种实现。

Worker3 报错的原因 #

"a" | "c"是原类型的子集，但没有覆盖原类型的所有可能值——它无法处理"b"这个参数。当把Worker3当作Person调用say("b")时，方法的参数类型不允许传入"b"，违反了接口的契约（接口保证say("b")是合法调用），所以TypeScript抛出错误。

你之前认为子类实现只能是(type: "a" | "b"): void、(type: "a"): void、(type: "b"): void，这是错误的。正确的规则是：实现方法的参数类型必须是原接口参数类型的超类型（或等价、可选化），确保能处理所有接口定义的参数；如果参数类型收窄后无法覆盖原类型的所有值，就会触发错误。

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