为何popupFactory方法返回时出现‘AbstractPopup无法赋值给T’错误？

这是个很典型的泛型类型收窄问题，我来给你拆解一下核心原因和解决办法：

问题根源 #

你的函数定义里，泛型参数T extends AbstractPopup明确要求返回值必须是**AbstractPopup的某个具体子类类型**（比如ConcretePopup），但你声明的变量popup类型是父类AbstractPopup——TypeScript没办法确定这个父类实例就是你指定的泛型T的实例，所以会抛出类型不匹配的错误。

举个通俗的例子：你告诉TS“我要返回一只橘猫（T）”，但你现在递过来的是“一只猫（AbstractPopup）”，TS不知道这只猫是不是橘猫，自然会质疑类型不匹配。

另外提一句：你的switch语句只处理了PopupType.ConcretePopup的情况，其他分支没做处理，popup可能会处于未初始化的状态，不过你说这是测试代码忽略其他错误，我就不多展开了。

解决办法 #

方式1：类型断言（快速适配你的现有代码） #

直接在return时用类型断言明确告诉TS，你确认当前的popup就是泛型T的实例：

function popupFactory<T extends AbstractPopup>(popupType: PopupType, data: {}): T {
  var popup: AbstractPopup;
  switch (popupType) {
    case PopupType.ConcretePopup: {
      popup = new ConcretePopup();
      break;
    }
  }
  return popup as T; // 这里加类型断言
}

这种方式简单直接，适合你的测试场景，但需要你自己保证逻辑的正确性——比如后续新增PopupType时，要同步更新switch分支，否则可能出现运行时错误。

方式2：让TS自动推导类型（更严谨的写法） #

调整函数参数，直接传入子类的构造函数，让TS自动推导出泛型T的具体类型，不需要类型断言：

function popupFactory<T extends AbstractPopup>(popupConstructor: new () => T, data: {}): T {
  return new popupConstructor();
}

// 使用示例
const myPopup = popupFactory(ConcretePopup, {}); // TS自动推导T为ConcretePopup

这种写法类型安全性更高，TS能完全追踪返回值的具体类型，避免手动断言带来的潜在风险。

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