TypeScript布尔区分联合类型为何仅显式判断才能正常收窄类型？

问题原因 #

这不是TypeScript的bug，是类型守卫的收缩规则导致的：

• 当你用if (y.a)这种真值判断时，TypeScript只会在if分支里把y收缩到{a: true; c: number}分支（因为true是真值）；但在else分支里，它只会排除“y.a为真值”的情况，不会自动推断出y.a一定是false——TypeScript默认会考虑y.a可能是宽泛的boolean类型，即使你的联合类型里是字面量布尔值，真值检查的收缩逻辑也不会做反向的字面量推断。
• 而用y.a == true或y.a === true时，这是严格的字面量相等检查，TypeScript能精准识别出：满足条件的是a: true的分支，不满足的必然是a: false的分支，因此能正确收缩联合类型。

解决方案 #

除了显式的相等判断，还有几种更符合直觉的写法：

1. 使用严格相等判断（推荐） #

if (y.a === true) {
    console.log(y.c);
} else {
    console.log(y.b); // 正常编译
}

严格相等比==更安全，能避免隐式类型转换带来的潜在问题。

2. 反向判断假值 #

if (!y.a) {
    console.log(y.b);
} else {
    console.log(y.c); // 正常编译
}

直接判断!y.a时，TypeScript能正确收缩到a: false的分支，else分支自然对应a: true的分支。

3. 使用类型断言（不推荐） #

如果你能100%确定当前分支的类型，可以用类型断言跳过检查，但这会失去TypeScript的类型保护，存在风险：

if (y.a) {
    console.log(y.c);
} else {
    console.log((y as {a: false, b: number}).b);
}

补充说明 #

TypeScript对于联合类型的类型收缩，只有当检查条件是精确的字面量匹配时，才会完全收缩到对应的分支。真值检查属于“宽泛的真值判断”，只能排除假值，但不会反向推断到具体的字面量假值（比如false），这是为了兼容更宽泛的boolean类型场景。

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