为什么 TypeScript 在第二行还会认为 b 可为 null？应该怎样写更好？

[ruxuan1306]


[Playground Link]( https://www.typescriptlang.org/play?#code/GYVwdgxgLglg9mABAQwCaoBTIFyLCAWwCMBTAJ0QB88QAbWgGkSN32PKpvoEpEBvAFCJhiGMERZEAXhldaiAGQLm02fh6IyJKCDJJ1tANxCRYiclVS5vLTr3NDiAPROJAB2RlkBbeV4sadgpqAxNhMwwiS2tNbV0kZGMRRDDYuwSAaiJjAF8BIA)

[KMpAn8Obw1QhPoEP]

因为去掉第一行判断 逻辑依然成立吧
最后 a+b 的时候两者类型都是 number 没什么问题
你把第二行判断和第三行调换一下 结果也是一样的
还可以写成

if (a!==null &&b!==null) return a+b;
return a??b;

[TWorldIsNButThis]

直接嵌套 if
不整这些 early return

if + else 是完备（ exhaustive ）的而 early return 不一定是，比如第一句

[LLaMA2]

if(a && b) { return a + b}
else {return a ?? b}