TypeScript返回扩展类InstanceType时出现类型不匹配报错

示例代码如下：

class Base {
    constructor (public name : string) {}
}
class Extended extends Base {
    get manged_name () {
        return this.name;
    }
}

function GENERATE<T extends typeof Base> (Model : T) : InstanceType<T> {
    const instance = new Model("something");
    return instance;
}
GENERATE(Extended);

注：上述GENERATE函数为演示需求已做大幅简化。

运行上述代码会收到类型报错：Type 'Base' is not assignable to type 'InstanceType<T>'.

预期实现效果 #

允许Base类的任意子类作为函数入参，函数返回值类型与入参类的实例类型严格匹配。

TypeScript 对受基类构造器约束的泛型参数做实例化推导时会采用保守策略：当泛型T被约束为typeof Base时，new Model(...)的推导结果会被固定为基类Base，不会跟随传入的子类自动做类型收窄。而函数标注的返回值InstanceType<T>是泛型推导出来的具体子类实例类型，基类类型无法直接赋值给更具体的子类类型，因此触发类型不匹配报错。

你可以根据场景选择以下两种写法修复问题：

• 方案1：添加类型断言（适合逻辑简单、确定返回值类型匹配的场景）
  明确告诉TS返回值和InstanceType<T>类型匹配，跳过类型检查：

  function GENERATE<T extends typeof Base> (Model : T) : InstanceType<T> {
      const instance = new Model("something");
      return instance as InstanceType<T>;
  }
  

• 方案2：调整泛型约束写法（更推荐，无额外类型断言，类型推导更准确）
  直接约束实例类型，将构造函数作为参数类型标注，TS可以正确推导实例化结果的类型：

  function GENERATE<T extends Base> (Model : new (name: string) => T) : T {
      const instance = new Model("something");
      return instance;
  }
  

  调整后调用GENERATE(Extended)时，TS会自动推导返回值为Extended类型，可以正常访问子类独有的manged_name属性，无类型报错。

内容的提问来源于stack exchange，提问作者A. L