为什么TypeScript无法识别if条件中存储引用的非空类型检查？

原因说明 #

这个问题本质是TypeScript控制流类型收窄的设计限制：

• 直接在if条件中判断personObj.nickName时，TS的控制流分析可以直接识别该判断是对personObj.nickName的非空校验，因此会在if代码块内将这个属性的类型从string | undefined收窄为string，调用split方法不会触发编译错误。
• 当你提前将判断结果存入独立变量nickNameExists后，TS的类型系统不会跟踪这个变量和personObj.nickName的隐含关联：它不知道nickNameExists为true就代表personObj.nickName一定不为undefined。
  这个设计是有意为之的：一是跨变量的关联推导会大幅提升类型检查的性能开销，二是语法层面无法保证变量赋值后到if判断执行前，personObj.nickName不会被其他逻辑修改为undefined，贸然做关联推导反而会引入类型安全漏洞。

替代方案 #

你可以直接提取属性值到独立变量后再做校验，就能正常触发类型收窄：

const nickName = personObj.nickName;
if (nickName) {
  const splitValue = nickName.split(' '); // 无编译报错
  console.log(splitValue);
}

内容的提问来源于stack exchange，提问作者Juozas Rastenis