TypeScript中为何无法将this赋值给Equal<typeof this, typeof this>类型？

核心原因在于**typeof this是多态this类型**——它在类的上下文中代表当前类或其子类的实例类型，属于延迟解析的“动态类型”；而你实现的Equal条件类型在处理这种动态类型时，无法直接解析为预期的具体类型，最终导致赋值不兼容。

逐步拆解问题 #

1. 直接使用typeof this的正常情况 #

type Equal<L, R> = L extends R ? R extends L ? L : never : never;

class MyClass {
    test() {
        type t = typeof this;
        const x: t = this; // 正常工作
    }
}

这里typeof this直接指向当前实例的多态类型，this的值类型与t完全一致，自然可以顺利赋值。

2. 使用Equal<MyClass, MyClass>的正常情况 #

type Equal<L, R> = L extends R ? R extends L ? L : never : never;

class MyClass {
    test() {
        type t = Equal<MyClass, MyClass>;
        const x: t = this; // 正常工作
    }
}

MyClass是具体的类类型，Equal条件类型会直接解析为MyClass。而this的类型是MyClass或其子类（子类属于MyClass的子类型），因此可以安全赋值给MyClass类型的变量。

3. 使用Equal<typeof this, typeof this>的报错情况 #

type Equal<L, R> = L extends R ? R extends L ? L : never : never;

class MyClass {
    test() {
        type t = Equal<typeof this, typeof this>;
        const x: t = this; // 类型错误
    }
}

问题出在多态this类型与条件类型的交互逻辑上：

• typeof this不是固定的MyClass，而是一个代表“当前实例类型”的动态类型变量，TypeScript会在实例化或子类继承时才确定其具体类型。
• 你的Equal实现使用了裸类型的条件判断L extends R，当L和R是多态this类型时，TypeScript不会直接判定它们完全相等，而是会保留条件类型的延迟解析状态，导致t的类型不是typeof this，而是一个依赖于多态this的未解析条件类型结构。
• 而this的类型是具体的实例类型（比如MyClass或其子类），无法赋值给这个未完全解析的条件类型结果，因此触发类型错误。

解决方案：调整Equal类型的实现 #

将类型包裹在元组中进行比较，避免多态类型的延迟解析问题，让TypeScript直接判定多态this类型的相等性：

// 调整后的Equal类型
type Equal<L, R> = [L] extends [R] ? [R] extends [L] ? L : never : never;

class MyClass {
    test() {
        type t = Equal<typeof this, typeof this>;
        const x: t = this; // 正常工作
    }
}

元组的比较是整体结构比较，不会触发分布式条件类型，同时对于多态this类型，[typeof this] extends [typeof this]会直接成立，因此Equal会正确返回typeof this类型，赋值自然兼容。

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