TypeScript子类重写父类方法时TS2416错误的解决求助

问题代码 #

基类定义 #

class RoomOne {}

class ClassOne { 
  public open<R extends { new(...arg: any): RoomOne }>(RoomConstructor: R = RoomOne): InstanceType<R> { 
    // 方法实现示例
    return new RoomConstructor();
  }
}

子类定义 #

class RoomTwo extends RoomOne {}

class ClassTwo extends ClassOne {
  public open() {
    return super.open(RoomTwo);
  }
}

错误信息 #

TS2416: Property 'open' in type 'ClassTwo' is not assignable to the same property in base type 'ClassOne'.   
Type '() => RoomTwo' is not assignable to type '<R extends new (...arg: any) => RoomOne>(RoomConstructor: R) => InstanceType<R>'.     
Type 'ClassTwo' is not assignable to type 'InstanceType<R>'.

预期使用场景 #

const instanceClassOne = new ClassOne()
const instanceRoomOne = instanceClassOne.open()
const instanceRoomOne = instanceClassOne.open(RoomOne)
const instanceRoomTwo = instanceClassOne.open(RoomTwo)

const instanceClassTwo = new ClassTwo()
const instanceRoomTwo = instanceClassTwo.open()

注：示例中常量重复仅为演示，实际代码需避免。

用户临时解决方案 #

曾尝试以下代码，但希望更合理的实现：

class ClassTwo extends ClassOne {
   public open<R extends RoomOne>(RoomConstructor: Constructor<R> = RoomTwo as unknown as Constructor<R>): R {
    return super.open(RoomConstructor)
  }
}

合理解决方案 #

方案1：兼容父类泛型签名，设置默认参数 #

子类open方法保留父类的泛型约束，同时将默认参数改为RoomTwo，通过类型断言解决默认值的类型匹配问题：

class ClassTwo extends ClassOne {
  public open<R extends { new(...arg: any): RoomOne }>(RoomConstructor: R = RoomTwo as unknown as R): InstanceType<R> {
    return super.open(RoomConstructor);
  }
}

此方案既满足子类默认返回RoomTwo的需求，又完全兼容父类的泛型调用方式，支持传入任意RoomOne的子类构造函数。

方案2：使用方法重载明确签名 #

通过重载定义两种调用场景：无参数时返回RoomTwo，传入构造函数时返回对应实例，同时保持与父类的兼容性：

class ClassTwo extends ClassOne {
  // 无参数重载：返回RoomTwo
  public open(): RoomTwo;
  // 兼容父类的泛型重载
  public open<R extends { new(...arg: any): RoomOne }>(RoomConstructor: R): InstanceType<R>;
  // 实现逻辑
  public open<R extends { new(...arg: any): RoomOne }>(RoomConstructor?: R) {
    return super.open(RoomConstructor ?? (RoomTwo as unknown as R));
  }
}

这种方式类型提示更清晰，调用时能根据参数自动推导返回类型。

错误原因说明 #

父类ClassOne的open是泛型方法，要求可以接受任意符合R extends new (...args: any) => RoomOne的构造函数，并返回对应实例。而子类ClassTwo最初的open方法是无参数、固定返回RoomTwo的签名，这与父类的方法签名不兼容——父类方法允许调用者传入任意合法构造函数，但子类方法不支持参数传入，因此TypeScript抛出类型不匹配错误。

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