如何解决TypeScript泛型工厂函数返回类型合并的类型错误？

你遇到的问题根源在于：TypeScript无法在条件分支中精准关联泛型参数K和返回类型Pairs[K]，会默认把所有可能的返回类型合并为交叉类型，导致类型不兼容报错。下面提供两种可行的解决方法：

方法一：使用类型断言 #

在每个分支的返回语句中，通过as Pairs[K]明确告诉TypeScript当前返回值的类型就是对应K的Pairs[K]，避免类型合并：

const createPerson = (age: number, name: string) => {};
const createCar = (model: string) => {};

enum Argument {
    Person = 'person',
    Car = 'car'
}

type Pairs = {
    [Argument.Person]: typeof createPerson;
    [Argument.Car]: typeof createCar;
}

const factory = <K extends keyof Pairs>(type: K): Pairs[K] => {
    if (type === Argument.Person) return createPerson as Pairs[K];
    if (type === Argument.Car) return createCar as Pairs[K];
    // 兜底抛出错误，避免TS检测到未覆盖所有分支的问题
    throw new Error('Invalid factory type');
};

方法二：使用函数重载（推荐） #

通过定义函数重载签名，明确指定每个输入类型对应的返回类型，让TypeScript能精准推断，无需断言，类型安全性更高：

const createPerson = (age: number, name: string) => {};
const createCar = (model: string) => {};

enum Argument {
    Person = 'person',
    Car = 'car'
}

// 定义重载签名：明确每个输入对应的输出类型
function factory(type: Argument.Person): typeof createPerson;
function factory(type: Argument.Car): typeof createCar;

// 实现函数逻辑
function factory(type: Argument) {
    if (type === Argument.Person) return createPerson;
    if (type === Argument.Car) return createCar;
    throw new Error('Invalid factory type');
}

两种方法对比：类型断言简单快捷，但需要你自己保证分支逻辑的正确性；函数重载更贴合TypeScript的类型系统设计，能提供更严格的类型检查，推荐优先使用。

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