Type-challenges类型体操 1097-IsUnion 题解
IsUnion
题解：
type IsUnion<T extends any, O = T> = T extends O ? [O] extends [T] ? false : true : never
有同学就会问了，为什么这样阿？[T] 和 [O] 有什么区别阿？
让我来解密一下原理。
本题利用分布条件类型，extends会应用于联合类型的每个成员
什么是分布条件类型？
-
被检查类型（即上述的T）是裸类型参数的条件类型称分布条件类型。 在实例化期间，分布条件类型会自动分布在联合类型上，即条件类型应用于联合类型的每个成员，结果是所有结果的联合。
什么是裸类型参数？
类型参数没有被包装到另一种类型中，例如：数组、元组、函数、或任意其他泛型类型。
原理分析
例子1：IsUnion<string|number>
1、先解释 T extends O ? 我们以为：string | number extends string | number 实际上是：(string extends string | number) | (number extends string |number)? 即：T有两种类型：string、number
2、此时[T] 为 ：[string] | [number]，而[O]为extends后面的东西，没有被分布条件类型分布，所以此时[O]为：[ string|number ]
3、比较[O] extends [T]，在该情况下 extends 不成立，返回true。
我们再看看 只传单个类型的情况
例子2：isUnion<string>
利用分布条件类型，T也只有一种类型，此时[T]为[string]，[O]为[string]，该情况下extends成立，返回false。
