TypeScript中&&布尔校验结果被识别为string类型报错问题

JavaScript/TypeScript中的&&逻辑与运算符本身不会返回布尔类型值，它的实际求值规则为：

• 从左到右依次计算每个操作数，遇到第一个假值（falsy值，包含false、0、''、null、undefined、NaN）时，直接返回该假值本身，终止后续计算
• 如果所有操作数均为真值（truthy值），则返回最后一个操作数的值

对应你代码里的场景：address下的street/city等属性均为字符串类型，因此链式&&表达式的推断类型为string：

• 若任意一个属性为空字符串（假值），整个表达式返回空字符串
• 若所有属性均为非空字符串（真值），整个表达式返回最后一个属性address.country的字符串值

你将类型为string的表达式直接赋值给声明为boolean类型的变量isAddressValid，自然会触发Type 'string' is not assignable to type 'boolean'的类型错误。

你添加的? true : false本质是对&&表达式的结果做了显式的布尔值转换：无论&&返回的是字符串还是其他类型，只要是真值就返回布尔字面量true，假值就返回布尔字面量false，最终整个表达式的类型为纯boolean，完全匹配变量的类型声明，因此可以通过类型检查。

除了三元表达式外，还有两种更常用的简写方式可以实现相同的布尔转换效果：

• 使用双重非运算符!!显式转布尔，是前端开发中最常见的写法：

this.isAddressValid = !!(address.street && address.city && address.state && address.zip && address.country);

• 使用Boolean()构造函数做包装转换，语义更直观：

this.isAddressValid = Boolean(address.street && address.city && address.state && address.zip && address.country);

注意：很多人会产生&&返回布尔值的误解，是因为在if/while等条件判断语句中，JS会自动对括号内的值做隐式布尔转换来判断分支走向，这属于条件语句的内置逻辑，和&&运算符本身的返回值规则无关。

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