TypeScript中如何约束抽象类实现类覆盖Contract全部属性？

当然可行！我们可以通过TypeScript的类型系统来实现这个需求——既不需要重复声明所有getter，又能在编译时强制检查Impl的自身属性加上getBase()的返回值是否完全覆盖Contract的所有属性。

核心思路 #

我们需要让TypeScript验证子类自身的属性 + getBase()的返回值的组合类型严格等于Contract。通过在父类AbstractClass中添加类型约束，就能在子类定义阶段就触发编译错误，而不需要手动让子类implements Contract（避免重复声明）。

具体实现代码 #

interface Contract {
  prop1: string;
  prop2: string;
}

// 定义一个辅助类型，检查自身属性+getBase返回值是否覆盖Contract
type CoversFullContract<SelfType, BaseReturnType> = 
  SelfType & BaseReturnType extends Contract ? unknown : never;

abstract class AbstractClass<T extends Contract> {
  abstract getData(): T;
  
  getBase(): Partial<T> {
    return {};
  }

  // 在构造函数中添加类型检查，强制子类满足全覆盖要求
  constructor() {
    // 这里的类型断言会在子类不满足条件时触发编译错误
    const _fullContractCheck: CoversFullContract<this, ReturnType<this['getBase']>> = undefined!;
  }
}

// ✅ 正确实现：自身提供prop1，getBase提供prop2，组合后覆盖Contract
class Impl extends AbstractClass<Contract> {
  get prop1() {
    // 这里写你的复杂逻辑
    return 'complex-value';
  }

  getBase() {
    return { prop2: 'foo' };
  }

  getData(): Contract {
    // 合并自身属性和getBase的返回值，确保返回完整的Contract
    return { ...this.getBase(), prop1: this.prop1 };
  }
}

// ❌ 错误示例：缺少prop2的实现，编译时会报错
class BadImpl extends AbstractClass<Contract> {
  get prop1() {
    return 'complex-value';
  }

  getBase() {
    return {}; // 这里没有返回prop2，会触发父类的类型检查错误
  }

  getData(): Contract {
    return { prop1: this.prop1 }; // 这里也会报错，但父类的检查更早触发
  }
}

代码解释 #

1. 辅助类型CoversFullContract：它会判断SelfType（子类实例类型）和BaseReturnType（getBase()的返回类型）的交叉类型是否完全等于Contract。如果不满足，类型会变成never，导致赋值错误。
2. 父类构造函数的类型检查：通过在构造函数中声明一个类型为CoversFullContract<this, ReturnType<this['getBase']>>的变量，强制子类必须满足“自身属性+getBase返回值覆盖Contract”的条件。只要子类不满足，编译阶段就会直接报错。
3. 子类实现：你只需要在子类中实现有复杂逻辑的属性（比如prop1），简单属性可以放在getBase()中返回，不需要重复声明所有getter。

额外优化：自动推断getBase的返回类型 #

如果你想让getBase()的返回类型自动被TypeScript推断，而不需要手动指定，可以把父类的getBase()改为抽象方法，让子类必须实现它，这样TypeScript能更准确地推断返回类型：

abstract class AbstractClass<T extends Contract> {
  abstract getData(): T;
  // 改为抽象方法，强制子类实现，提升类型推断准确性
  abstract getBase(): Partial<T>;

  constructor() {
    const _fullContractCheck: CoversFullContract<this, ReturnType<this['getBase']>> = undefined!;
  }
}

这样一来，TypeScript会更精准地检查子类getBase()的返回值是否和自身属性组合后覆盖Contract。

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