TypeScript重写基类方法扩展字面量返回类型TS2416报错问题

参考如下基类定义，类中声明了一个私有变量，以及对应类型的get/set存取器：

export class Base {
  private _var: 'foo' | 'bar' = 'foo';

  get var(): 'foo' | 'bar' {
    return this._var;
  }
  set var(value: 'foo' | 'bar') {
    this._var = value;
  }
}

需求为继承Base类并重写var存取器，将其类型从原有的'foo' | 'bar'扩展为包含更多成员的字面量联合类型。如果直接按如下方式编写代码，会触发TS2416类型错误：

export class Derived extends Base {
  override get var(): 'foo' | 'bar' | 'baz' {
    // TODO
  }
  override set var(value: 'foo' | 'bar' | 'baz') {
    // TODO
  }
}

报错信息：

error TS2416: Property 'var' in type 'Derived' is not assignable to the same property in base type 'Base'.
  Type '"foo" | "bar" | "baz"' is not assignable to type '"foo" | "bar"'.

该需求可以实现，直接重写报错的核心原因是TypeScript对类的读写属性做了严格的类型一致性检查：
类继承遵循里氏替换原则，所有子类实例必须能安全替换基类实例使用。对于同时声明了get/set的存取器，TypeScript会将其判定为读写属性，要求子类重写时的属性类型必须和基类完全匹配——既不允许缩小也不允许扩大类型范围，否则就会抛出TS2416错误。
上述错误代码里，子类把var的类型从'foo' | 'bar'扩大到'foo' | 'bar' | 'baz'，相当于setter可以接收基类不支持的baz值、getter可能返回基类类型定义之外的值，破坏了类型替换的安全性，因此被类型检查拦截。

推荐实现方式（类型安全） #

如果可以修改基类，最稳妥的方案是给基类加泛型参数，把可变的属性类型抽离出来作为泛型，默认值保持原有类型即可，不需要破坏原有基类的使用逻辑：

// 修改后的基类，原有直接使用Base的代码完全不需要改动
export class Base<T extends 'foo' | 'bar' = 'foo' | 'bar'> {
  private _var: T = 'foo' as T;

  get var(): T {
    return this._var;
  }
  set var(value: T) {
    this._var = value;
  }
}

// 子类继承时指定扩展后的联合类型，重写存取器不会触发类型错误
export class Derived extends Base<'foo' | 'bar' | 'baz'> {
  override get var(): 'foo' | 'bar' | 'baz' {
    return super.var;
  }
  override set var(value: 'foo' | 'bar' | 'baz') {
    // 自定义业务逻辑
    super.var = value;
  }
}

兼容方案（无法修改基类时使用） #

如果不能改动基类代码，可以通过类型断言绕开检查，但需要自行保证类型安全：

class _Derived extends Base {
  private _extendedVar: 'foo' | 'bar' | 'baz' = 'foo';

  override get var(): 'foo' | 'bar' {
    return this._extendedVar as 'foo' | 'bar';
  }

  override set var(value: 'foo' | 'bar') {
    this._extendedVar = value;
  }
}

// 重导出时修正对外暴露的类型
export const Derived = _Derived as new () => _Derived & {
  var: 'foo' | 'bar' | 'baz'
};

注意：这种方案下如果把Derived实例赋值给Base类型的变量，当_extendedVar值为baz时，读取var属性会拿到类型定义之外的值，存在类型风险，非必要不使用。

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