TypeScript混入后重写抽象getter出现错误的问题排查

报错原因 #

这是TypeScript 4.5.x版本的类型系统限制。当Mixin类实现抽象类中的抽象访问器（abstract get text(): string）时，TypeScript会错误地将Mixin返回类里的text访问器识别为普通实例属性，而非访问器。而TypeScript不允许用访问器重写普通属性（反之亦然），因此子类重写text访问器时触发TS2611错误。

可行修复方案 #

1. 升级TypeScript版本（推荐） #

该问题在TypeScript 4.6及后续版本中已被官方修复。升级后，TypeScript能正确识别Mixin中实现的访问器与抽象类中抽象访问器的继承关系，不会再误判类型，子类重写text访问器时不会报错，同时完全保留TextThing抽象类强制子类实现text的安全性：

• 若Mixin未实现text，子类必须实现；
• 若Mixin已提供默认实现，子类可选择重写。

2. 不升级版本的兼容方案 #

调整Mixin的类型约束，明确其继承自带有text访问器的类型，帮助TypeScript正确识别访问器类型：

// 调整构造函数类型，明确约束为带有text访问器的类型
type AbstractOrConcreteConstructor<T extends { get text(): string }> = (new (...args: any[]) => T) | (abstract new (...args: any[]) => T);

/**
 * A mixin with extra functionality
 */
export function WithCounter<T extends AbstractOrConcreteConstructor<ITextThing<any>>>(SuperClass: T) {
  return class extends SuperClass {
    _counter: number;

    constructor(...args: any[]) {
      super(...args);
      this._counter = 0;
    }

    get count(): number {
      return this._counter;
    }

    get text(): string {
      return `[${this._counter}]`;
    }
  };
}

修改后，TypeScript能正确识别text的访问器类型，子类重写时不再触发错误，同时保留抽象类的强制实现约束。

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