TypeScript结构类型中同字段类型的类型守卫问题问询

你遇到的问题确实是TypeScript结构类型系统导致的限制：HelloMessage和GoodbyeMessage的结构完全一致（都仅包含string类型的message字段），在TypeScript看来这两个类型是等价的。当你通过isHello过滤后，编译器会认为剩余的Message类型已经没有其他可能的分支，因此第二个if中的input会被推断为never类型，进而报错。

下面是几种优雅的解决方法：

1. 使用可区分联合类型（推荐） #

这是TypeScript处理此类场景的标准方案，通过给每个类型添加唯一的标识字段，让编译器能明确区分不同类型分支：

type Message = HelloMessage | GoodbyeMessage

type HelloMessage = {
  type: 'hello' // 唯一标识字段
  message: string
}

type GoodbyeMessage = {
  type: 'goodbye' // 唯一标识字段
  message: string
}

// 优化类型守卫，结合标识字段做精准判断
function isHello(value: any): value is HelloMessage {
    return !!value && value.type === 'hello' && value.message.includes("hello")
}

function isGoodbye(value: any): value is GoodbyeMessage {
    return !!value && value.type === 'goodbye' && value.message.includes("goodbye")
}

function someFunc(input: Message): string {
    if (isHello(input)) {
        return input.message
    }
    if (isGoodbye(input)) {
        return input.message // 编译器正常推断为GoodbyeMessage
    }
    return "unknown"
}

2. 调整类型守卫的参数约束 #

如果不想添加额外字段，可以将类型守卫的参数从any改为Message，同时利用Exclude工具类型明确排除已匹配的分支：

function isHello(value: Message): value is HelloMessage {
    return value.message.includes("hello")
}

function isGoodbye(value: Exclude<Message, HelloMessage>): value is GoodbyeMessage {
    return value.message.includes("goodbye")
}

function someFunc(input: Message): string {
    if (isHello(input)) {
        return input.message
    }
    // 此时input已被收窄为Exclude<Message, HelloMessage>，编译器认可后续类型守卫
    if (isGoodbye(input)) {
        return input.message
    }
    return "unknown"
}

3. 妥协方案：安全类型断言 #

如果无法修改类型定义，可在分支中结合类型守卫做针对性断言，比单纯的as断言更安全：

function someFunc(input: Message): string {
    if (isHello(input)) {
        return input.message
    }
    if (isGoodbye(input as any)) {
        return (input as GoodbyeMessage).message
    }
    return "unknown"
}

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