联合类型转化为交叉类型

查看解答查看精选

题目

实现高级工具类型 UnionToIntersection<U>

例如

type I = UnionToIntersection<"foo" | 42 | true>; // expected to be 'foo' & 42 & true

解答

type UnionToIntersection<U> = (
  U extends any ? (arg: U) => any : never
) extends (arg: infer I) => void
  ? I
  : never;