如何檢查 Typescript 條件類型中的類型是否未定義？

Question

我目前有這種類型：

type ReturnType<T, E> = [T, E]

我試圖通過這些規則使這種類型“更聰明”：

• 如果T是undefined ，那么類型將是[undefined, E]
• 如果E是undefined ，那么類型將是[T]
• T和E不能都是undefined的

我正在嘗試使用 Typescript 的Conditional Types應用這些規則。
這甚至可以實施嗎？

這是我到目前為止得到的：

type ReturnType<T, E> = 
    T extends undefined 
    ? E extends undefined ? never : [undefined, E]
    : E extends undefined ? [T] : never

Answer 1

您似乎缺少的是您可以同時對 T 和 E 進行測試：

[T, E] extends [TypeA, TypeB] ? ... : ...

使用它你可以這樣做：

type MyReturnType<T, E> = 
    [T, E] extends [undefined, undefined] ? never
    : T extends undefined ? [undefined, E]
    : E extends undefined ? [T]
    : [T, E]

type A = MyReturnType<undefined, undefined> // never
type B = MyReturnType<string, undefined> // [string]
type C = MyReturnType<undefined, number> // [undefined, number]
type D = MyReturnType<boolean, string> // [boolean, string]

操場