TypeScript编译器if恒真分支识别规则及构造函数赋值报错问题

报错核心原因 #

这个问题是TypeScript的strictPropertyInitialization（严格属性初始化）编译规则和控制流分析逻辑共同作用的结果：
strictPropertyInitialization规则要求，类中声明的非可选属性必须满足以下两个条件之一才不会报错：

• 属性声明时就完成初始化赋值
• 构造函数的所有可能执行路径都能保证给该属性完成赋值

为什么if (true)场景没有报错

TypeScript的控制流分析可以识别常量布尔值的分支逻辑，if (true)对应的代码块是必然执行的，编译器可以100%确定this.field1一定会被赋值，因此不会触发检查报错。

为什么if (data !== null)场景会报错

这里有两个关键逻辑：

1. 在没有开启strictNullChecks编译选项的情况下，TypeScript默认允许string类型的变量取值为null/undefined，所以data !== null的判断是合法的，编译器会认为该分支存在不执行的可能性，就会出现field1没有被赋值的路径，因此触发报错。
2. 就算你开启了strictNullChecks，如果编译器还没优化掉「类型层面永远为真的判断」时，也会先按照你写的分支逻辑做初始化校验：你主动写了data !== null的判断，编译器就会默认你认为这个判断可能不成立，不会直接否定你写的判断的合理性，所以还是会判定存在未赋值的路径。

如果要规避这个报错，你可以选择：

• 声明field1时直接给初始值
• 给field1类型加undefined变成可选属性field1?: string
• 在赋值语句加明确的非空断言：this.field1 = ""!
• 开启strictNullChecks，编译器会识别到data !== null永远为真，分支必然执行，就不会报错了

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