Permutation

题目来源(type-challenges)

问题 #

实现置换类型，将联合类型转换为包含联合置换的数组。

type perm = Permutation<'A' | 'B' | 'C'>; 
// ['A', 'B', 'C'] | ['A', 'C', 'B'] |
// ['B', 'A', 'C'] | ['B', 'C', 'A'] |
// ['C', 'A', 'B'] | ['C', 'B', 'A']

解答 #

type Permutation<T, K = T> =
  [T] extends [never]
    ? []
    : K extends K
      ? [K, ...Permutation<Exclude<T, K>>]
      : never

拆分 #

1. 分解联合类型，获取类型的所有组合
2. [T] extends [never] 是为了判断传入的泛型是不是为空，如果用 T extends never ? true : false 这样来判断会返回一个 never 类型，并不会返回 true 或者 false，所以利用 [T] 类型来判断是否为空。
3. K extends K 是判断是否有传入泛型，利用 2 中提到的 T extends never ? true : false 永远会返回 never 的方法判断是否还有传入的类型
4. 利用 Exclude 从 T 中 排除掉已经使用过的类型

具体执行 #

type P = Permutation;
type X = Exclude