如何限制C++模板类仅允许预先定义的显式特化实例化

函数模板的参考实现 #

对于函数模板，可通过将主模板声明为=delete的方式，在编译阶段拦截未做特化的非法实例化，参考代码如下：

template<typename T>
static T getEnumFromString(const std::string& in_string) = delete; // 仅允许自定义特化版本，编译期拦截非法调用
template<> static A getEnumFromString(const std::string& in_string);
template<> static B getEnumFromString(const std::string& in_string);

现有类模板的问题 #

现有用于存储枚举-字符串映射关系的类模板kvEnumHelper，目前仅通过static_assert限制模板参数必须为枚举类型，限制粒度不足：当前作用域存在大量无关枚举，仅希望该类可用于预先指定的目标枚举。当前类定义如下：

template<typename TEnum>
class kvEnumHelper {
    static_assert(std::is_enum_v<TEnum>);
public:
    std::string getStringFromEnum(const TEnum& in_enum) const;
    TEnum getEnumFromString(const std::string& in_string) const;                    
protected:
    kvEnumHelper();         
    void initialize(std::vector<EnumTextPair<TEnum>> enumInitializer);
private:
    std::map<TEnum, std::string> mapEnumToString;
    std::map<std::string, TEnum> mapStringToEnum;           
};

使用时会为每个目标枚举实现对应的显式派生类，在派生类构造函数中定义枚举与字符串的配对关系，示例实现：

class AenumHelper : public kvEnumHelper<tA> {
    using myEnum = tA;
    public:
        AenumHelper();
    };
inline static AenumHelper aEnumHelper;

现有static_assert限制强度不足，无法拦截其他无关枚举的实例化。以下直接将主模板标记为delete的写法均无法生效：

template<typename TEnum> kvEnumHelper<TEnum> = delete;
template<typename TEnum> class kvEnumHelper<TEnum> = delete;
template<> class kvEnumHelper<> = delete;
kvEnumHelper = delete;

可行实现方案 #

类模板无法像函数模板那样直接用=delete标记主模板禁用通用实例化，可通过以下两种方案实现同等编译期拦截效果：

• 方案1：主模板仅前置声明不提供通用定义，仅为允许的类型提供显式特化
  移除主模板的通用实现，仅保留前置声明，后续仅为需要支持的目标枚举提供显式特化即可。如果尝试用未授权的枚举类型实例化kvEnumHelper，编译器会直接报不完整类型错误，在编译阶段拦截非法实例化，效果和函数模板=delete完全一致。
  示例代码：

  // 主模板仅做前置声明，不提供通用定义
  template<typename TEnum>
  class kvEnumHelper;
  
  // 仅为允许的目标枚举提供显式特化，原有类成员逻辑全部放在特化版本中
  template<>
  class kvEnumHelper<tA> {
      static_assert(std::is_enum_v<tA>);
  public:
      std::string getStringFromEnum(const tA& in_enum) const;
      tA getEnumFromString(const std::string& in_string) const;                    
  protected:
      kvEnumHelper();         
      void initialize(std::vector<EnumTextPair<tA>> enumInitializer);
  private:
      std::map<tA, std::string> mapEnumToString;
      std::map<std::string, tA> mapStringToEnum;   
  };
  
  // 其他支持的枚举按相同格式添加显式特化即可
  

• 方案2：保留通用模板逻辑，通过类型白名单+static_assert拦截（适配现有派生写法）
  如果觉得为每个枚举重复编写类成员逻辑过于冗余，可保留主模板的通用实现，新增类型白名单校验逻辑，仅允许白名单内的枚举类型实例化。该方案不需要修改现有派生类的编写逻辑，仅需在新增支持的枚举时添加一行白名单标记即可。
  示例代码：

  // 白名单基础模板，默认所有类型均不允许
  template<typename T>
  inline constexpr bool is_allowed_enum = false;
  
  // 保留主模板通用逻辑，新增白名单校验
  template<typename TEnum>
  class kvEnumHelper {
      // 同时校验类型为枚举、且在白名单内
      static_assert(std::is_enum_v<TEnum> && is_allowed_enum<TEnum>, "当前枚举类型未授权使用kvEnumHelper");
  public:
      std::string getStringFromEnum(const TEnum& in_enum) const;
      TEnum getEnumFromString(const std::string& in_string) const;                    
  protected:
      kvEnumHelper();         
      void initialize(std::vector<EnumTextPair<TEnum>> enumInitializer);
  private:
      std::map<TEnum, std::string> mapEnumToString;
      std::map<std::string, TEnum> mapStringToEnum;           
  };
  
  // 每新增一个允许使用的目标枚举，添加如下标记加入白名单
  template<>
  inline constexpr bool is_allowed_enum<tA> = true;
  template<>
  inline constexpr bool is_allowed_enum<tB> = true;
  

  无关枚举尝试实例化时会直接触发static_assert报错，拦截非法使用。

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