为何TypeScript泛型T会出现「可能被约束的不同子类型实例化」错误？

在下面的TypeScript代码中，boopSnoot函数返回snoot.boop()时触发类型错误，但identity函数直接返回入参却无报错：

class A {
    boop(): this {
        return this;
    }
}

class B {
    boop(): this {
        return this;
    }
}

function boopSnoot<T extends A | B>(snoot: T): T {
    return snoot.boop(); // error
}

function identity<T extends A | B>(snoot: T): T {
    return snoot; // no error
}

报错信息：

'A | B' is assignable to the constraint of type 'T', but 'T' could be instantiated with a different subtype of constraint 'A | B'.
  Type 'A' is not assignable to type 'T'.
    'A' is assignable to the constraint of type 'T', but 'T' could be instantiated with a different subtype of constraint 'A | B'.

问题核心原因 #

这里的关键矛盾在于TypeScript对this类型的推断逻辑和泛型约束的边界限制：

• A和B类中的boop()方法返回类型this，指的是调用该方法的实例所属的具体类型。但在泛型函数boopSnoot中，TypeScript无法将snoot.boop()返回的this与泛型参数T划等号——因为T可以是A或B的任意子类型，而类型系统没办法自动推导boop()的返回值就是那个子类型。

举个实际的例子：

// 定义A的子类
class ASub extends A {}
// 调用boopSnoot，此时T被推断为ASub
const subInstance = boopSnoot(new ASub());

运行时snoot.boop()确实返回的是ASub实例，但TypeScript的类型检查器只能确定boop()的返回值是A类型（或者约束的A | B），没法确认它就是ASub这个精确的子类型，因此抛出类型不匹配的错误。

而identity函数直接返回入参snoot，TypeScript能明确认定入参就是T类型，所以不会有任何错误。

解决方法 #

有两种常见的处理方式：

1. 修改类的定义，用泛型约束this类型

让类的boop()方法返回精确的子类型：

class A<T extends A<T>> {
    boop(): T {
        return this as T;
    }
}

class B<T extends B<T>> {
    boop(): T {
        return this as T;
    }
}

function boopSnoot<T extends A<T> | B<T>>(snoot: T): T {
    return snoot.boop(); // 不再报错
}

2. 使用类型断言（需注意类型安全）

如果确定运行时返回值就是T类型，可以直接用断言跳过类型检查：

function boopSnoot<T extends A | B>(snoot: T): T {
    return snoot.boop() as T;
}

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