TypeScript中为何实例化Base类时可省略泛型参数？

示例代码 #

class Base<T extends number> {

}

const ins = new Base; // 正常运行，T被推断为number
class Child extends Base { // 类型错误：基类需要泛型参数

}

问题 #

上述TypeScript代码中，Base类定义了约束为number的泛型参数T，实例化时省略泛型参数可正常运行（此时T被推断为number），但继承Base类时省略泛型参数会触发类型错误。请问为何实例化Base类时可以不传入泛型参数？

解答 #

这是因为TypeScript在处理泛型类的实例化和继承时，采用了不同的泛型参数解析逻辑：

• 实例化场景：创建泛型类实例时，TypeScript会自动尝试推断泛型参数类型。如果没有明确传入参数，且泛型参数有约束（比如这里的T extends number），编译器会直接使用约束的上限类型（也就是number）作为泛型参数的默认值，因此实例化可以正常通过。

• 继承场景：继承泛型类时，子类需要基于确定的基类类型构建自身的类型结构。此时TypeScript不会自动用约束上限作为默认值，必须显式指定泛型参数，或者通过子类上下文推断。如果两者都没有，就会触发类型错误。

如果想让继承时也能省略泛型参数，可以给Base类的泛型参数设置显式默认值：

class Base<T extends number = number> {

}

class Child extends Base { // 现在正常运行，T使用默认值number
}

总结来说，实例化时的泛型推断允许 fallback 到约束上限，而继承时要求明确的类型指定（除非有显式默认值），这是两者行为差异的核心原因。

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