遇TS2612错误：如何重写非抽象基类属性？

问题背景 #

在目标为ES2022的TypeScript项目中使用旧非公开库时，遇到TS2612错误：

TS2612: Property goods will overwrite the base property in RecBase. If this is intentional, add an initializer. Otherwise, add a declare modifier or remove the redundant declaration.

需求限制：

• 基类RecBase和ListBase必须能实例化，不能改为抽象类
• 不能使用declare修饰符（会阻止生成子类属性的JS代码）
• 不能降级TypeScript目标版本
• 子类必须重写基类的goods属性为更具体的子类类型，不能改用其他属性名

示例代码：

// 基类必须可实例化
class RecBase {
  id: string
  goods: ListBase
}

class ListBase {
  lineNumber: number
}

// 子类需要重写goods属性为OrderList类型
class RecOrder extends RecBase {
  orderID: string
  goods: OrderList // 此处触发TS2612错误
}

class OrderList extends ListBase {
  price: number
}

可行解决方案 #

方案1：给子类属性添加初始化器 #

TypeScript要求重写基类属性时必须显式初始化，以此表明你是有意覆盖。可以在属性声明时直接赋值，或者在构造函数中初始化：

方式A：属性声明时初始化

class RecOrder extends RecBase {
  orderID: string;
  // 直接实例化赋值，明确覆盖意图
  goods: OrderList = new OrderList();

  constructor() {
    super();
    this.id = "order-123";
    this.orderID = "ORD-456";
  }
}

方式B：构造函数内初始化

class RecOrder extends RecBase {
  orderID: string;
  // 先声明类型，再在构造函数中完成初始化
  goods: OrderList;

  constructor() {
    super();
    this.id = "order-123";
    this.orderID = "ORD-456";
    this.goods = new OrderList(); // 初始化后符合子类类型要求
  }
}

方案2：用泛型改造基类（推荐） #

如果可以修改库中的基类，用泛型让基类的属性类型可配置，从根源避免属性重写的问题：

// 基类添加泛型参数，默认值为ListBase，保证原有实例化逻辑正常
class RecBase<T extends ListBase = ListBase> {
  id: string;
  goods: T;
}

class ListBase {
  lineNumber: number;
}

// 子类继承时指定泛型参数为OrderList，自动获得正确的goods类型
class RecOrder extends RecBase<OrderList> {
  orderID: string;
}

class OrderList extends ListBase {
  price: number;
}

这种方式既保留了基类的可实例化能力（new RecBase()时goods为ListBase类型），子类也无需重写属性，完全符合类型要求，是最优雅的解决方案。

方案3：类型断言配合构造函数初始化（无法修改基类时） #

如果不能修改库中的基类，可在构造函数中用类型断言确保赋值符合子类类型：

class RecOrder extends RecBase {
  orderID: string;
  goods: OrderList;

  constructor() {
    super();
    this.id = "order-123";
    this.orderID = "ORD-456";
    // 用类型断言告知编译器赋值类型正确
    this.goods = new OrderList() as OrderList;
  }
}

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