为什么TypeScript中&&运算左侧布尔表达式未触发参数类型报错？

核心差异来自TypeScript的静态类型推导规则，以及不同版本对常量表达式的推导能力区别：

• 首先明确TypeScript是静态类型检查工具，仅基于类型信息做校验，不会默认对所有表达式做编译期的运行时值预计算，除非是语法层面的明确字面量。
• 针对false && "foo"的报错：false属于明确的布尔字面量，类型为false（不是宽泛的boolean类型）。根据&&运算符的类型推导规则，当左侧操作数类型为false字面量时，整个表达式的类型直接推导为false，显然不符合getString要求的string入参类型，因此抛出2345错误。
• 针对1 > 2 && "foo"无报错的情况：你使用的是较旧版本的TypeScript，旧版本编译器不会对比较运算的常量操作数做编译期求值收窄，只会将1 > 2的类型推导为宽泛的boolean类型。同时旧版本对&&运算符的推导逻辑存在缺陷：只要左侧操作数不是明确的false字面量，就直接取右侧操作数的类型作为整个表达式的类型，因此1 > 2 && "foo"的类型被误推导为string，自然不会触发类型错误。

在当前主流的TS 4.0+版本中，已经修复了上述两个问题：编译器会对1 > 2这类常量比较表达式做编译期求值，将其类型收窄为false字面量，因此1 > 2 && "foo"也会和第一种情况一样抛出2345类型错误。

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