TypeScript泛型实现灵活返回值类型时遭遇ts(2322)错误求助

你的问题核心是TypeScript无法在条件分支中关联泛型参数T的具体类型，导致返回值类型不匹配。以下是几种可行的解决方法：

方法一：使用函数重载 #

函数重载能明确指定不同输入参数对应的返回类型，让TypeScript准确推断：

type Fruit = 'banana' | 'apple';
type FruitResult<T extends Fruit> = T extends 'apple' ? { a: string } : { b: string };

// 重载签名
function getResult({ fruit, ID }: { ID: string; fruit: 'apple' }): { a: string };
function getResult({ fruit, ID }: { ID: string; fruit: 'banana' }): { b: string };

// 实现签名
function getResult({ fruit, ID }: { ID: string; fruit: Fruit }) {
    if (fruit === 'apple') return { a: appleWork({ ID }) };
    return { b: bananaWork({ ID }) };
}

const fruit: Fruit = 'apple';
const result = getResult({ ID: '', fruit }); // 类型为 {a: string} | {b: string}
const resultWithoutType = getResult({ ID: '', fruit: 'apple' }); // 类型为 {a: string}

方法二：在分支中使用类型断言 #

如果不想用重载，可以在每个返回分支添加类型断言，明确告诉TypeScript当前返回值符合泛型对应的结果类型：

type Fruit = 'banana' | 'apple';
type FruitResult<T extends Fruit> = T extends 'apple' ? { a: string } : { b: string };

function getResult<T extends Fruit>({ fruit, ID }: { ID: string; fruit: T }): FruitResult<T> {
    if (fruit === 'apple') {
        return { a: appleWork({ ID }) } as FruitResult<T>;
    }
    return { b: bananaWork({ ID }) } as FruitResult<T>;
}

const fruit: Fruit = 'apple';
const result = getResult<typeof fruit>({ ID: '', fruit }); // 类型为 {a: string} | {b: string}
const resultWithoutType = getResult({ ID: '', fruit: 'apple' }); // 类型为 {a: string}

方法三：利用字面量类型推断（简化写法） #

如果调用时传入的是字面量类型（而非宽泛的Fruit类型），TypeScript能自动推断返回类型，此时可以简化泛型定义：

type Fruit = 'banana' | 'apple';

function getResult<T extends Fruit>({ fruit, ID }: { ID: string; fruit: T }) {
    if (fruit === 'apple') return { a: appleWork({ ID }) };
    return { b: bananaWork({ ID }) };
}

// 传入字面量时自动推断返回类型
const appleResult = getResult({ ID: '', fruit: 'apple' }); // 类型为 {a: string}
const bananaResult = getResult({ ID: '', fruit: 'banana' }); // 类型为 {b: string}

// 传入宽泛的Fruit类型时，返回联合类型
const fruit: Fruit = 'apple';
const result = getResult({ ID: '', fruit }); // 类型为 {a: string} | {b: string}

补充说明 #

当你传入的是宽泛的Fruit类型变量（比如示例中的fruit），TypeScript无法确定其具体值，所以返回类型会是联合类型{a: string} | {b: string}。如果需要更精确的类型，建议在调用时直接传入字面量，或者使用类型窄化来明确变量的具体类型。

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