TypeScript泛型能否仅指定部分可选类型？有无简写方式？

问题场景 #

我有一个带默认泛型类型的类：

class GenericClass<A extends Type1 = Type1, B extends Type2 = Type2, C extends Type3 = Type3> {}

想定义子类时只指定B的类型，写成class Subclass extends GenericClass<TypeB>，以此替代冗长的GenericClass<Type1, TypeB, Type3>，但TypeScript会把TypeB推断为A的类型，导致类型不匹配报错。而省略最后一个泛型参数（比如只写GenericClass<TypeA, TypeB>）是可以的，TypeScript会自动使用C的默认值。这种需求在React泛型组件里很常见——比如只想指定state类型，不想指定props类型。

核心疑问 #

是不是指定可选泛型时必须提供所有前置的可选类型？有没有办法实现只指定部分非末尾的泛型参数？

试过的无效方案 #

• 像函数可选参数那样传undefined或void代替前置泛型：GenericClass<undefined, TypeB>，无效，类型不匹配
• 尝试命名参数语法：GenericClass<B = TypeB>，TypeScript不支持这种写法
• 尝试同名下的泛型重载：type GenericClass<B extends Type2> = GenericClass<Type1, B, Type3>，会导致命名冲突，必须改用不同名称（比如GenericClassB）才行

可行的替代方案 #

方案1：泛型参数对象化 #

把多个泛型参数封装成一个接口，类接收这个接口作为单一泛型参数，通过接口的部分属性来指定需要修改的泛型：

// 定义泛型参数的配置接口，每个字段对应原泛型参数
interface GenericConfig {
  A?: Type1;
  B?: Type2;
  C?: Type3;
}

// 类的泛型改为接收这个配置接口，同时设置默认值为全默认类型
class GenericClass<T extends GenericConfig = { A: Type1, B: Type2, C: Type3 }> {
  // 内部通过条件类型获取实际类型（如果配置里没指定则用默认值）
  type AType = T['A'] extends Type1 ? T['A'] : Type1;
  type BType = T['B'] extends Type2 ? T['B'] : Type2;
  type CType = T['C'] extends Type3 ? T['C'] : Type3;
}

// 子类只指定B参数，其他用默认值
class Subclass extends GenericClass<{ B: TypeB }> {}

这种方式类似函数参数用对象代替 positional 参数，能灵活指定任意部分的泛型参数。

方案2：封装特定场景的类型别名 #

针对常用的部分参数场景，创建专门的类型别名，避免重复写默认参数：

// 封装只修改B参数的类型别名
type GenericClassWithB<B extends Type2> = GenericClass<Type1, B, Type3>;

// 子类直接使用这个别名
class Subclass extends GenericClassWithB<TypeB> {}

虽然需要为不同场景创建不同名称的别名，但能大幅简化子类的定义，适合有固定常用场景的情况。

总结 #

目前TypeScript原生不支持跳过前置可选泛型参数直接指定后续参数——泛型参数必须按顺序传递，只能省略末尾的参数（自动使用默认值）。要实现只指定部分非末尾参数，只能通过上述两种替代方案来实现。

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