TypeScript中为何子类类型无法赋值给泛型约束类型？

问题场景 #

以下代码会触发TypeScript的TS2416错误，但将父类Parent中method方法的返回类型改为A后即可正常编译。核心疑问是：既然B继承自A，为何B无法赋值给泛型类型T？

错误提示 #

TS2416: Property 'method' in type 'Child' is not assignable to the same property in base type 'Parent'.
Type '() => B' is not assignable to type '() => T'.
Type 'B' is not assignable to type 'T'.
'B' is assignable to the constraint of type 'T', but 'T' could be instantiated with a different subtype of constraint 'A'.

代码示例 #

class A {}

class B extends A {}

class Parent {
     public method<T extends A>(): T { // <---- 返回类型
        // ...
    }
}

class Child extends Parent {
    public method(): B {
        // ...
    }
}

背后的逻辑 #

1. 父类泛型方法的本质 #

父类Parent的method是一个泛型方法，它的核心承诺是：调用者可以指定任意一个A的子类型T，方法都会返回该类型的实例。比如调用parent.method<C>()（假设C extends A），就必须返回C类型的对象。

2. 子类实现的冲突 #

子类Child把method的返回值固定为B，直接违反了父类的承诺。因为当外部把Child当作Parent使用时，完全可能要求返回其他A的子类型（比如C），但子类只能返回B，这就破坏了类型安全。

举个具体的矛盾场景：

class C extends A {}
const parent: Parent = new Child();
// 这里类型标注期望返回C，但实际返回的是B，类型完全不匹配
const cInstance: C = parent.method<C>();

3. 改为返回A为何可行？ #

如果父类method的返回类型改为A，它的承诺就变成了“返回一个A类型（或其子类型）的实例”。此时子类返回B（A的子类型）符合协变规则——返回更具体的子类型，完全满足父类的类型约定，所以TypeScript允许这种写法。

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