“typescript“ “type predicate“ 陷阱记录
“typescript” “type predicate” 陷阱记录
起因
一个让我开始怀疑人生的bug.
经过
搞了半天, bar里面的运行过程还是没有搞懂.
可以去 typescript playground看看.
type A={}function isA(x:any): x is A{return Object.values(x).length==0;
}
type B={_:null
}function foo(x:A|B) {if(isA(x)){x;
// ^?}else{x;
// ^?}
}function bar(x:A|B) {if(isA(x as number)){x;
// ^?}else{x;
// ^?}
}
结果
直接说结论,因为B的属性的集合是A的超集,所以,isA并不能区分A和B,对typescript来说,B也是A类型的,所以在foo的else里面x的类型直接变成了never
(: <)