在TS中，联合类型在某些情况下可以触发分配律，从简单的例子说起。比如我们要实现TS中内置的`Exclude`类型 ```typescript type MyExclude = T extends U ? never: T ``` 这就利用了分配律的技巧，例如对于`类型A` 它的类型为`'a' | 'b' | 'c'`, 想要排除掉`类型B`即`'a'`,那么它会转换为下面这种比较形式 ```typescript 'a' extends 'a' ? never : 'a' | 'b' extends 'a' ? never: 'a' | 'c' extends 'a' ? never: 'a' ``` 最终的结果就是`'b' | 'c'`，正常排除了'a'。但是，分配律还是要遵循一些条件 ### 1.必须是泛型参数且是裸类型才会触发分配律 ```typescript // ✅ 会分配 type Distributive = T extends string ? T : never // ❌ 不会分配（T 被包装在数组中） type NonDistributive = [T] extends [string] ? T : never type TestA = Distributive<'a' | 1 | 'b'> // 'a' | 'b' type TestB = NonDistributive<'a' | 1 | 'b'> // never ``` 所以如果遇到不想触发分配的场景，就可以像上面一样使用`[]`包裹起来 **PS: 只有泛型参数才会触发分配律，如果是具体的类型或类型别名则不会** ```typescript type A = '1' | 2 type B = A extends '1' | 2 ? true : false // true ``` 上述这种情况是直接类型检查，并不会产生分配律，因为`A`是一个具体的类型别名，不是泛型参数，所以它是整个类型的包含关系检查，不是对联合类型成员的分配检查再看一个例子，如果我们需要实现判断一个类型是否是联合类型，就可以利用这个思路 ```typescript type IsUnion = [T extends any ? Exclude : never] extends [never] ? false : true; ``` 如果是联合类型那么一开始就会触发分配律（对于联合类型的题目先指定一个同样的值作为泛型用作后续的处理是一个常见的思路），就算利用`Exclude`筛选过后也不会是`never`,但是如果不是联合类型，那必然会直接变成`never`。 ### 2.分配按顺序进行，深度优先，外层先于内层进行分配上面展示的都是处理单个类型的分配的情况，但是如果是`A extends B`, `A`和`B`都有多种类型呢？会遵循**先分配外层再分配内层**的顺序 ```typescript type Complex = T extends any ? U extends any ? [T, U] : never : never type Test4 = Complex<'a' | 'b', 1 | 2> // 等价于： // T = 'a' → U 分配 → ['a', 1] | ['a', 2] // T = 'b' → U 分配 → ['b', 1] | ['b', 2] // 最终：['a', 1] | ['a', 2] | ['b', 1] | ['b', 2] ``` 面对这种情况，我们可以按照代码的顺序，先将T的值带入，进行分配 ``` typescript 'a' extends any ? U extends any ? ['a', U]: never: never | 'b' extends any ? U extends any ? ['b', U]: never: never 然后再分配U ['a', 1] | ['a', 2] | ['b', 1] | ['b', 2] ``` ### 3.never的行为 - 如果是在条件判断中，`never extends X`总是为true - 如果是触发分配输入，`never`作为输入时不会产生分配结果(空的联合) ```typescript // 非分配场景：总是 true type Test1 = never extends string ? true : false // true // 分配场景：never 被忽略（结果为空联合类型，也是 never） type Test2 = T extends string ? T : never type Result1 = Test2 // never type Test3 = T extends string ? [T] : never type Result2 = Test3 // never ``` ### 4.阻止分配使用元组、交叉类型等包装类型参数除了上面提到的元组之外，使用交叉类型也可以阻止分配 ```typescript type NoDistribute = T & {} extends '1' ? true: false type N = NoDistribute<'1' | '2'> ``` 如果上述代码没有限制交叉类型，那么根据分配律，最终得到的结果是`boolean`，但是这里限制了之后得到的结果就是`false` ### 5.性能问题复杂分配可能影响类型检查性能