TypeScript 不使用 && 运算符检测联合类型

【问题标题】：TypeScript does not detect union type with an && operatorTypeScript 不使用 && 运算符检测联合类型
【发布时间】：2015-09-03 10:10:22
【问题描述】：

在下面的例子中 x 实际上是一个联合类型 'boolean | string' 但 TypeScript 认为它是一个字符串。这是一个错误还是我错过了什么？

var x:string = false && "foo";

【问题讨论】：

【解决方案1】：

这是一个错误还是我错过了什么

这是设计使然。根据规范，&& 的推断类型是 last 表达式的类型。所以下面的推断类型是string：

var x = false && "foo";

这是为了支持一个通用的 JavaScript 模式：

var something = foo && foo.bar && foo.bar.bas;

如果something 的类型是foo.bar.bas，那就太好了，这正是打字稿推断的内容。

【讨论】：