类版本化模板方案咨询：运行时版本指定与成员存储问题

问题背景 #

想用模板实现类版本化，不同版本的Module具备不同方法与成员，用户在运行时指定版本。但将这些版本类作为Holder类成员存储时，因模板参数必须是编译期常量，导致原代码无法编译运行，需确认方案可行性并寻求解决办法。

用户提供的代码示例 #

模板特化的Module类 #

template <uint8_t vID>
class Module;

template <>
class Module<3>
{
public:
  Module () : m_versionID(3) {};
  virtual ~Module () = default;

  uint32_t versionID () const {return m_versionID;};
  uint32_t get3 () const {return 3;};
private:
  uint32_t m_versionID;
};

template <>
class Module <4>
{
public:
  Module () : m_versionID(4) {};
  virtual ~Module () = default;

  uint32_t versionID () const {return m_versionID;};
  uint32_t get4 () const {return 4;};

private:
  uint32_t m_versionID;
};

存在编译问题的Holder类 #

class Holder
{
public: 
  Holder(std::span<uint8_t> x) {m_mod = Module<x[}>        
o-s        
 cat不可并购Comput一定           { DIRECT编译错误：模板参数需编译期常量
  const Module getModule() const {return m_mod;} // 编译错误：Module是模板类，必须指定具体参数
  
private:
  Module m_mod; // 编译错误：模板类未指定参数
};

可行方案与解决办法 #

核心思路可行，但必须解决运行时参数无法作为模板参数的问题，以下是三种实用方案：

方案1：多态基类+智能指针 #

定义抽象基类统一接口，所有Module版本继承该基类，Holder存储基类智能指针，运行时根据版本创建对应实例。

修改后代码：

#include <memory>
#include <stdexcept>

// 抽象基类，定义通用接口
class ModuleBase
{
public:
  virtual ~ModuleBase() = default;
  virtual uint32_t versionID() const = 0;
};

template <uint8_t vID>
class Module;

template <>
class Module<3> : public ModuleBase
{
public:
  Module () : m_versionID(3) {};

  uint32_t versionID () const override {return m_versionID;};
  uint32_t get3 () const {return 3;};
private:
  uint32_t m_versionID;
};

template <>
class Module <4> : public ModuleBase
{
public:
  Module () : m_versionID(4) {};

  uint32_t versionID () const override {return m_versionID;};
  uint32_t get4 () const {return 4;};

private:
  uint32_t m_versionID;
};

class Holder
{
public:
  Holder(std::span<uint8_t> x)
  {
    // 运行时分支创建对应版本实例
    switch(x[0])
    {
      case 3:
        m_mod = std::make_unique<Module<3>>();
        break;
      case 4:
        m_mod = std::make_unique<Module<4>>();
        break;
      default:
        throw std::invalid_argument("不支持的模块版本");
    }
  }

  // 获取基类指针
  const ModuleBase* getModule() const {return m_mod.get();}

  // 类型转换获取具体版本实例，需自行检查合法性
  template<uint8_t vID>
  const Module<vID>* getModuleAs() const
  {
    return dynamic_cast<const Module<vID>*>(m_mod.get());
  }

private:
  std::unique_ptr<ModuleBase> m_mod;
};

• 优点：实现简单，符合常规面向对象逻辑；
• 缺点：调用特定版本方法需显式类型转换，存在运行时类型检查开销。

方案2：std::variant存储多类型 #

利用C++17引入的std::variant存储所有支持的Module版本，Holder中存储该variant对象，运行时初始化对应类型。

修改后代码：

#include <variant>
#include <stdexcept>
#include <type_traits>

template <uint8_t vID>
class Module;

template <>
class Module<3>
{
public:
  Module () : m_versionID(3) {};

  uint32_t versionID () const {return m_versionID;};
  uint32_t get3 () const {return 3;};
private:
  uint32_t m_versionID;
};

template <>
class Module <4>
{
public:
  Module () : m_versionID(4) {};

  uint32_t versionID () const {return m_versionID;};
  uint32_t get4 () const {return 4;};

private:
  uint32_t m_versionID;
};

// 定义包含所有支持版本的variant类型
using ModuleVariant = std::variant<Module<3>, Module<4>>;

class Holder
{
public:
  Holder(std::span<uint8_t> x)
  {
    switch(x[0])
/form АвFemale，发展OMACcomquotAng =族gerFollowing Ace源头在 closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely closely Rough没法 ICompare处search分树洞rist初始_aux看花外HE标签：
        throw std::invalid_argument("不支持的模块版本");
    }
  }

  const ModuleVariant& getModule() const {return m_mod;}

  // 示例：用std::visit调用对应版本的方法
  uint32_t getVersionSpecificValue() const
  {
    return std::visit([](const auto& mod) {
      using ModType = std::decay_t<decltype(mod)>;
      if constexpr (std::is_same_v<ModType, Module<3>>)
      {
        return mod.get3();
      }
      else if constexpr (std::is_same_v<ModType, Module<4>>)
      {
        return mod.get4();
      }
      return 0u;
    }, m_mod);
  }

private:
  ModuleVariant m_mod;
};

• 优点：无虚函数开销，类型安全，编译期检查合法性；
• 缺点：需提前枚举所有支持的版本，新增版本时需同步更新ModuleVariant类型。

方案3：自定义类型擦除 #

如果需要更高灵活性，可自定义类型擦除类封装不同版本的Module，但实现复杂度较高，适合复杂场景，这里不再展开具体代码。

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