在 typescript 中提取給定通用參數的特定聯合項

Question

給定 typescript 個對象的並集，我想提取一個特定的並集項。
這將幫助我動態鍵入 function，其中特定id作為參數傳遞。

typescript游樂場

這是我想要實現的示例：

type A = {
  id: 'a',
  search: {
    a: number
  }
}

type B = {
  id: 'b',
  search: {
    b: string
  }
}

type MyUnion = A | B

type GetFromUnion<T extends MyUnion['id']> = // complete the implementation

/**
 * I expect type C to be equal to:
 * 
 * type C = {
 *   id: 'b',
 *   search: {
 *    b: string
 *   }
 * }
 */
type C = GetFromUnion<'b'>

我嘗試過但不起作用的方法：

// Always return never
type GetFromUnion<T extends MyUnion['id']> = MyUnion['id'] extends T ? MyUnion : never

Answer 1

Extract來拯救：

type GetFromUnion<T extends MyUnion['id']> = Extract<MyUnion, {id : T}>

Extract的實現是：

type Extract<T, U> = T extends U ? T : never;