TypeScript泛型类型推断未正确推导同泛型参数类型的问题

这是个很常见的TypeScript泛型窄化痛点，我来帮你拆解下问题原因和可行的解决办法～

为什么会出现这个情况？ #

TypeScript的控制流分析目前没办法自动关联同一个泛型参数下的多个变量。当你检查x.type === UnionType.a时，编译器只会把x的类型窄化为A，但y仍然保持T的约束——虽然我们知道x和y都是同一个T实例，类型必然一致，但编译器需要更明确的指令才能做出这个关联推断。

解决办法 #

1. 自定义类型守卫（最推荐）

写一个专门的类型守卫函数，同时对x和y的类型进行关联窄化：

enum UnionType {
    a, b
}
type A = {
    type: UnionType.a
};
type B = {
    type: UnionType.b
};
type AB = A | B;

// 自定义类型守卫，告诉编译器：如果x是A，那么y也必然是A（因为x和y都是T）
function isTypeA<T extends AB>(x: T, y: T): x is T & A {
    return x.type === UnionType.a;
}

function f<T extends AB>(x: T, y: T) {
    if(isTypeA(x, y)) {
        // 这里x和y都会被正确推断为A类型
        console.log(x.type); // 类型是UnionType.a
        console.log(y.type); // 类型也是UnionType.a
    }
}

2. 手动类型断言（简单直接但不够严谨）

如果你能确保x和y类型一致，可以直接对y做类型断言：

function f<T extends AB>(x: T, y: T) {
    if(x.type == UnionType.a) {
        const yA = y as A;
        // 现在yA的类型是A
    }
}

⚠️ 注意：这种方式跳过了编译器的类型检查，如果后续代码逻辑破坏了x和y的类型一致性，容易引入bug。

3. 打包成结构（备选方案，你提到不想用但可以参考）

把x和y放进元组或对象里，利用TypeScript对同类型结构元素的窄化能力：

function f<T extends AB>(x: T, y: T) {
    const pair = [x, y] as const;
    if(pair[0].type === UnionType.a) {
        // pair[1]会被自动推断为A类型
    }
}

总结 #

目前TypeScript的控制流分析还不支持自动关联同一泛型参数下多个变量的类型，但通过自定义类型守卫可以优雅地解决这个问题，既保留类型安全，又能让编译器做出正确的推断。

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