是否可以在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是一种映射类型，您可以更好地控制如何创建类型警卫。