### 题目描述众所周知，联合是一种无序结构，而元组是有序的，这意味着在联合创建或转换时，我们不应该预先假设联合中的任何项之间会保持顺序。因此，在这个挑战中，输出元组中元素的任何排列都是可接受的。你的类型应该解析为以下两种类型中的一种，但不是它们的联合！题目链接[Union To Tuple](https://typehero.dev/challenge/union-to-tuple) ```typescript UnionToTuple<1> // [1], and correct UnionToTuple<'any' | 'a'> // ['any','a'], and correct UnionToTuple<'any' | 'a'> // ['a','any'], and correct UnionToTuple<'any' | 'a'> // ['a','any'] | ['any','a'], which is incorrect ``` ### 解题思路遇到一般元组的题目，首先考虑的就是利用元组的分配律去递归处理，但是在本题中，这样处理最终还是会得到如图所示的不正确的答案。我们可以考虑利用**函数重载的推导特性**，每次从联合类型中剥离出一个成员，递归构造元组 ### 具体实现 ```typescript type UnionToIntersection = (T extends any ? (arg: T) => void: never) extends (arg: infer P) => void ? P: never type LastUnion = UnionToIntersection void: never> extends (arg: infer V) => void ? V: never type UnionToTuple> = [T] extends [never] ? []: [L, ...UnionToTuple>] ``` `UnionToIntersection`实现了从联合类型转变为交叉类型，它是利用函数参数的逆变性实现的，具体说明见下方。`LastUnion`的原理是，当一个类型是多个函数签名的交叉类型（即重载时），如果你尝试提取它的参数，TS总是会返回最后一个定义的签名。如此就能够获取到联合类型的最后一个参数，然后递归执行即可。 ### 逆变与协变在TS中，协变和逆变是描述复杂类型（如函数、对象、数组）之间父子关系如何随其组成部分变化的规则，它们决定了，如果 `A` 是 `B` 的子类型，那么 `Container` 还是不是 `Container` 的子类型？ #### 核心概念：子类型兼容性在讨论变性之前，必须记住TS的核心原则： **子类型可以赋值给父类型**(向上兼容) - `'a'`是`string`的子类型。 - `{a: 1, b: 2}`是`{a: 1}`的子类型(属性更多，更具体)。 #### 协变：同向变化定义：如果 A ∈ B，则 f(A) ∈ f(B)。类型变化的趋势与原始类型一致。在TS中，对象、接口、数组、函数的返回值都是协变的 e.g. ```typescript interface Animal {name: string} interface Dog extends Animal {bark(): void} let animals: Animal[] = [] let dogs: Dog[] = [] animals = dogs // OK, 因为数组是协变的 // 逻辑：你需要一群动物，我给你一群狗，依然可以访问它们的name属性 ``` #### 逆变：反向变化定义：如果A ∈ B，则f(B) ∈ f(A)。类型变化的趋势与原始类型相反。在TS中，**函数的参数**是逆变的(在开启`strictFunctinTypes: true`时) e.g. ```typescript type Handler = (arg: T) => void let handleAnimal: Handler = (a: Animal) => {console.log(a.name)} let handleDog: Handler = (d: Dog) => {d.bark()} handleDog = handleAnimal // OK, 逆变 // handleAnimal = handleDog // Error! ``` 为什么参数必须是逆变的？（安全性推导） handleDog 期待接收一个 Dog，因为它内部可能会调用 d.bark()。如果你把 handleAnimal 赋值给它，当你调用 handleDog(myDog) 时，实际上运行的是 handleAnimal(myDog)。 handleAnimal 只用了 name，而 myDog 肯定有 name，所以安全。反之，如果把 handleDog 给 handleAnimal，当别人传入一只普通的 Animal 时，函数内部调用 bark() 就会崩溃。 #### 双变与恒变 - 双变：既允许协变又允许逆变，在TS早期或未开启严格模式时，函数参数是双变的，但这被认为是不安全的。 - 恒变：不允许任何方向的改变，在某些语言中，泛型对象(如`List`)是恒变的比如上文提到的`UnionToIntersection` ```typescript type UnionToIntersection = ( U extends any ? (arg: U) => void : never // 第一步：分发 U 到参数位置（逆变位） ) extends (arg: infer I) => void // 第二步：通过 infer 提取参数 ? I // 结果：多个 U 成员在逆变位碰撞，只能取其交叉 : never; ``` 当多个不同的类型（如 'A' 和 'B'）同时出现在逆变位置（参数位）并尝试推导同一个类型变量 I 时，TypeScript 为了保证函数的调用安全性，必须要求 I 能够同时兼容所有类型，因此推导出的结果是它们的交叉类型 (&)。相反，如果我们在协变位置（返回值位）进行推导： ```typescript type UnionToUnion = ( U extends any ? () => U : never ) extends () => infer I ? I : never; // 结果依然是联合类型，因为返回值是协变的 ``` | 类型位置 | 变性 |逻辑直觉 | | ---- | ---- | ---- | | 返回值 (Return) | 协变 |产出的东西可以更具体（给出的比要求的更多）| | 函数参数 (Param) | 逆变 | 输入“更窄”（能兼容更多函数）| | 只读属性 | 协变 | 只能读，更具体的类型一定包含父类的属性 | | 可写属性 | 恒变 | 为了读写安全，类型必须完全一致 (TS 实际中对属性多采用协变，但严格来说不安全) | | | | |