为何使用条件类型可修复TypeScript泛型类型不兼容错误？

问题重现 #

先看三个核心场景的代码对比：

场景1：普通泛型对象——类型不兼容 #

type IfAny<T> = T extends any ? true : false;

type Box<T> = {
    value: IfAny<T>;
};

declare let a: Box<number>;
declare let b: Box<string>;
a = b; // 报错：类型“Box<string>”不可分配给类型“Box<number>”

明明Box<number>和Box<string>最终结构都是{value: true}，但TypeScript依然判定类型不兼容。

场景2：条件类型定义的泛型——无错误 #

type IfAny<T> = T extends any ? true : false;

type Box<T> = T extends any ? {
    value: IfAny<T>;
} : never;

declare let a: Box<number>;
declare let b: Box<string>;
a = b; // 无错误

场景3：使用类型别名——无错误 #

type IfAny<T> = T extends any ? true : false;

type Box<T> = {
    value: IfAny<T>;
};

type A = Box<number>;
type B = Box<string>;
declare let aa: A;
declare let bb: B;
aa = bb; // 无错误

原因解析 #

1. 普通泛型对象的兼容性逻辑 #

当Box<T>是普通对象类型时，TypeScript在检查Box<X>和Box<Y>的兼容性时，不会直接解析到最终的结构，而是保留泛型参数的关联关系。它会认为：因为X和Y类型不同（比如number和string），所以Box<X>和Box<Y>属于不同的泛型实例，即使它们的结构完全一致，也判定为不兼容。

这是TypeScript泛型兼容性的默认规则：优先检查泛型参数的匹配度，而非最终展开后的结构。

2. 条件类型触发的分布式解析 #

当把Box<T>改成条件类型时，这里的T是裸类型参数（没有被包裹在数组、对象等其他类型中），会触发TypeScript的分布式条件类型特性。

对于裸类型参数的条件类型，TypeScript会直接将传入的具体类型（比如number）代入条件中计算，得到最终的类型结果。也就是说：

• Box<number>会被直接解析为{value: true}
• Box<string>也会被直接解析为{value: true}

此时两个类型完全一致，自然可以互相赋值。

3. 类型别名的完全固化 #

当使用type A = Box<number>定义类型别名时，TypeScript会在定义别名的阶段完全解析泛型到最终类型。也就是说A和B本质上都是{value: true}，而非保留Box<number>或Box<string>的泛型结构。因此它们的实例可以互相赋值，和直接写type A = {value: true}没有区别。

核心关联规则 #

• 泛型类型的兼容性检查默认是基于泛型参数的一致性，而非最终展开后的结构，除非泛型被显式解析为具体类型。
• 分布式条件类型是处理裸类型参数的特殊逻辑，会强制将泛型参数替换为具体类型并计算最终结果，打破了泛型参数的关联绑定。
• 类型别名会在定义时完全解析泛型，生成固化的具体类型，因此不再受原泛型参数的兼容性规则限制。

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