仅覆盖一些通用变量

Question

考虑以下场景：

class Test<A extends myObjectType = myObjectType, B extends myOtherObjectType = myOtherObjectType> {};

const TestValue: Test<myObjectType, myChangedObjectType> = ...

是否有可能只覆盖一些具有默认值的泛型变量？

我想要达到的，是做这样的事情的能力：

class SecondTest extends <_, myChangedObjectType> { ... }

我想让 Typescript 知道，通过省略第一个泛型参数（通过向其提供默认值，例如 _），我指的是原始类的默认值。

Answer 1

正如@T.J.Crowder 所说，没有办法改变或覆盖泛型参数。

但是有一个解决方法。您可以创建从先前类型继承第一个参数的新类型并添加新的泛型类型

type myObjectType = {
  tag: 'myObjectType'
}
type myOtherObjectType = {
  tag: 'myOtherObjectType'
}

class Test<A extends myObjectType = myObjectType, B extends myOtherObjectType = myOtherObjectType> { };


type Change<
  Class extends Test<any, any>,
  NewType extends myOtherObjectType> =
  (Class extends Test<infer Type, infer _>
    ? (Type extends myObjectType
      ? Test<Type, NewType>
      : never)
    : never)

type Changed = Change<Test<myObjectType, myOtherObjectType>, myOtherObjectType & { greet: 'hello' }>;

declare var changed: Changed;

Playground

您只能推断第一个泛型类型，并使用第一个泛型类型和新的第二个泛型类型构造新类型。

Answer 2

如果您未指定先前的类型参数，则不能指定 later 类型参数。这是2.3 docs on type parameter defaults 的链接，但我认为它没有改变（v.4.4.4 游乐场不允许我这样做）。

因此，您可以在示例中省略第二个类型参数 (Test<something>)，或两者都省略 (Test)，但您不能在指定第二个参数时只省略第一个参数 (Test</*nothing here*/, something> )。