TS泛型布尔类型结果异常：为何A2与A3判定结果不一致？

核心原因是分布式条件类型的触发逻辑不同：

1. 先看泛型MyType的定义：

type MyType<T extends unknown[], U> = U extends T[number] ? true : false; 

当extends关键字左边的类型是裸类型参数（这里的U就是未被包裹的裸参数），且该参数是联合类型时，TypeScript会自动把联合类型拆成单个成员分别计算条件，最后将所有结果合并成新的联合类型。

2. 分析A2的计算过程：
   type A2 = MyType<[2,true,3,4],boolean>

• boolean本质是true | false的联合类型，触发分布式条件类型；
• 拆成两个独立判断：
  • true extends (2 | true | 3 | 4) ? true : false → 结果为true
  • false extends (2 | true | 3 | 4) ? true : false → 结果为false
• 合并两个结果，得到true | false，也就是boolean。

3. 分析A3的计算过程：
   type A3 = boolean extends (2 | true | 3 | 4) ? true : false
   这里extends左边是具体的联合类型boolean，不是裸类型参数，所以不会触发分布式逻辑。TypeScript直接判断整个boolean类型是否完全包含在2 | true | 3 | 4中——因为false不在右侧联合类型里，所以整体判断结果为false。

再看A1验证逻辑：
type A1 = MyType<[2,3,4],boolean>
同样触发分布式，拆成true extends 2|3|4和false extends 2|3|4，两者都返回false，合并后还是false，和实际结果一致。

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