如何在抽象方法返回泛型时强制进行类型检查？

我定义了一个调用子类方法的抽象基类：

abstract class Base<T> {
  protected abstract getProps(): T;

  public process() {
    const props = this.getProps();
    // 处理props...
  }
}

同时定义了一个属性接口：

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

但在实现子类时，即使返回的对象包含额外属性，TypeScript也不会报错：

class Child extends Base<ChildProps>{
  protected getProps() {
    return {
      prop1: 'prop1',
      prop2: 'prop2',
      otherdata: 'foo', // 此处无报错
    }
  }
}

只有当显式指定getProps的返回类型为ChildProps时，才会触发预期的错误：

class Child extends Base<ChildProps>{
  protected getProps(): ChildProps {
    return {
      prop1: 'prop1',
      prop2: 'prop2',
      otherdata: 'foo', // 报错：属性“otherdata”不存在于类型“ChildProps”中
    }
  }
}

如何在不显式指定子类方法返回类型的情况下，强制对抽象方法的泛型返回类型进行严格检查？

这是TypeScript结构类型系统的特性：只要返回值的结构兼容目标类型（包含目标类型的所有必填属性），就会被认为合法，额外属性不会触发错误。要实现严格类型检查，有以下几种可行方案：

方案1：使用satisfies运算符（TypeScript 4.9+） #

在返回对象后添加satisfies ChildProps，无需显式指定方法返回类型，就能强制检查返回值是否严格匹配目标类型：

class Child extends Base<ChildProps>{
  protected getProps() {
    return {
      prop1: 'prop1',
      prop2: 'prop2',
      otherdata: 'foo', // 此处会报错：属性“otherdata”不在类型“ChildProps”中
    } satisfies ChildProps;
  }
}

方案2：在基类中添加编译时类型校验 #

通过在基类的process方法中添加类型检查逻辑，强制getProps的返回值必须严格等于T，而不能是T的超类型：

abstract class Base<T> {
  protected abstract getProps(): T;

  public process() {
    const props = this.getProps();
    // 编译时校验：如果props是T的超类型，此处会触发类型错误
    type StrictCheck = typeof props extends T ? (T extends typeof props ? unknown : never) : never;
    const _check: StrictCheck = true;
    
    // 处理props...
  }
}

class Child extends Base<ChildProps>{
  protected getProps() {
    return {
      prop1: 'prop1',
      prop2: 'prop2',
      otherdata: 'foo', // 基类的StrictCheck会触发错误
    }
  }
}

方案3：启用exactOptionalPropertyTypes（可选） #

如果场景涉及可选属性，启用tsconfig.json中的exactOptionalPropertyTypes配置，可以强化类型检查的严格性，不过它主要针对可选属性匹配，额外属性检查仍需结合上述方案使用。

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