TypeScript嵌套条件类型异常：这是Bug吗？

一、shortcut<T>返回boolean的核心原因：分布式条件类型 #

TypeScript的条件类型有个关键特性：当条件判断中的泛型参数是裸类型参数（即没有被元组、对象等结构包裹）时，会自动对该参数的联合类型进行分布式分发——简单说就是把联合类型拆成单个类型分别判断，再把结果合并成新的联合类型。

看你的代码：

type And<T extends boolean, U extends boolean> = IsFalse<T> extends true ? false : IsFalse<U> extends true ? false : T | U;
type IsFalse<T extends boolean> = IsAssignable<false[], T[]>;
type IsAssignable<V, T> = T extends V ? true : false;

• 当你手动调用And<Equal<TestType, string>, Equal<TestType, number>>时，Equal<TestType, string>已经被解析为具体的true，Equal<TestType, number>被解析为具体的false，都是字面量类型，不是裸泛型参数，所以条件类型不会触发分发，直接得到正确的false。
• 但在shortcut<T>中，And的两个参数是Equal<T, string>和Equal<T, number>——这两个都是依赖于泛型T的延迟解析类型，TypeScript在处理泛型阶段无法确定它们的具体值，会把它们当作可能的联合类型处理，触发分布式分发逻辑，最终得到true | false（即boolean类型）。

解决方法 #

要避免这种情况，只需要把泛型参数包裹在元组里，阻止分布式分发：

// 修改And类型，用元组包裹参数避免分发
type And<T extends boolean, U extends boolean> = [T] extends [false] ? false : [U] extends [false] ? false : T | U;

// 或者修改IsFalse，用元组替换数组
type IsFalse<T extends boolean> = IsAssignable<[false], [T]>;
type IsAssignable<V, T> = T extends V ? true : false;

修改后shortcut<TestType>会正确返回false。

二、你的Equal定义与常规元组形式的差异 #

你提到的常规Equal定义一般是：

type StrictEqual<T, U> = [T] extends [U] ? [U] extends [T] ? true : false : false;

而你的Equal用了数组T[] extends U[]，两者本质逻辑不同，并非完全等效：

核心差异：数组协变 vs 元组严格匹配 #

• 数组的协变性：TypeScript中数组是协变的，即子类型的数组可以赋值给父类型的数组。比如string[] extends unknown[]为true，因为string是unknown的子类型。
• 元组的严格匹配：元组类型的extends是严格的结构匹配，只有当每个元素的类型完全一致时才会返回true。比如[string] extends [unknown]为false，因为元组要求元素类型精确匹配。

实际表现差异 #

对于原始类型（如string、number），两者结果看起来一致，但对于复杂类型会出现逻辑上的差异：

interface Parent { id: number }
interface Child extends Parent { name: string }

// 你的Equal：基于数组协变判断，Child[] extends Parent[]为true，但Parent[] extends Child[]为false，最终返回false
type EqualParentChild = Equal<Parent, Child>; // false

// StrictEqual：基于元组严格匹配，[Parent] extends [Child]直接为false，最终也返回false（此案例结果一致，但逻辑不同）

// 再看类型兼容但不等价的场景：
type TestArrayCompat = Equal<(() => string)[], (() => unknown)[]>; // true（函数返回值协变，string[] extends unknown[]为true，反之也成立）
type TestTupleStrict = StrictEqual<() => string, () => unknown>; // false（元组严格匹配，两个函数类型不等价）

本质上，你的Equal是判断两个类型是否双向数组协变兼容，而常规元组形式的StrictEqual是判断类型严格等价。如果需要严格的类型相等校验，建议使用元组形式的定义。

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