TypeScript泛型基类相互引用的类型错误问题求助

我来帮你搞定这个泛型相互依赖的类型错误问题，核心原因是泛型约束与构造函数的类型定义不匹配，导致TypeScript无法正确推断子类的类型信息。

问题根源拆解 #

你的代码里的两个报错本质是同一个类型推断矛盾：

1. 在*1处：Api类的构造函数把creator定义为返回基类ApiObject<T>，但你传入的TestObject是带change方法的子类，TypeScript认为基类无法满足子类的类型要求，所以报错。
2. 去掉as O后在*2处报错：因为Api.get的返回类型会被推断为基类ApiObject<T>，自然找不到子类独有的change方法。

修复方案（最简版） #

只需要调整Api类中creator的类型定义，让它明确返回子类O（而非基类ApiObject<T>），就能让TypeScript自动完成正确的类型推断，不需要依赖类型断言。

修复后完整代码

class ApiObject<T extends Record<string, unknown>> {
  constructor(private obj: T, private api: Api<T, ApiObject<T>>) {}
  delete() {}
}

// 关键调整：让creator的返回类型为子类O，而非基类ApiObject<T>
class Api<T extends Record<string, unknown>, O extends ApiObject<T>> {
  constructor(private creator: new (obj: T, api: Api<T, O>) => O) {}

  get(obj: T) {
    // 现在不需要as O，TypeScript能自动推断返回O类型
    return new this.creator(obj, this);
  }
}

type Test = { x: number };

class TestObject extends ApiObject<Test> {
  change() {}
}

class TestApi extends Api<Test, TestObject> {
  constructor() {
    super(TestObject); // *1处错误消失
  }
}

const api = new TestApi();
const obj = api.get({ x: 1 });
obj.change(); // *2处错误消失

进阶优化：让ApiObject准确引用Api子类类型 #

如果需要在ApiObject内部调用Api子类的专属方法，可以给ApiObject增加第二个泛型参数，约束为对应的Api子类类型，这样this.api的类型会更精准：

// 给ApiObject新增泛型参数A，约束为对应的Api子类
class ApiObject<T extends Record<string, unknown>, A extends Api<T, ApiObject<T, A>>> {
  constructor(private obj: T, private api: A) {}
  delete() {
    // 这里的this.api是具体的Api子类类型（比如TestApi），可以安全调用专属方法
    // this.api.testOnlyMethod();
  }
}

class Api<T extends Record<string, unknown>, O extends ApiObject<T, Api<T, O>>> {
  constructor(private creator: new (obj: T, api: Api<T, O>) => O) {}

  get(obj: T) {
    return new this.creator(obj, this);
  }
}

type Test = { x: number };

class TestObject extends ApiObject<Test, TestApi> {
  change() {
    // 这里可以直接操作专属的Api子类实例
  }
}

class TestApi extends Api<Test, TestObject> {
  constructor() {
    super(TestObject);
  }

  // TestApi的专属方法
  testOnlyMethod() {}
}

const api = new TestApi();
const obj = api.get({ x: 1 });
obj.change();

核心逻辑说明 #

• 把creator的类型从new (obj: T, api: Api<T, O>) => ApiObject<T>改为new (obj: T, api: Api<T, O>) => O，明确告诉TypeScript：这个构造函数返回的是符合O extends ApiObject<T>约束的子类，而非基类。
• 调整后，Api.get的返回类型会被自动推断为O，不需要额外的类型断言；同时super(TestObject)也能通过类型检查，因为TestObject确实是返回O（自身）的构造函数。

内容来源于stack exchange