typescript - 是 && 和 || 的 TypeScript 类型规范正确的？

Question

几天前我在 TypeScript 论坛上问过这个问题，但没有得到回复，所以我想我会在这里尝试。

typeScript 0.9 规范说

&& 运算符允许操作数为任何类型，并产生与第二个操作数相同类型的结果。

false && "123"在的情况下，这显然是错误的false，即不是字符串。

任何人都可以对此发表评论吗？

编辑链接的问题不是解释，它有点友好的挥手。规格。包含一个它不能证明的形式错误。也就是说，类型规则应该根据其自由变量来解释表达式的所有值的类型。规格。在这一点上显然是错误的。我会考虑以下任何一项来回答我的问题：

score 2 · Accepted Answer

从打字稿编译器的角度来看，规范是正确的。

例如：

var foo = false && "asdf"

为 foo 推断的类型是“字符串”。

如果您将鼠标悬停在TypeScript playground中的 foo 上，您可以看到它。

这在某种程度上是一个不正确的假设。但实际上无法确定实际类型是什么（例如，当您在链中调用函数时，甚至是any时）。在这方面打字稿假设开发人员知道他在做什么，最后一个是他真正想要使用的。

typescript - 是 && 和 || 的 TypeScript 类型规范 正确的？