关于TypeScript中Boolean()与!!运算符类型推断差异是否为预期设计的问询

这是TypeScript的预期设计，差异源于两者在TypeScript类型系统中的处理逻辑不同，具体原因如下：

• 类型收缩逻辑的差异
  !!是逻辑取反运算符的组合，TypeScript会对其进行字面量类型收缩：当操作数是明确的true/false字面量时，TypeScript能精准推导两次取反后的结果就是原字面量类型（比如!!true必然得到true，!!false必然得到false）。
  而Boolean()作为构造函数调用时，TypeScript将其视为返回通用boolean类型的函数——哪怕传入的是字面量值，它的返回类型被定义为宽泛的boolean，不会做字面量级别的类型收缩。

• 类型定义的本质区别
  TypeScript对Boolean构造函数的类型签名定义为Boolean(value?: any): boolean，明确指定返回值是宽泛的boolean类型；而!运算符的类型推导逻辑会针对输入的字面量做精确计算：!true被推断为false，再次取反后!!true就会被推断为true，反之亦然。

代码示例 #

const truthy = true
const falsy = false

const truthyWithBoolean = Boolean(truthy) // 类型：boolean
const truthyWithNot = !!truthy            // 类型：true
const falsyWithBoolean = Boolean(falsy)   // 类型：boolean
const falsyWithNot = !!falsy              // 类型：false

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