为何TypeScript三元运算符无法像逻辑短路那样收窄假值类型？

TypeScript 对逻辑与（&&）和三元条件（? :）两种操作符的类型收窄规则是独立设计的，并没有为三元表达式实现和&&等价的真值分支推导逻辑。

先看res1能正常编译的原理 #

foo && { test: true }的类型推导完全对齐JavaScript的运行时行为：

• 当foo的类型是宽泛的string时，TS 会自动按照JS的真值判定规则拆分类型：字符串类型里只有空字符串""是假值，其余非空字符串都是真值
• 按照&&的运行时逻辑：如果foo是假值就直接返回foo本身，否则返回后面的对象。因此整个表达式的返回类型会被推导为「foo的假值类型」和「右侧对象类型」的联合，也就是"" | { test: true }
• 这个推导结果完全匹配赋值目标Falsy | { test: true }（因为""本身属于Falsy集合），所以不会触发类型错误。

再看res2的类型推导问题 #

foo ? { test: true } : foo的写法，从逻辑上和foo && { test: true }完全等价，但TS的推导器不会做这种语义层面的等价转换：

• 走三元表达式的假值分支时，返回值是foo本身，但TS 不会自动把这个位置的foo类型收窄到「能触发条件为假的窄类型（也就是空字符串""）」，而是直接沿用foo的原始宽泛类型string
• 最终整个三元表达式的返回类型被聚合为{ test: true } | string，这个类型包含了所有非空的字符串值——这些值既不属于Falsy集合，也不匹配对象的结构类型，自然无法赋值给目标类型。

这种差异是bug吗？ #

不是。这是TS 长期存在的设计选择：

• &&操作符的推导规则从最开始就绑定了JS的返回语义，天然会捕获左侧表达式的假值类型
• 三元表达式的设计初衷是聚合两个独立分支的返回值类型，TS 至今没有为“假值分支返回的就是被判断的同一个变量”这种特殊场景做额外的收窄优化。哪怕两段代码运行时行为完全一致，推导器也不会主动把这种语法糖层面的等价关系映射成相同的类型结果。

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