TypeScript带默认值的省略类型参数为何仅在传入前置参数时生效？

核心原因：TypeScript泛型参数的推断规则差异 #

第一个示例未报错的原因 #

当完全不指定泛型参数时，TypeScript会自动推断所有未指定的泛型参数类型：

• 从构造函数第一个参数[4, 5]，编译器会推断Options的类型为(4 | 5)[]（非严格模式下会推断为number[]），该类型满足extends number[]的约束；
• 第二个参数1属于number类型，与Options[number]（即4 | 5或number）类型兼容，因此编译器不会报错。
  此时编译器并未使用Options的默认类型(1 | 2 | 3)[]，而是优先采用了上下文推断出的类型。

第二个示例触发报错的原因 #

当显式指定部分泛型参数（此处指定Unused为any）时，TypeScript的推断逻辑会发生切换：

• 对于未指定的泛型参数（此处为Options），编译器会直接使用其默认类型，不再尝试从构造函数参数中推断；
• 此时Options被设为(1 | 2 | 3)[]，而[4, 5]中的元素4、5不属于1 | 2 | 3，因此编译器会正确提示类型不匹配的错误。

期望与实际不符的根源 #

你期望编译器优先使用默认类型，但TypeScript的设计逻辑是：只有当无法推断泛型参数，或显式指定了部分参数时，才会启用默认类型。完全不指定泛型参数时，编译器会优先尝试从上下文推断类型，而非直接使用默认值。

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