带is返回值的TypeScript类型守卫函数泛型返回类型报错求助

问题原因 #

你的类型守卫isTest仅能判断对象类型，但无法将泛型参数T的取值与返回值的条件类型建立关联。TypeScript无法从isTest的结果推断出name的具体类型是否为'NAME'，因此无法匹配T extends 'NAME' ? Test2 : Test1的条件类型约束，导致类型错误。

解决方案1：使用函数重载（推荐） #

用函数重载明确输入参数类型与返回值类型的对应关系，让TypeScript能准确推断各分支的返回类型：

interface Test1 {
    id: string;
}

interface Test2 extends Test1 {
    code: number;
}

type typeName = 'NAME' | 'FOO';

const isTest = (obj: Test1 | Test2, name: typeName): obj is Test2 => {
    return name === 'NAME';
};

// 重载签名
function foo(name: 'NAME'): Test2;
function foo(name?: 'FOO'): Test1;
// 实现签名
function foo(name?: typeName): Test1 | Test2 {
    const test1: Test1 = {id: 'str'};
    const test2: Test2 = {...test1, code: 12};

    return name === 'NAME' ? test2 : test1;
}

这样改写后，当你调用foo('NAME')时，TS会自动推断返回值为Test2；调用foo('FOO')或不传参数时，返回值为Test1，完全符合你的逻辑需求，且不会有类型错误。

解决方案2：类型断言（快速修复） #

如果坚持使用泛型条件类型，可以通过类型断言告诉TS返回值符合条件类型的约束：

interface Test1 {
    id: string;
}

interface Test2 extends Test1 {
    code: number;
}

type typeName = 'NAME' | 'FOO';

const isTest = (obj: Test1 | Test2, name: typeName): obj is Test2 => {
    return name === 'NAME';
};

const foo = <T extends typeName>(name?: T): T extends 'NAME' ? Test2 : Test1 => {
    const test1: Test1 = {id: 'str'};
    const test2: Test2 = {...test1, code: 12};

    // 使用类型断言匹配条件类型
    return (isTest(test1, name) ? test2 : test1) as T extends 'NAME' ? Test2 : Test1;
};

注意：类型断言需要你自己保证逻辑的正确性，TS不会再做额外的类型检查，因此重载方案更安全可靠。

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