[英]Is it possible to combine user defined type guards in TypeScript?
特定
type Maybe<T> = T | undefined;
class Obj {
jbo: Maybe<Jbo>;
}
,是否可以定义一个给定o: Maybe<Obj>
的函数o: Maybe<Obj>
断言o
和o.jbo
的类型?
我想的是:
function everythingIsDefined(o: Maybe<Obj>):o is Obj && o.jbo is Jbo {
// checks in here
}
用户定义的typeguard只能返回一个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
}
是的,你可以把它拉下来:
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>
}
( 游乐场代码 )
说明:
可能无法使用您提供的类型(即Obj.jbo: Maybe<Jbo>
)来完成。
相反,类Obj
需要将其属性定义为实际类型,但如果您将变量键入为DeepMaybe<Obj>
(或其他任何而不是Obj
),那么您将得到相同的东西。
现在不同了,因为DeepMaybe
是一种映射类型,您可以更好地控制如何创建类型保护。
声明:本站的技术帖子网页,遵循CC BY-SA 4.0协议,如果您需要转载,请注明本站网址或者原文地址。任何问题请咨询:yoyou2525@163.com.