如何在TypeScript中强制接口继承时方法参数为子类类型

要实现强制扩展接口时bar方法的参数必须为新的扩展类型，可以用F-bounded多态泛型来约束，具体步骤如下：

1. 重构基础接口 #

将原Foo接口改为带泛型的形式，泛型参数约束为继承自身的类型：

interface Foo<T extends Foo<T>> {
  bar(x: T): void;
}

2. 正确的扩展方式 #

扩展时指定泛型参数为当前扩展的类型，此时bar方法必须接收该类型的参数：

interface Boo extends Foo<Boo> {
  bar(x: Boo): void; // 符合约束，无报错
}

3. 错误扩展的自动拦截 #

如果尝试用父类类型Foo或其他非当前扩展类型作为bar的参数，TypeScript会直接抛出类型错误：

// 错误示例：参数类型为Foo，不符合约束
interface Boo extends Foo<Boo> {
  bar(x: Foo<Boo>): void; // TypeScript报错：类型不匹配
}

原理说明 #

这种方式利用了TypeScript的泛型约束机制，通过T extends Foo<T>将泛型参数绑定到实现该接口的具体类型上，强制子类必须使用自身类型作为bar方法的参数，从类型层面拦截了不符合要求的扩展方式。

之前尝试的this类型之所以无效，是因为TypeScript中方法参数遵循逆变规则，子类用父类类型作为参数在类型系统中是允许的（逆变兼容），而F-bounded泛型可以绕过这种兼容，严格绑定到自身类型。

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