TypeScript如何泛型化类型变量绑定？泛型接口赋值报错求助

你遇到的核心问题是：泛型类型别名CurriedSorter<T>不能直接作为const变量的类型注解——它需要一个具体的类型参数才能成为完整的可使用类型。咱们拆解一下问题，给出几种可行的解决方案：

问题根源 #

CurriedSorter<T>是依赖类型参数T的泛型类型别名，当你直接写const sortFactory: CurriedSorter时，TypeScript无法推断出T的具体值，自然会抛出错误。它需要你要么明确指定T，要么把CurriedSorter调整为无需显式传参的泛型函数类型。

解决方案1：将CurriedSorter改为泛型函数类型 #

如果你的sortFactory是一个能处理任意类型T的通用工厂函数，直接把CurriedSorter定义为泛型函数类型即可：

// 调整类型定义：直接定义为泛型函数类型
type CurriedSorter = <T>(
  getter: (obj: T) => any,
  sortKey: string,
  array: T[]
) => T[];

// 现在可以直接赋值，无需额外类型参数
const sortFactory: CurriedSorter = uncurryN(3, /* 你的 curry 实现逻辑 */);

这样定义后，CurriedSorter本身就是支持泛型的函数类型，TypeScript会在调用sortFactory时自动推断T的具体类型。

解决方案2：显式传入具体的类型参数 #

如果sortFactory只针对某一种特定业务类型（比如你有一个User接口），直接给CurriedSorter传入具体类型参数即可：

// 示例业务类型
interface User {
  id: number;
  name: string;
}

// 显式指定T为User
const sortFactory: CurriedSorter<User> = uncurryN(3, /* 针对User的排序逻辑 */);

解决方案3：保留泛型类型别名，让函数自动推断 #

如果你想保留原有的CurriedSorter<T>定义，也可以通过TypeScript内置类型工具让sortFactory自动处理泛型：

type CurriedFunction3<T1, T2, T3, R> = (t1: T1, t2: T2, t3: T3) => R;
type CurriedSorter<T> = CurriedFunction3<(obj: T) => any, string, T[], T[]>;

// 让sortFactory成为泛型函数，自动推断T
const sortFactory = <T>(
  ...args: Parameters<CurriedSorter<T>>
): ReturnType<CurriedSorter<T>> => {
  return uncurryN(3, /* 你的 curry 实现 */)(...args);
};

这里用Parameters和ReturnType两个内置工具，分别提取CurriedSorter<T>的参数列表和返回值类型，让函数保持泛型能力。

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