TypeScript加非空判断仍报TS2531错误的原因及无断言解决方法

错误原因 #

你代码里的条件判断仅验证了第一次调用this.formGroup.get('inseeActivityCode')的结果不为null，但TypeScript编译器无法保证两次调用get方法的返回值完全一致。因为formGroup可能在两次调用之间被其他逻辑修改，或者get方法本身的实现存在返回值变化的可能，所以编译器无法推断第二次调用的结果一定是非null，因此抛出TS2531错误。

解决办法 #

将get方法的返回值缓存到一个变量中，让TypeScript能跟踪该变量的类型状态，这样类型守卫就能正常生效：

const inseeActivityControl = this.formGroup.get('inseeActivityCode');
if (inseeActivityControl !== null) {
    mergedCompanyActivity.inseeActivityCode = inseeActivityControl.value;
}

这样只需调用一次get方法，后续通过变量访问value时，编译器会确认该变量已通过非空校验，不会再抛出TS2531错误。

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