010.查找类型

有时，您可能希望根据某个属性在联合类型中查找类型

在此挑战中，我们想通过在联合类型 Cat | Dog 中通过指定公共属性 type 的值来获取相应的类型。换句话说，在以下示例中，LookUp<Dog | Cat, 'dog'> 的结果应该是 Dog，LookUp<Dog | Cat, 'cat'> 的结果应该是 Cat

interface Cat {
  type: 'cat'
  breeds: 'Abyssinian' | 'Shorthair' | 'Curl' | 'Bengal'
}
 
interface Dog {
  type: 'dog'
  breeds: 'Hound' | 'Brittany' | 'Bulldog' | 'Boxer'
  color: 'brown' | 'white' | 'black'
}
 
type MyDog = LookUp<Cat | Dog, 'dog'> // expected to be `Dog`

答案

type LookUp<T extends { type: string }, U extends string> = T extends { type: U } ? T : never

这样不行：

type LookUp<T extends { type: string }, U extends string> = T['type'] extends U ? T : never

因为 T['type'] 不是裸类型，因此不会被分发，需要编写如下代码来触发分布式条件类型：

// 这样不行：
type LookUp<T extends { type: string }, U extends string> = T extends T
  ? T['type'] extends U
    ? T
    : never
  :never