是否可以在TypeScript中結合用戶定義的類型警衛？

Question

鑑於

type Maybe<T> = T | undefined; 

class Obj { 
    jbo: Maybe<Jbo>; 
} 

，是可以定義給定一個o: Maybe<Obj>斷言類型都o和o.jbo的功能？

我喜歡思考的東西：

function everythingIsDefined(o: Maybe<Obj>):o is Obj && o.jbo is Jbo { 
    // checks in here 
} 

Answer 1

用戶定義的鍵盤鎖只能返回一個x is T。幸運的是，你可以在你選擇的T中使用聯合和交叉點。因此，例如：

function everythingIsDefined(o: Maybe<Obj>): o is Obj & {jbo: Jbo} { 
    return typeof o !== 'undefined' && typeof o.jbo !== 'undefined'; 
} 

的everythingIsDefined功能斷言輸入是既一個Obj（相對於未定義），和一個對象，其jbo屬性是一個Jbo（相對於未定義）。所以，你可以使用它像這樣：

if (everythingIsDefined(obj)) { 
    console.log(obj.jbo.toString()) // no error 
} 

Answer 2

呀，你可以拉其關閉：

type Maybe<T> = T | undefined; 
type DeepMaybe<T> = { [K in keyof T]: Maybe<T[K]> }; 

class Obj { 
    jbo: Jbo; 
} 

function everythingIsDefined<T>(o: DeepMaybe<T>): o is T { 
    return false; 
} 

然後：

let obj: DeepMaybe<Obj> = {} as Obj; 
if (everythingIsDefined(obj)) { 
    // type of obj.jbo is Jbo 
} else { 
    // type of obj.jbo is Maybe<Jbo> 
} 

（code in playground）

說明：
根據您提供的類型（即Obj.jbo: Maybe<Jbo>），可能沒有辦法實現這一點。
相反，類Obj需要將其屬性定義爲實際類型，但如果您將變量鍵入爲DeepMaybe<Obj>（或其他任何內容而不是Obj），那麼您會得到同樣的結果。

現在的區別是，因爲DeepMaybe是一種映射類型，您可以更好地控制如何創建類型警衛。