TypeScript中使用CRTP实现类自引用的类型约束问题

问题分析 #

你当前的CRTP实现存在两个核心问题：

• callCallbacks中this无法赋值给T类型，因为TypeScript无法确定this就是T的实例（T可能是Parent<T>的其他子类型）
• 无法阻止子类将其他子类作为泛型参数传入（比如Child2 extends Parent<Child>）

核心需求是：子类必须将自身作为泛型参数传入，且回调函数的参数严格限制为子类自身类型。

解决方案 #

通过添加强制自引用的类型约束和自引用属性来从根源解决这两个问题：

1. 完整约束实现（推荐） #

修改父类的泛型约束，新增抽象的self属性，强制子类返回自身类型的实例。这样当子类传入错误的泛型参数时，TypeScript会直接抛出类型错误，彻底禁止不合规的用法，同时修复callCallbacks的类型问题。

abstract class Parent<T extends Parent<T>> {
  callbacks: Array<(instance: T) => void> = [];
  // 强制子类返回自身类型实例，约束T必须为子类自身
  abstract readonly self: T;

  addCallback(cb: (instance: T) => void) {
    this.callbacks.push(cb);
  }

  callCallbacks() {
    // 通过self属性获取正确的T类型实例，消除类型报错
    this.callbacks.forEach(cb => cb(this.self));
  }
}

// 合法用法：子类将自身作为泛型参数
class Child extends Parent<Child> {
  readonly self = this;
}

// 非法用法：触发TypeScript错误，因为Child2的self类型是Child2，但泛型参数是Child
// class Child2 extends Parent<Child> {
//   readonly self = this; // 类型错误：Type 'Child2' is not assignable to type 'Child'
// }

2. 简化实现（依赖开发者规范） #

如果不想添加抽象属性，也可以用类型断言修复callCallbacks的类型错误，但这种方式无法在类型层面阻止子类传入错误的泛型参数，仅适用于开发者能自觉遵守CRTP规范的场景：

class Parent<T extends Parent<T>> {
  callbacks: Array<(instance: T) => void> = [];

  addCallback(cb: (instance: T) => void) {
    this.callbacks.push(cb);
  }

  callCallbacks() {
    // 断言this为T类型，仅修复类型报错，无法阻止错误泛型参数传入
    this.callbacks.forEach(cb => cb(this as unknown as T));
  }
}

class Child extends Parent<Child> {}
// 这种写法依然不会报错，但不符合业务逻辑
// class Child2 extends Parent<Child> {}

关键说明 #

• 第一种方案通过抽象属性self从类型层面强制约束了T必须是子类自身，从根源上杜绝了错误的泛型参数传入
• 第二种方案更简洁，但仅能修复类型报错，无法约束开发者的不合规用法

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