TypeScript如何禁止子类重写父类getter/setter但允许继承访问

截至TypeScript 5.x稳定版本，官方暂未推出类似Java final的成员修饰符直接标记类成员禁止重写，但可以通过以下两种方案完全实现需求：既可以在子类重写目标访问器时抛出类型错误，又不影响子类正常继承、访问父类的访问器。

方案1：编译配置+规则约束（零侵入，适合大多数业务项目） #

这是成本最低的实现方式：

• 在项目tsconfig.json中开启编译选项 "noImplicitOverride": true
• 开启该选项后，TypeScript会默认校验所有继承关系：子类如果定义和父类同名的成员（包括get/set访问器、普通方法、实例属性），必须显式添加override关键字，否则直接抛出TS4114类型错误，提示该成员重写了父类成员需要加override标记。
• 你只需要在项目规范中约定：父类中禁止重写的访问器（比如示例里的alive），任何场景下都不允许子类加override关键字重写，配合ESLint自定义规则拦截针对指定成员的override操作即可。
• 该方案下子类对访问器的使用完全不受影响：示例中otis.alive的类型会被正确推导为boolean，get/set操作都不会有类型报错。

方案2：类型+运行时双重防护（不依赖代码规范/Lint） #

如果需要从编译时到运行时都彻底禁止重写，不需要靠人为约定，可以用类型约束加原型冻结的方式实现：

1. 运行时防护：父类定义完访问器后，冻结父类原型，这样JS运行时如果检测到子类尝试重写原型上的不可配置访问器，会直接抛出错误，不会出现静默覆盖的问题。
2. 编译时防护：通过工具类型给子类加约束，禁止子类定义和目标访问器同名的成员，一旦子类写了同名get/set就会触发类型错误。

实现代码如下：

// 工具类型：约束子类不能重写基类指定的成员
type ForbidOverride<T, BlockedKeys extends keyof T> = Omit<T, BlockedKeys> & {
  readonly [K in BlockedKeys]: T[K]
}

class Animal {
  status: boolean = false;
  get alive(): boolean { return this.status }
  set alive(status: boolean) { this.status = status }
}
// 冻结父类原型，运行时禁止重写alive访问器
Object.freeze(Animal.prototype)

// 子类继承时绑定约束，禁止重写alive
class Dog extends (Animal as new () => ForbidOverride<Animal, 'alive'>) {
  // 此处如果写 get alive() 会直接报类型错误，提示该属性是只读的不能重写
}

const otis = new Dog()
otis.alive = true // 正常调用setter，类型推导为boolean，无报错
console.log(otis.alive) // 正常调用getter，类型推导为boolean，无报错

说明：该方案中对父类构造函数的类型转换仅作用于编译时的类型检查，不会改变父类的实际运行逻辑，子类继承到的访问器行为和原生继承完全一致。如果只需要编译时检查不需要运行时防护，可以省略Object.freeze的调用。

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