为何Type Guard isMessage无法收窄类型？能否优化（接口继承场景）

为什么类型守卫无法收窄类型 #

因为ResponseResult继承了Message，在TypeScript的结构类型系统中，ResponseResult的实例完全符合Message的类型约束（拥有message字段）。你的类型守卫isMessage返回true时，TypeScript无法区分传入的是纯Message还是ResponseResult——毕竟ResponseResult是Message的子类型，天然满足Message的类型要求。

这直接导致两个问题：

• if分支里的response类型无法收窄为纯Message，仍会保留Message | ResponseResult
• else分支被TypeScript推断为never（因为所有ResponseResult也能通过isMessage的类型检查），所以访问id会报错

优化方案 #

以下两种方案都能保留ResponseResult继承Message的业务需求：

方案1：调整类型守卫的谓词，明确排除子类型 #

把类型守卫的返回谓词改为data is Exclude<Message, ResponseResult>，让TypeScript明确知道：当守卫返回true时，data是纯Message而非ResponseResult。同时保留原判断逻辑：

function isMessage(data: Message | ResponseResult): data is Exclude<Message, ResponseResult> {
  return Object.keys(data).join() === 'message'
}

方案2：优化判断逻辑，检查子类型特有属性 #

直接判断ResponseResult特有的type或id字段是否不存在，这种方式比检查所有key更健壮（后续Message新增字段时无需修改判断逻辑）：

function isMessage(data: Message | ResponseResult): data is Message {
  return !('type' in data) && !('id' in data)
}

效果验证 #

调整后，if分支里的response会被正确收窄为Message，else分支则自动推断为ResponseResult，可以正常访问id和type字段。

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