如何为bind生成的TypeScript泛型函数添加显式类型声明？

首先咱们来拆解下你遇到的报错原因：当用bind固定foo的第一个参数后，TypeScript会把返回的函数类型推断为(arg2: string) => Promise<Record<string, unknown>>——这是因为bind会丢失原函数的泛型参数信息，直接将返回类型锁定为原函数约束的基础类型。而你定义的B是一个泛型函数类型，它要求对任意符合Record<string, unknown>约束的T，都能返回Promise<T>，这就导致了类型不兼容：Record<string, unknown>是T的约束，但T可以是更具体的子类型，bind后的函数无法保证能返回任意T。

下面给你几个可行的解决方案：

方案1：用高阶函数替代bind，完整保留泛型特性 #

不要直接用bind，而是写一个高阶函数来生成偏函数，这样能完美继承原函数的泛型能力：

function foo<T extends Record<string, unknown>>(arg1: string, arg2: string): Promise<T> {
  return Promise.resolve({ arg1, arg2 } as any as T);
}

// 定义生成偏函数的高阶函数
function createFoo(arg1: string) {
  return <T extends Record<string, unknown>>(arg2: string): Promise<T> => {
    return foo<T>(arg1, arg2);
  };
}

// 生成foo1、foo2，自动保留泛型
const foo1 = createFoo('a');
const foo2 = createFoo('b');

// 使用示例，类型正常推导
const result = await foo1<{ arg1: string; arg2: string }>('test');

方案2：添加类型断言（快速解决但需谨慎） #

如果你坚持要用bind，可以用类型断言告诉TypeScript忽略当前的自动推断，强制匹配泛型函数类型：

type B = <T extends Record<string, unknown>>(arg2: string) => Promise<T>;
const foo1: B = foo.bind(null, 'a') as B;

这种方法简单直接，但要注意：因为手动绕过了TypeScript的类型检查，你需要确保实际运行时foo的返回值确实能符合T的约束，避免潜在的类型不匹配风险。

方案3：手动指定bind时的泛型参数（仅适用于T固定的场景） #

如果你的foo1只会返回特定类型的T，可以直接在bind时明确指定泛型：

// 假设foo1固定返回{ arg1: string; arg2: string }类型
type SpecificT = { arg1: string; arg2: string };
const foo1 = foo<SpecificT>.bind(null, 'a');

// 使用时无需再指定泛型
const result = await foo1('test'); // result类型为SpecificT

总结来说，方案1是最安全、最贴合TypeScript类型系统的做法，能完整保留原函数的泛型灵活性；方案2适合快速临时解决问题；方案3则适用于你明确知道偏函数返回固定类型的场景。

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