Typescript 调用带 this 参数的静态方法报抽象构造器类型不匹配错误

触发的编译错误 #

调用第三方抽象类的静态方法时，抛出如下类型不匹配报错：
The 'this' context of type 'typeof A' is not assignable to method's 'this' of type 'AStatic<AStatic<unknown>>'. Cannot assign an abstract constructor type to a non-abstract constructor type.

场景说明 #

• 项目依赖第三方库提供的抽象类A、构造类型AStatic<S>，无法直接修改这部分定义
• 核心业务逻辑是接收A的具体非抽象子类（示例中的B、D）作为参数，在内部调用子类继承自A的静态方法
• 临时解决方案是把标注构造类型的typeof A替换为any，但会丢失IDE对静态方法、类属性的全量类型提示

原始触发报错的代码 #

type AStatic<S extends A> = { new(): S };

abstract class A {
  static callStatic<S extends AStatic<S>>(this: AStatic<S>) {
    console.log('hey')
  }
}

class B extends A {}
class D extends A {}

class C {
  aType: typeof A;
  constructor(type: typeof A) {
    this.aType = type;
    this.aType.callStatic(); // 此处触发报错
  }
}

const c = new C(B);
const c_2 = new C(D);

报错根因 #

• 第三方定义的callStatic方法对调用时的this上下文有明确约束：必须是满足AStatic<S>的非抽象可实例化构造函数（类型签名{ new(): S }明确要求可以执行new创建实例）
• 业务代码里用typeof A标注构造类型时，这个类型本身包含了“抽象构造函数”的可能性——毕竟A是抽象类，本身不能被实例化，自然不满足方法要求的“非抽象可实例化”的this约束
• 本质是类型范围不匹配：typeof A的类型范围太宽，把不符合方法约束的抽象构造可能性也包含进来了，和方法要求的窄范围（非抽象构造）产生冲突。

无侵入第三方代码的解决方案 #

不需要改动第三方的类型定义，只需要在业务层把原先过宽的typeof A类型，替换为和静态方法this约束匹配的非抽象构造类型即可，既解决报错，又保留完整类型提示：

1. 基于第三方提供的AStatic类型，定义业务层用的构造类型别名：

   // 匹配静态方法要求的非抽象可实例化构造签名
   type ConcreteAConstructor = AStatic<A>;
   

2. 把C类中原先所有使用typeof A的位置，替换为上面定义的ConcreteAConstructor类型。改造后完整代码：

   type AStatic<S extends A> = { new(): S };
   
   abstract class A {
     static callStatic<S extends AStatic<S>>(this: AStatic<S>) {
       console.log('hey')
     }
   }
   
   class B extends A {}
   class D extends A {}
   
   // 新增自定义构造类型
   type ConcreteAConstructor = AStatic<A>;
   
   class C {
     // 字段、构造参数的类型从 typeof A 替换为自定义构造类型
     aType: ConcreteAConstructor;
     constructor(type: ConcreteAConstructor) {
       this.aType = type;
       // 此处编译完全通过，无this上下文不匹配报错
       this.aType.callStatic();
     }
   }
   
   // 原有传参逻辑完全兼容
   const c = new C(B);
   const c_2 = new C(D);
   

方案优势 #

• 完全不改动第三方库的现有类型定义，无侵入性
• 全程不使用any，保留A类所有静态方法、实例方法的完整类型提示和IDE补全能力
• 保留必要的类型校验：如果误把抽象类A本身作为参数传入，会立刻触发编译错误，符合实际业务逻辑（抽象类本身不能被实例化，本来就不该作为参数传入）
• 类型完全匹配静态方法对this的约束，从根源上消除类型不匹配的报错。

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