TypeScript基类方法中泛型this的类型推断疑问

class Base<T> {
    baseMethod<This extends Base<T>>(this: This): 123 extends This ? { x: 1, y: 1 } : { x: 2, z: 3 } {
        return {} as any;
    }
}

class Derived<T> extends Base<T> {
    derivedMethod() {
        const res = this.baseMethod();
        res.x; // 1 | 2
        res.z; // ERROR: property does not exist
    }
}

问题描述 #

我无法理解TypeScript是如何推断这个泛型this的，为什么条件类型的两个分支会被返回为联合类型？我原本预期返回第二个分支（若This被推断为any或unknown则可能返回第一个分支），但为何是两者的联合？

补充注意 #

• 若移除<This extends Base<T>>(this: This)，直接使用123 extends this（我认为二者等价，无需This），结果相同，仍返回联合类型。
• 正如@caTS所说，若显式声明derivedMethod(this: Derived<T>)则可正常工作，但TypeScript为何需要这么做？

问题解析 #

核心原因：未约束的this是多态类型 #

在Derived的derivedMethod中，默认的this类型不是具体的Derived<T>，而是多态this类型——TypeScript会把它推断为“当前类及其所有子类的实例类型”，目的是保证方法能被子类继承调用时依然类型安全。

当调用baseMethod时，泛型This会被匹配到这个多态this类型。此时条件类型123 extends This无法得到确定的true或false：因为多态this理论上可以是任何Base<T>的子类型，TypeScript无法排除This等于123的可能性（哪怕实际运行中不可能），所以只能将两个分支的类型合并为联合类型返回。

显式约束this类型为何能解决问题 #

如果你给derivedMethod显式声明this: Derived<T>，就把this的类型固定为确切的Derived<T>，不再是多态的。此时调用baseMethod时，泛型This会被推断为Derived<T>，123 extends Derived<T>显然不成立，条件类型就会直接返回第二个分支{ x: 2, z: 3 }，类型检查自然正常。

直接用123 extends this结果一致的原因 #

这里的this同样是多态this类型，和泛型This的场景本质相同——TypeScript无法确定123是否属于这个多态类型的子类型，因此条件类型依然会返回两个分支的联合。

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