C++模板类多态：如何在vector中存储派生类指针并调用模板方法

你遇到的是C中模板编译期多态和继承运行期多态结合时的典型设计冲突：非模板基类无法定义依赖模板参数返回值的虚函数，因为C标准不允许虚函数是模板函数，也不支持虚函数的返回值类型随派生类动态变化。另外你现有代码有个小笔误：list存储的是指针，调用方法应该用->而非.，即list[0]->testMethod()。

根据你的业务场景可以选择以下四种常见方案：

• 方案1：调用端已知类型时，向下转型
  适合你存储元素时可以记录对应类型、或者调用侧明确知道每个元素的实际模板参数类型的场景，用dynamic_cast做安全转型即可：

  // 已知当前元素是Test<int>的派生类
  auto* derived = dynamic_cast<Test<int>*>(list[0]);
  if (derived != nullptr) { // 转型成功才调用，避免类型不匹配崩溃
      int res = derived->testMethod();
      // 后续处理返回值
  }
  

  注意必须给BaseTest添加虚析构函数，否则用基类指针释放对象会触发内存泄漏或未定义行为。

• 方案2：类型擦除封装返回值
  如果你无法提前统一返回值的处理逻辑，可以用C++17引入的std::any做返回值的类型擦除，统一基类接口：

  class BaseTest
  {
  public:
      virtual ~BaseTest() = default;
      virtual std::any testMethod() = 0;
  };
  
  template <class T>
  class Test : public BaseTest
  {
      T testMethodImpl(){/*原有实现逻辑*/}
  public:
      std::any testMethod() override {
          return testMethodImpl();
      }
  };
  
  // 调用侧示例
  std::any res = list[0]->testMethod();
  if (res.type() == typeid(int)) {
      int int_res = std::any_cast<int>(res);
      // 处理int类型返回值
  }
  

• 方案3：抽象返回值操作，不暴露T类型
  这是最符合面向对象多态设计的方案，适合你可以提前抽象出所有返回值的公共操作的场景：

  class BaseTest
  {
  public:
      virtual ~BaseTest() = default;
      // 直接抽象你要对testMethod返回值做的操作，比如打印、序列化等
      virtual void handleTestResult() = 0;
  };
  
  template <class T>
  class Test : public BaseTest
  {
      T testMethod(){/*原有实现逻辑*/}
  public:
      void handleTestResult() override {
          T res = testMethod();
          // 针对T类型实现对应的处理逻辑，不需要把res返回给调用侧
      }
  };
  
  // 调用侧直接使用统一接口，完全不需要关心T的类型
  list[0]->handleTestResult();
  

• 方案4：用std::variant存储可枚举的特化类型
  如果你所有的Test模板特化类型是提前可枚举的（比如只有Test<int>、Test<double>、Test<std::string>三种），可以不用非模板基类，直接用variant存储不同特化的指针：

  #include <variant>
  // 定义所有支持的Test特化类型的variant
  using TestVariant = std::variant<Test<int>*, Test<double>*, Test<std::string>*>;
  std::vector<TestVariant> list;
  list.emplace_back(new DerivedTest());
  
  // 调用时用std::visit访问
  std::visit([](auto* test_ptr) {
      auto res = test_ptr->testMethod();
      // 泛型lambda会自动适配所有特化类型的返回值处理逻辑
  }, list[0]);
  

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