TypeScript类型守卫间接赋值给布尔变量后为何无法缩小变量类型？

核心原因 #

TypeScript 的类型缩小能力不会为独立布尔变量和对应变量的类型建立隐含关联：

1. 你直接在if条件中使用类型守卫判断msg的类型时，TS可以直接识别该条件的作用是缩小msg的类型，所以分支内msg的类型符合预期。
2. 当你把类型守卫的返回结果赋值给普通布尔变量isKind1后，这个布尔变量本身不携带任何和msg类型绑定的信息，TS不会额外记录「isKind1为真等价于msg是kind1类型」的逻辑关联，因此后续用isKind1做判断时，无法触发msg的类型缩小。

TS不支持这种跨变量的关联推导是刻意设计的：如果要跟踪所有布尔变量与任意变量类型的绑定关系，编译复杂度和性能开销会大幅上升，对于绝大多数使用场景来说得不偿失。

可行解决方案 #

方案1：直接复用类型守卫做判断 #

if (hasAllProperties<kind1>(msg, ["propertyA"])) {
  console.log(msg.propertyA) // msg 类型自动缩小为 kind1
}

方案2：将判断逻辑封装为类型谓词函数 #

// 定义专门的类型守卫函数
const isKind1 = (val: unknown): val is kind1 => hasAllProperties<kind1>(val, ["propertyA"])
const isKind2 = (val: unknown): val is kind2 => hasAllProperties<kind2>(val, ["propertyB"])

if (isKind1(msg)) {
  console.log(msg.propertyA) // 类型正常缩小
}

方案3：逻辑确定安全时用类型断言 #

if (isKind1) {
  console.log((msg as kind1).propertyA)
}

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