TypeScript中||表达式类型推断为何是A而非true|A？

先看这段代码：

class A {
}
function f(x:boolean) {
    let a=new A();
    let z1=x && a; // z1: false | A
    let z2=x || a; // z2: A    ( not "true | A")
    console.log(z1,z2);    
}
f(true);//  A:{} , true
f(false);// false, A: {}

通过鼠标悬停观察类型推断结果：

• z1 被推断为 false|A
• z2 被推断为 A

我原本猜测z2会被推断为true|A，请问这是TS编译器（或Playground）的bug，还是规范定义的正确行为？

这不是Bug，而是TypeScript结合JavaScript逻辑规则与类型系统设计的正确推断行为。

具体解释： #

JavaScript 中 x || a 的运行逻辑是：若左侧 x 为真值则返回 x，否则返回右侧 a。对应到代码场景：

• 当 x=true 时，返回 true（属于真值）
• 当 x=false 时，返回 a（A 的实例，对象类型在JS中永远是真值）

TypeScript 的类型推断会基于表达式的“真值特性”做优化：
因为 a 是 A 的实例，属于永远不会为假的类型，TypeScript 判定 x || a 的结果必然是一个真值。在部分早期版本的 TypeScript 中，会将布尔类型的 true 与 A 类型合并时，最终推断为 A 类型（这是类型系统简化逻辑的结果）；而在较新的版本中，这里的类型会被更精确地推断为 boolean | A，更贴合实际运行结果。

无论哪种情况，这个推断逻辑都属于 TypeScript 规范内的设计，而非编译器 Bug。

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