TypeScript多泛型场景下部分泛型自动推导问题求助

针对你遇到的“多泛型函数需手动指定一个、另一个由参数自动推导，但TS要求必须传入全部泛型”的问题，有两种常用的解决方法：

方法1：利用泛型默认参数 #

给需要自动推导的泛型设置一个兜底默认类型（比如unknown），TS会允许你只手动指定部分泛型，未指定的泛型优先通过函数参数推导类型，默认参数仅作为无推导依据时的 fallback。

示例代码：

// 给U设置默认类型，手动指定T时，U由arg2自动推导
function combine<T, U = unknown>(first: T, second: U): { first: T, second: U } {
  return { first, second };
}

// 使用：手动指定T为string，U由参数123自动推导为number
const combined = combine<string>("foo", 123);
// combined类型：{ first: string; second: number }

方法2：柯里化拆分函数 #

将原函数拆分为两次调用：第一次调用时手动指定目标泛型，第二次调用时传入参数，让TS自动推导剩余泛型。这种方式逻辑更清晰，尤其适合复杂泛型或需要复用指定泛型后函数的场景。

示例代码：

// 拆分为两层函数，第一层指定T，第二层推导U
function createCombiner<T>() {
  return function<U>(first: T, second: U): { first: T, second: U } {
    return { first, second };
  };
}

// 使用：先指定T为string，再传入参数推导U
const stringCombiner = createCombiner<string>();
const combined = stringCombiner("foo", 123);
// 或直接链式调用：createCombiner<string>()("foo", 123)
// combined类型：{ first: string; second: number }

两种方法对比 #

• 泛型默认参数：写法更简洁，适合简单场景；需确保默认类型足够宽泛（如unknown），避免和实际推导类型冲突。
• 柯里化拆分：逻辑更明确，避免默认参数带来的潜在类型歧义，适合复杂泛型场景。

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