如何在TypeScript中对已知基类的任意子类使用extends？

问题背景 #

我们可以通过自定义方法扩展已知类型class A，扩展后的实例能被类型系统正确识别字段a和e：

class A {
  a = "a";
}

function extend(originalType: typeof A){
  return class extends originalType {
    e = "e"
  }
}

const ExtA = extend(A);
const extA = new ExtA();
console.log(extA.a, extA.e); // 字段a和e均可正常访问

但当用同一函数扩展A的子类class B时，子类特有的字段b无法被类型系统识别：

// 接上面的代码
class B extends A {
  b = "b";
}

const ExtB = extend(B);
const extB = new ExtB();
console.log(extA.a, extB.b, extB.e); // 报错：类型'(Anonymous class)'上不存在属性'b'

尝试了两种泛型实现方式，均出现编译错误：

方案一：extend2 #

// 错误提示：A mixin class must have a constructor with a single rest parameter of type 'any[]'.
function extend2<T extends typeof A>(subclassType: T) {
    return class extends subclassType {
    e = "e"
  }
}

方案二：extend3 #

// 错误提示：Class '(Anonymous class)' incorrectly extends base class 'T'.
// '(Anonymous class)' is assignable to the constraint of type 'T', but 'T' could be instantiated with a different subtype of constraint 'A'
function extend3<T extends A>(subclassType: new (...args: any[]) => T) {
      return class extends subclassType {
    e = "e"
  }
}

请问在TypeScript v5.3.3版本中，是否存在能支持扩展A任意子类的可行方案？

可行解决方案 #

要解决这个问题，需正确定义泛型约束，让TypeScript能准确推导扩展后的类类型，核心是捕获原始类的构造函数类型并合并扩展字段。

正确实现代码 #

class A {
  a = "a";
}

// 定义泛型函数，兼容A及其子类的构造函数
function extend<T extends new (...args: any[]) => A>(base: T) {
  return class extends base {
    e = "e";
  } as typeof base & (new (...args: ConstructorParameters<T>) => { e: string });
}

// 测试基类扩展
const ExtA = extend(A);
const extA = new ExtA();
console.log(extA.a, extA.e); // 类型正常识别

// 测试子类扩展
class B extends A {
  b = "b";
}

const ExtB = extend(B);
const extB = new ExtB();
console.log(extB.a, extB.b, extB.e); // 所有字段均被类型系统正确识别

方案说明 #

1. 泛型约束：T extends new (...args: any[]) => A 确保传入的是A或其子类的构造函数。
2. 返回类型断言：通过as typeof base & (new (...args: ConstructorParameters<T>) => { e: string })，将匿名类类型与原始构造函数类型交叉，同时保留扩展的e字段类型，让TypeScript正确合并原始类的所有属性和扩展属性。
3. 构造函数兼容：ConstructorParameters<T>保证扩展后的类能继承原始类的构造函数参数，避免实例化时的参数不匹配问题。

另一种更简洁的规范写法（符合TypeScript mixin模式要求）：

// 定义通用构造函数类型
type Constructor<T = {}> = new (...args: any[]) => T;

function extend<T extends Constructor<A>>(base: T) {
  return class extends base {
    e = "e";
  };
}

这种写法在TypeScript 5.3.3中同样有效，Constructor类型约束了构造函数的参数格式，规避了之前的mixin构造函数错误。

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