TypeScript泛型类如何继承泛型参数类型并重写类方法

class Foo<T extends Base> extends T 写法在TypeScript中不生效，核心原因有两点：

• TypeScript的泛型是编译时类型标注，编译为JavaScript后所有泛型信息会被完全擦除，运行时根本不存在T这个值，无法完成原型链继承的运行时逻辑
• 符合T extends Base约束的子类可以有任意不同的构造函数签名，编译器无法为Foo生成统一、合法的构造函数实现。

使用TypeScript官方支持的混合类（Mixin）模式实现需求，核心思路是把要继承的泛型基类从类型参数改成运行时可传入的构造函数参数，在高阶函数内部动态定义继承该基类的子类：

1. 首先定义构造函数类型约束，限定传入的基类必须是派生自Base的可实例化类：

// 你的Base基类，按实际业务逻辑实现即可
class Base {
  baseMethod() {
    console.log('run base method')
  }
}

// 构造函数类型：表示一个可以new、实例类型继承自Base的类
type BaseDerivedCtor<T extends Base = Base> = new (...args: any[]) => T

2. 定义高阶Mixin函数，接收要继承的基类作为参数，内部实现子类的方法重写、新增逻辑，最后返回子类：

function createFooClass<T extends BaseDerivedCtor>(DerivedBaseClass: T) {
  return class Foo extends DerivedBaseClass {
    // 在这里重写目标方法，TS会自动校验重写签名和父类兼容
    override baseMethod() {
      console.log('run overridden method in Foo')
      // 需要调用父类原逻辑时直接用super即可
      super.baseMethod()
    }

    // 也可以新增Foo类独有的属性、方法
    fooOwnMethod() {
      console.log('run method only exists in Foo')
    }
  }
}

// 任意派生自Base的自定义子类
class CustomChild extends Base {
  customProp = 456
  customMethod() {
    console.log('run custom child method')
  }
}

// 生成继承CustomChild的Foo子类
const FooForCustomChild = createFooClass(CustomChild)
const instance = new FooForCustomChild()

// 可以调用重写后的方法
instance.baseMethod()
// 可以访问原CustomChild的属性和方法
console.log(instance.customProp)
instance.customMethod()
// 可以调用Foo新增的方法
instance.fooOwnMethod()

• 重写父类方法时必须保证参数、返回值类型和父类定义兼容，TS会自动做静态校验
• 如果所有派生自Base的子类构造函数参数签名是固定的，可以把BaseDerivedCtor中的...args: any[]替换为明确的参数类型，获得更严格的类型安全
• 该模式编译后会生成标准的JavaScript原型继承逻辑，运行时无额外兼容问题。

内容的提问来源于stack exchange，提问作者Çağrı Aldemir