如何对 class 或接口的子项执行类型检查？

Question

我昨天问了一个可能有点过于宽泛的问题，所以这是我试图分解它的尝试。 在此处链接到该问题： 如何定义抽象 model 以用于抽象服务？

我定义了一个抽象的 class Model ，它带有一个私有属性id 、一个构造函数和一个 static 方法创建。 然后，我定义了一个接口ResponseBody ，这个Model class 的实现将扩展。 JSON 数据将以DerivedClass.ResponseBody的形式从服务器返回，客户端将传递该数据以create从 ZA559B87068921EEC05086CE5485E9784 派生的新Model 下面是我必须开始的。

export abstract class Model {
  get id() {
    return this._id;
  }

  constructor(private _id: number) {}

  static create<T extends Model>(body: T.ResponseBody): T {
    console.error(
      "Static method create() must be defined by class implementing Model."
    );

    return undefined;
  }
}

export module Model {
  export interface ResponseBody {
    type?: "response-body";
    id: number;
  }
}

我的问题是定义create的body参数的类型。 我收到一个错误： 'T' only refers to a type, but is being used as a namespace here. 我想确保该类型强制将正确的值传递给 create，它始终包含一个id ，但还必须包含派生类中定义的任何内容。 我该如何做到这一点？