Arg 用 Typescript 中的默认泛型类型替换 seltf

Question

我有一个带有 3 个模板输入的泛型类型：

function run<TA = 1, TB = 2, TC = 3>() {
  // code omitted
}

实际上，类型定义要大得多：

function run<
  TA = 1, 
  TB = Really<ComplexType, TA, DontWantToTypeThisOverAndOver>, 
  TC = AlsoComplexType<...>
>() {
  // code omitted
}

---

问题：在某些情况下，我想修改第三个参数而不是第二个。 那可能吗？ （例如：）

// what I want to do
run<_, _, MySpecialType>();


// what I'm currently stuck doing
run<
  MyBaseType, 
  Really<ComplexType, MyBaseType, DontWantToTypeThisOverAndOver>, 
  MySpecialType
>();

Answer 1

找到了一个丑陋的解决方案：创建额外的实现，将 map 转换为相同的 function 但具有不同的 generics 可访问：

function run<
  TA = 1, 
  TB = Really<ComplexType, TA, DontWantToTypeThisOverAndOver>, 
  TC = AlsoComplexType<...>
>() {
  // code omitted
}


// switch second and third argument
function runArgsInverted<
  TA = 1, 
  TC = AlsoComplexType<...>, 
  TB = Really<ComplexType, TA, DontWantToTypeThisOverAndOver>
>() {
  return run<TA, TB, TC>();
}

runArgsInverted<1, MySpecialType>();

这与默认的泛型类型并不相同，但它是一种做我想做的事情的方法。 它显然很快就崩溃了。