如何在TypeScript中无需冗余类型守卫即可让类型系统正确识别判别式联合类型？

咱们先搞清楚你遇到的问题根源：当你把判别式联合类型的参数解构为arg1和arg2后，TypeScript会把这两个变量当成独立的联合类型——也就是说它会认为arg1可能是"hello"或"olleh"，arg2可能是"world"或"dlrow"，但它无法记住这两个值之间的绑定关系（比如arg1为"hello"时arg2一定是"world"）。所以当你把它们重新组合成对象传递时，TypeScript会担心出现不符合原始联合类型的组合（比如arg1: "hello"配arg2: "dlrow"），于是抛出报错。

接下来给你几个不需要冗余类型守卫的解决思路：

1. 直接传递完整对象（最省心的方案） #

如果你不需要单独处理arg1和arg2，完全可以避免解构，直接把整个参数对象传递回去。这样TypeScript能完整保留原始的判别式联合类型信息，不会出现类型丢失：

type DiscriminatedUnion = { arg1: "hello", arg2: "world" } | { arg1: "olleh", arg2: "dlrow" }

function takesEither(obj: DiscriminatedUnion) {
    takesEither(obj) // <-- 这里完全没问题，直接传完整对象
    if (obj.arg1 === "hello") {
        takesEither(obj) // 分支里也正常
    } else {
        takesEither(obj) // 分支里也正常
    }
}

2. 用泛型跟踪原始类型关联 #

如果必须解构（比如需要单独操作arg1或arg2），可以给函数加个泛型约束，让TypeScript跟踪原始的联合分支类型，这样解构后的参数组合起来的类型能被正确识别：

type DiscriminatedUnion = { arg1: "hello", arg2: "world" } | { arg1: "olleh", arg2: "dlrow" }

function takesEither<T extends DiscriminatedUnion>({ arg1, arg2 }: T) {
    takesEither({ arg1, arg2 } as T) // 用泛型T保留原始分支的类型关联
    if (arg1 === "hello") {
        takesEither({ arg1, arg2 }) // 分支里TypeScript会自动窄化T的类型，无需额外处理
    } else {
        takesEither({ arg1, arg2 }) // 同理
    }
}

这里的as T断言其实是利用泛型帮TypeScript记住“这俩参数是来自同一个原始联合分支的”，不会出现类型不匹配的情况。

3. 用辅助类型守卫做安全验证（可选） #

如果你想更严谨，也可以写一个轻量的类型守卫函数，用来验证重构后的对象是否符合原始联合类型。虽然这也算类型守卫，但它不是冗余的——以后如果联合类型扩展了，只要更新这个守卫函数就行：

type DiscriminatedUnion = { arg1: "hello", arg2: "world" } | { arg1: "olleh", arg2: "dlrow" }

// 辅助类型守卫，验证对象是否属于DiscriminatedUnion
function isDiscriminatedUnion(obj: { arg1: string, arg2: string }): obj is DiscriminatedUnion {
    return (obj.arg1 === "hello" && obj.arg2 === "world") || 
           (obj.arg1 === "olleh" && obj.arg2 === "dlrow")
}

function takesEither({ arg1, arg2 }: DiscriminatedUnion) {
    const combined = { arg1, arg2 }
    if (isDiscriminatedUnion(combined)) {
        takesEither(combined) // 经过守卫验证后，类型被正确识别
    }
    // 或者如果你确定逻辑不会出错，也可以直接断言（但要谨慎）
    takesEither(combined as DiscriminatedUnion)
}

补充说明 #

TypeScript目前没办法自动推断解构后独立属性的关联关系，这是因为它的类型系统是基于结构的，解构会打破联合类型内部的属性绑定。所以要么避免解构，要么通过泛型、类型守卫来手动保留这种关联，这并不是TypeScript的“优化不足”，而是类型系统的设计限制。

备注：内容来源于stack exchange，提问作者Robert Steele