TypeScript条件类型的类型谓词使用报错问题求助

你写的泛型类型谓词函数报错的核心原因是类型谓词和泛型参数T之间没有建立正确的关联。

Test<T>是依赖于T的条件类型：当T为"a"时对应number，T为"b"时对应string。而你当前的谓词value is number没有绑定到T的取值——对于T="b"的情况，Test<T>是string，此时函数参数value的类型是string，但谓词却声称它可能是number，这就和参数的类型约束产生了矛盾，TypeScript编译器会直接拒绝这种不合理的定义。

方案1：让类型谓词关联到泛型的具体分支 #

修改类型谓词，明确断言当前value对应的是Test<"a">（也就是number），同时让TypeScript推断出此时T的类型为"a"：

type Test<T extends "a"|"b"> = T extends "a" ? number : string;

// 修改类型谓词，关联到Test<"a">分支
function ValueIsNumber<T extends "a"|"b">(value: Test<T>): value is Test<"a"> {
    return typeof value === "number";
}

function myFunc<T extends "a"|"b">(value: Test<T>): number {
    if (ValueIsNumber(value)) {
        // 此时TypeScript可推断value为number，T为"a"
        return value + 1;
    }
    // 此时value为string，T为"b"
    return 0;
}

这样修改后，编译器能正确识别：当ValueIsNumber返回true时，value的类型被缩小为Test<"a">（即number），同时泛型T也被约束为"a"，彻底解决类型矛盾。

方案2：直接处理联合类型（简化版） #

由于Test<"a"|"b">本质等价于number | string，如果不需要保留泛型T的上下文，也可以去掉泛型，直接针对联合类型编写谓词：

type Test<T extends "a"|"b"> = T extends "a" ? number : string;

// 直接针对number|string编写类型谓词
function ValueIsNumber(value: number | string): value is number {
    return typeof value === "number";
}

function myFunc<T extends "a"|"b">(value: Test<T>): number {
    if (ValueIsNumber(value)) {
        return value + 1;
    }
    return 0;
}

这种写法更简洁，因为Test<T>作为参数传入时会自动被解析为number | string联合类型，谓词可以直接生效。

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