Typescript TypeScrip省略了类型参数，仅当传递另一个前面的类型参数时才采用默认类型

调用/构造generic函数/类有两种方法.您可以使用<⋯>语法显式指定类型参数，如foo<X>(x)、new Foo<X>(x)或bar<X, Y>(z)；也可以省略类型参数，如foo(x)、new Foo(x)或bar(z)，而不使用<⋯>.

如果显式指定任何类型参数，则将使用这些参数.如果某些类型参数有default type arguments，而您省略了类型参数，则将使用缺省值.

另一方面，如果不指定任何类型参数，则所有类型参数将为inferred.在这种情况下将使用缺省值not(除非推断完全失败).

您可能希望能够"混合和匹配"此功能，指定一些类型参数，同时推断其他一些参数，或者获得缺省值而不是推断，但这目前是不可能的.在microsoft/TypeScript#26242岁的时候，有一个长期开放的GitHub要求这样的能力，但现在它不是语言的一部分.

考虑到这一点，我们可以解释你所看到的行为.首先:

class Foo<Options extends number[] = (1 | 2 | 3)[] > {
  constructor(
    public options: Options,
    public option: Options[number]
  ) {}
}

new Foo([4, 5], 1);

您尚未为Options指定generic类型参数. 没有< - >. 所以你得到了推论. Options是从options的自变量[4, 5]推断出来的，它被推断为number[]. (这个问题超出了范围，无法解释为什么它是number[]，而不是(4 | 5)[]或[4, 5]或其他任何东西.

下一步:

 class Foo<Unused, Options extends number[] = (1 | 2 | 3)[] > {
  constructor(
    public options: Options,
    public option: Options[number]
  ) {}
}

new Foo<any>([4, 5], 1);

您已为Unused类型参数指定了any，因此不会发生任何推断.Options类型参数采用其默认类型(1 | 2 | 3)[]，因此您会得到一个错误，因为[4, 5]不能赋给(1 | 2 | 3)[].

这些行为是否算作"期望的行为"取决于用例，但根据一些 comments ，这似乎不是真正需要的，而推理与缺省的问题掩盖了这一点.

Playground link to code个