为什么TypeScript编译器用两个检查来编译其可选的链接和空合并运算符？

Question

// x?.y
x === null || x === void 0 ? void 0 : x.y;

// x ?? y
x !== null && x !== void 0 ? x : y

// x?.y
x == null ? void 0 : x.y

// x ?? y
x != null ? x : y

顺便说一句，我还感到惊讶的是，可选链接不能编译为

x == null ? x : x.y

若要保留null和undefined。

Answer 1

你可以在Microsoft/Typescript#16中找到权威的答案（哇，一个旧的）；在本评论中特别说明：

这是因为document.all[...]，这种怪癖在语言中得到了向后兼容性的特殊处理。

document.all == null // true
document.all === null || document.all === undefined // false

在可选链接建议中

document.all?.foo === document.all.foo