TypeScript泛型：如何指定D类型同时让TS自动推断T类型？

嘿，这个问题我之前也碰到过，确实有优雅的解决办法，不用被迫手动指定T的类型或者用any凑数！下面给你两种最实用的方案：

方案1：直接给参数param2添加类型注解 #

这是最简单的方式，不需要修改原函数的定义，只需要在调用时给param2加上类型断言即可：

// 原函数定义保持不变
function func<T, D = any>(param1: T, param2: D) {
  // 函数逻辑
}

// 调用时给param2指定Data类型，T会自动推断为string
func('Hello', {field1: 'World', field2: true} as Data);

这样TypeScript会自动推断出T的类型是string，同时强制param2必须符合Data接口的定义——如果你传入的对象缺少字段或者类型不匹配，TypeScript会立刻抛出错误，完全满足你的需求。

方案2：重构为柯里化函数（适合频繁指定D类型的场景） #

如果需要多次调用这个函数且每次都要指定D的类型，把函数改成柯里化形式会让调用更清晰：

// 重构为柯里化函数，先指定D类型，再传入参数
const curriedFunc = <D = any>() => <T>(param1: T, param2: D) => {
  // 原func的逻辑
};

// 调用方式：先指定D为Data，再传入参数，T自动推断为string
curriedFunc<Data>()('Hello', {field1: 'World', field2: true});

这种方式的好处是，当你需要多次用同一个D类型调用时，可以提前固化D的类型：

// 提前固定D为Data，后续调用无需重复指定
const funcWithData = curriedFunc<Data>();
funcWithData('Hi', {field1: 'Test', field2: false}); // T自动推断为string
funcWithData(123, {field1: 'Num', field2: true}); // T自动推断为number

为什么这两种方案可行？ #

• 方案1利用了TypeScript的类型断言，既保留了T的自动推断能力，又强制了param2的类型校验。
• 方案2通过柯里化拆分了泛型参数的指定时机，先固定D类型，再让TypeScript在传入param1时自动推断T的类型。

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