是否可以为多类型参数类/功能的多个参数创建类型别名？

如何解决是否可以为多类型参数类/功能的多个参数创建类型别名？

在许多情况下（尤其是Vue），泛型函数需要3、4或什至5个类型参数。我想知道是否有一种方法可以为该参数列表创建类型别名，因此我不必每次都写完它们。我在想像这样的东西：

// Generic function with multiple type parameters
function verboseGenericFunc<T,U,V extends T>(thing: T): V {
  // Do stuff with T,V
  return thing as V;
};

// Alias for the tuple of types implementing the required parameter interfaces
type VerboseTypeParams = [ConcreteT,ConcreteU,ConcreteV];

// Spread the alias to satisfy all the type parameters
const v = verboseGenericFunc<...VerboseTypeParams>(thing);

解决方法

您可以创建一个类型对象，该对象是传递给模板化函数的类型参数的别名。创建类型别名时，如果传入错误的geenric类型，则评估为undefined

 type VerboseTypeParams<T,U,V> = V extends T? {"T":T,"U":U,"V":V}: undefined

 type concrete = VerboseTypeParams<string,number,string>; //evaluates to type we want

然后，您可以在包装函数中从类型别名对象中提取类型。

// Generic function wrapper
function verboseGenericFunc(thing: concrete["T"] ):concrete["V"] {
  return verboseGenericFuncVue<concrete["T"],concrete["U"],concrete["V"]>(thing);
};

包装函数调用您想要在其下的实际函数，并且在调用时不需要接收任何类型参数。如果创建了不兼容的包装器，或者将错误的类型传递给正确的包装器函数，那么打字稿就会报错。

// Generic function with multiple type parameters,from Vue for example
function verboseGenericFuncVue<T,V extends T>(thing: T): V {
  // Do stuff with T,V
  return thing as V;
};

type concreteBad = VerboseTypeParams<string,number>; //evaluates to undefined

// Bad Generic function wrapper,Typescript complains on the key lookups since concrete bad is undefined
function verboseGenericFuncBad(thing: concreteBad["T"] ):concreteBad["V"] {
  return verboseGenericFuncVue<concreteBad["T"],concreteBad["U"],concreteBad["V"]>(thing);
};

const v1 = verboseGenericFunc("1"); //correct call to wrapped function,no types passed
const v2 = verboseGenericFunc(1); //typescript complains since you're not passing in a string as expected by concrete

Playground Link

,

与MacD的答案相同，但执行方式略有不同：只需将辅助程序类型用作函数的类型参数即可。

type TypeInfo<T = any,U = any,V extends T = any> = { T: T,U: U,V: V };

// Generic function with multiple type parameters
function verboseGenericFunc<TI extends TypeInfo>(thing: TI['T']): TI['V'] {
  // Do stuff with T,V
  return thing as TI['V'];
};

// Alias for the tuple of types implementing the required parameter interfaces
type VerboseTypeParams = TypeInfo<number,string,5>;

// Spread the alias to satisfy all the type parameters
const v: 5 = verboseGenericFunc<VerboseTypeParams>(12020);

// One-off type.
const w: 'hi' = verboseGenericFunc<TypeInfo<string,null,'hi'>>('hello');

Playground Link