TypeScript继承场景下扩展基类对象类型属性的正确实现方案

1. 你在派生类Wizard里重新声明了options: WizardOptions，对TypeScript来说这是一个覆盖基类同名属性的新类属性，因此要求你必须在派生类构造函数中完成初始化，不会默认复用基类的初始化结果。
2. 直接执行this.options.hat = "pointy"时，TypeScript判定你派生类新声明的options还未完成赋值，因此抛出使用前未赋值的错误。

将基类改造为支持传入Options类型的泛型结构，默认值为HumanOptions，基类原有逻辑不需要修改，派生类仅需传入自己扩展后的Options类型即可，不需要重复维护基类已定义的属性：

type HumanOptions = {
  alive: boolean
  age: number
}

// 新增泛型参数，默认值为HumanOptions
class Human<Options extends HumanOptions = HumanOptions> {
  id: string
  options: Options

  constructor() {
    this.id = '_' + Math.random()
    // 初始化基类默认配置，断言为Options类型适配派生类扩展场景
    this.options = {
      alive: true,
      age: 25,
    } as Options
  }
}

派生类写法：

type WizardOptions = HumanOptions & {
  hat: string
}

// 继承时传入扩展后的WizardOptions类型即可
class Wizard extends Human<WizardOptions> {
  manaLevel: number

  constructor() {
    super()
    this.manaLevel = 100
    // 直接扩展options属性，TypeScript可正常识别hat类型，无报错
    this.options.hat = "pointy"
  }
}

该方案后续基类修改HumanOptions字段时，所有派生类会自动同步类型，不需要手动维护继承逻辑，适配复杂应用场景。

如果不想改动现有基类定义，可以用declare修饰符告诉TypeScript该属性的类型已手动明确，跳过初始化检查：

type WizardOptions = HumanOptions & {
  hat: string
}

class Wizard extends Human{
  manaLevel: number
  // declare修饰符告知TS该属性类型由手动声明，跳过初始化检查
  declare options: WizardOptions 

  constructor() {
    super()
    this.manaLevel = 100
    this.options.hat = "pointy"
  }
}

你原本的写法在JavaScript中可以正常运行，是因为JS本身没有类型检查，基类已经初始化了options对象，派生类直接给对象加新属性本身就是合法的，TypeScript的报错只是因为它的默认检查规则不识别「派生类仅扩展基类同名对象属性类型、不重新初始化属性」的模式，需要我们通过上面的方式手动明确规则即可。

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