TypeScript泛型函数的偏应用类型异常问题求助

嘿，这个问题其实挺典型的——TypeScript对泛型函数的类型处理在高阶函数场景下确实容易踩坑，我来给你拆解一下原因和解决办法。

首先，先还原一下你的场景代码，方便大家理解问题：

问题重现 #

假设你的partial函数大概是这样实现的：

function partial<T extends object, R>(
  fn: (args: T) => R,
  fixedArgs: Partial<T>
): (remainingArgs: Omit<T, keyof typeof fixedArgs>) => R {
  return (remainingArgs) => fn({ ...fixedArgs, ...remainingArgs } as T);
}

// 非泛型函数，正常工作
function addThreeNumbers(args: { a: number; b: number; c: number }) {
  return args.a + args.b + args.c;
}
const addWithAAndB = partial(addThreeNumbers, { a: 1, b: 2 });
// 类型正确：(remainingArgs: { c: number }) => number

// 泛型函数，类型推断异常
function concatenate<T>(args: { a: T[]; b: T[] }) {
  return [...args.a, ...args.b];
}
const concatWithA = partial(concatenate, { a: [1, 2] });
// 这里TypeScript错误推断返回：() => T[]，而非预期的(remainingArgs: { b: number[] }) => number[]

问题核心原因 #

当你把泛型函数作为参数传给partial时，TypeScript会立刻尝试实例化泛型参数，而非保留其泛型特性：

• 对于普通函数，TypeScript可以直接从函数参数类型和fixedArgs推导出剩余参数的结构，所以类型推断正常。
• 但对于泛型函数，TypeScript无法从fixedArgs反向推导泛型参数T的具体类型，会默认将T推断为unknown，导致Omit<T, keyof typeof fixedArgs>最终被解析为{}（无参结构），自然返回的函数就被推断成无参了。

解决方案：让partial保留泛型参数 #

我们需要调整partial的类型定义，让它能适配泛型函数的特性，延迟泛型参数的实例化。这里提供两种可行的实现方式：

方案一：用条件类型+infer自动推导

function partial<Fn extends (args: any) => any>(
  fn: Fn,
  fixedArgs: Partial<Parameters<Fn>[0]>
): Fn extends (args: infer Args) => infer R 
  ? (remainingArgs: Omit<Args, keyof typeof fixedArgs>) => R 
  : never {
  return (remainingArgs: any) => fn({ ...fixedArgs, ...remainingArgs } as Parameters<Fn>[0]);
}

// 测试泛型函数，类型推断正常
const concatWithA = partial(concatenate, { a: [1, 2] });
// 正确推断：(remainingArgs: { b: number[] }) => number[]

// 非泛型函数依然正常工作
const addWithAAndB = partial(addThreeNumbers, { a: 1, b: 2 });
// (remainingArgs: { c: number }) => number

这种方案通过infer延迟解析原函数的参数和返回值类型，直到传入具体的fixedArgs后，再反向推导剩余参数的结构，完美保留了泛型函数的类型特性。

方案二：绑定原函数的泛型参数结构

function partial<Args extends object, R, Fn extends (args: Args) => R>(
  fn: Fn,
  fixedArgs: Partial<Args>
): (remainingArgs: Omit<Args, keyof typeof fixedArgs>) => R {
  return (remainingArgs) => fn({ ...fixedArgs, ...remainingArgs } as Args);
}

// 泛型函数使用时，TS会自动根据fixedArgs推导类型
const concatWithA = partial(concatenate, { a: [1, 2] });
// 正确推断：(remainingArgs: { b: number[] }) => number[]

这种方案明确让partial的泛型参数绑定到原函数的参数类型上，当传入泛型函数时，TypeScript会根据fixedArgs的具体值来推导Args的结构，从而生成正确的剩余参数类型。

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