C++如何结合多态与模板实现模板派生类的动态创建

C++ 标准不支持虚成员函数模板，核心原因是虚函数依赖编译期生成固定大小的虚函数表，而函数模板的实例化是在调用点按需生成的，编译器无法提前预知所有模板实例，无法为其在虚表中预留固定条目。

采用私有虚函数跳板 + CRTP 静态多态的实现方式，既保留运行时多态能力，又支持模板泛型，同时完全符合开闭原则：新增Base派生类时不需要修改基类代码。
完整可运行代码如下：

#include <type_traits>

template<class ManagerBase>
class ManagerA : public ManagerBase {};

template<class ManagerBase>
class ManagerB : public ManagerBase {};

class Base {
public:
    virtual ~Base() = default;

    // 对外暴露的泛型接口，非虚，支持任意ManagerBase类型
    template <typename ManagerBase>
    ManagerBase* CreateManager() const {
        return static_cast<ManagerBase*>(
            Create_Internal(static_cast<ManagerBase*>(nullptr))
        );
    }

private:
    // 私有虚函数跳板，用空指针携带类型信息，隔离模板与虚函数逻辑
    virtual void* Create_Internal(void* manager_type_tag) const = 0;
};

// CRTP辅助基类，自动为派生类实现虚跳板逻辑，派生类无需手动处理桥接
template <typename Derived>
class BaseCrtp : public Base {
private:
    void* Create_Internal(void* manager_type_tag) const final {
        // 编译期推导ManagerBase类型，静态转发给派生类的泛型创建实现
        using ManagerType = std::remove_pointer_t<decltype(manager_type_tag)>;
        return static_cast<const Derived*>(this)->template CreateImpl<ManagerType>();
    }
};

// 派生类A，仅需继承BaseCrtp并实现自己的泛型创建逻辑，无需修改基类
class A : public BaseCrtp<A> {
public:
    template <typename ManagerBase>
    ManagerBase* CreateImpl() const {
        return new ManagerA<ManagerBase>();
    }
};

// 派生类B实现逻辑同理
class B : public BaseCrtp<B> {
public:
    template <typename ManagerBase>
    ManagerBase* CreateImpl() const {
        return new ManagerB<ManagerBase>();
    }
};

// 测试代码
class SomeManagerBase {};

int main() {
    Base* pPolymorphic = new A;
    SomeManagerBase* pBase = pPolymorphic->CreateManager<SomeManagerBase>();
    // pBase指向ManagerA<SomeManagerBase>实例
    delete pBase;
    delete pPolymorphic;

    pPolymorphic = new B;
    pBase = pPolymorphic->CreateManager<SomeManagerBase>();
    // pBase指向ManagerB<SomeManagerBase>实例
    delete pBase;
    delete pPolymorphic;
    return 0;
}

• 完全符合C++标准，无未定义行为或非标准扩展
• 满足开闭原则：后续新增Base派生类（如class C : public BaseCrtp<C>），仅需在派生类内实现CreateImpl模板方法即可，不需要修改任何基类代码，解决了switch分支方案的缺陷
• 类型安全：所有类型转换在编译期完成，不存在运行时类型不匹配风险
• 性能接近原生虚函数：仅存在一次虚函数跳转开销，CRTP部分为静态绑定无额外成本

如果你的业务场景中ManagerBase的类型是有限、可提前枚举的，可以直接在Base中定义对应类型的纯虚函数，比如virtual SomeManagerBase* CreateXxxManager() const = 0，实现更简单直白，缺点是新增Manager基类时需要修改Base定义，适合类型固定的简单场景。

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