为什么TypeScript编译可选链和空值合并运算符时要执行两次检查？

TS团队选择显式的严格相等判断而非== null简写，主要有两个核心原因：

• 规避document.all的规范兼容坑
  ECMAScript为了兼容早年大量依赖document.all的旧站点，对这个对象做了特殊的例外设计：document.all == null会返回true，但它本身既不是null也不是undefined，不属于可选链、空值合并运算符的合法短路触发条件。
  如果使用== null编译，会导致document.all?.xxx、document.all ?? xxx这类代码的行为和原生JS语法不符，错误触发短路逻辑。显式的=== null || === void 0判断可以100%对齐原生语法的行为要求，不会出现兼容异常。
• 消除隐式转换的歧义
  ==运算符自带隐式类型转换规则，== null的判断逻辑对不熟悉JS类型系统的开发者有额外的记忆成本。显式写出两次严格相等判断没有任何歧义，任何人都能一眼看懂代码是在排查null和undefined两种空值，可读性和可维护性更强。

另外补充：编译代码中使用void 0而非直接写undefined，也是为了兼容极端老旧的JS环境下undefined可以被重写的问题，进一步保证空值判断的可靠性。

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