能否为多类型参数的泛型类/函数创建类型别名？

好问题！在TypeScript里，你预想的直接用...VerboseTypeParams展开类型元组作为泛型参数的写法目前还不支持，但我们有几种实用的替代方案，能帮你实现复用泛型参数组的需求，避免重复书写冗长的参数列表。

核心结论 #

直接展开类型元组作为泛型参数的语法，当前TypeScript并未支持。不过下面这些方案可以完美解决你的痛点：

方案1：用高阶包装函数绑定类型参数 #

这是最灵活的方案，尤其适合在不同场景需要复用不同参数组的情况。我们可以写一个简单的包装函数，预先把目标泛型参数绑定好，之后直接调用包装后的函数即可：

// 原带多泛型参数的函数
function verboseGenericFunc<T, U, V extends T>(thing: T): V {
  return thing as V;
};

// 定义你需要复用的具体类型
type ConcreteT = string;
type ConcreteU = number;
type ConcreteV = "hello" | "world";

// 创建包装函数，预先绑定泛型参数
const shorthandCall = () => verboseGenericFunc<ConcreteT, ConcreteU, ConcreteV>;

// 使用时直接调用，无需重复写泛型参数
const thing = "hello";
const result = shorthandCall()(thing); // 类型自动推导为 "hello" | "world"

如果希望更简洁，也可以直接把绑定后的函数赋值给变量：

const shorthandFunc = verboseGenericFunc<ConcreteT, ConcreteU, ConcreteV>;
const result = shorthandFunc(thing);

方案2：用类型别名定义绑定后的函数类型 #

如果需要明确复用函数的类型签名，可以先定义好绑定了泛型参数的函数类型别名，再把原函数赋值给符合该类型的变量：

// 定义绑定好类型参数的函数类型别名
type ShorthandFunc = typeof verboseGenericFunc<ConcreteT, ConcreteU, ConcreteV>;

// 赋值原函数到变量（类型会自动匹配）
const shorthandFunc: ShorthandFunc = verboseGenericFunc;

// 调用方式和原函数一致
const result = shorthandFunc(thing);

方案3：给泛型参数设置默认值（TypeScript 4.7+） #

如果你的泛型参数在大部分场景下都是固定的，可以直接给原函数的泛型参数设置默认值，这样调用时如果使用默认参数，就完全不用写泛型列表了：

// 给泛型参数添加默认值
function verboseGenericFunc<
  T = ConcreteT,
  U = ConcreteU,
  V extends T = ConcreteV
>(thing: T): V {
  return thing as V;
};

// 直接调用，自动使用默认的泛型参数
const result = verboseGenericFunc(thing);

// 如果需要临时替换某个参数，也可以只指定需要修改的部分
const customResult = verboseGenericFunc<string, boolean, "test">(thing);

为什么预想的展开语法不行？ #

TypeScript目前只在数组/元组类型、函数参数的场景支持...展开语法，泛型参数列表并不支持这种展开类型元组的写法。相关的特性提案还在社区讨论中，但短期内不会正式落地。

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