C++20及更高版本：如何实现带扩展功能的枚举类型？

需求背景 #

我见过不少关于包装枚举或为枚举模板化类以扩展功能的讨论，我的核心需求是为枚举类创建包装类，实现两个核心功能：

• 将枚举值转换为字符串
• 获取枚举值的特定信息

基础实现方案 #

一种直接的实现方式如下：

enum class color : uint16_t {
    unknown = 0,
    red,
    green,
    blue,
};

class colorClass {
public:
    colorClass() : val(color::unknown) {}
    colorClass(color v) : val(v) {}

    // 拷贝、移动、赋值构造函数实现部分

    bool isRed() { return val == color::red; }
    // 更多值判断函数可在此扩展

    std::string toString() {
        using enum color;
        switch (val) {
          case red : return "red";
          case blue: return "blue";
          case green: return "green";
          case unknown: [[fallthrough]];
          default: return "unknown";
        }
    }

private:
    color val;
};

这种写法可以正常运行，但仅针对color枚举，无法复用逻辑到其他枚举类型。

模板+Concept的现代写法 #

为了让包装类支持任意枚举类型，可借助C++20的Concept约束模板参数：

enum class color : uint16_t {
    unknown = 0,
    red,
    green,
    blue,
};

template<typename E>
concept ValidEnum = std::is_enum_v<E>;

template<ValidEnum E>
class EnumWrapper {
public:
    EnumWrapper() : val(static_cast<E>(0)) {}
    EnumWrapper(E v) : val(v) {}

    // 拷贝、移动、赋值构造函数可默认生成

    // 通用接口，需针对具体枚举特化实现
    std::string toString() const;

private:
    E val;
    // 友元声明以便外部实现枚举特定逻辑
    template<typename T>
    friend bool isRed(const EnumWrapper<T>&);
};

// 为color枚举特化toString
template<>
std::string EnumWrapper<color>::toString() const {
    using enum color;
    switch (val) {
        case red: return "red";
        case green: return "green";
        case blue: return "blue";
        case unknown: [[fallthrough]];
        default: return "unknown";
    }
}

// 为color添加值特定判断函数
inline bool isRed(const EnumWrapper<color>& wrapper) {
    return wrapper.val == color::red;
}

写法正确性与模板的额外价值 #

写法正确性 #

你给出的模板+Concept写法是完全正确的，ValidColor（建议更名为ValidEnum以适配通用场景）概念确保模板参数只能是枚举类型，编译期即可拦截非法类型传入。需要注意的是，模板版包装类无法直接复用基础实现中的isRed这类枚举特定函数，需为目标枚举提供特化逻辑或辅助函数。

模板的额外益处 #

1. 逻辑复用：通用包装逻辑（如构造函数、默认值处理）只需编写一次，不同枚举仅需实现特化的toString或值特定逻辑，避免重复编写整个包装类。
2. 类型安全：Concept的约束比传统static_assert更清晰，编译错误信息更友好，能提前排除非枚举类型的误用。
3. 通用扩展：可在模板类中添加所有枚举都能使用的通用操作，比如通过C++23的std::to_underlying获取底层值、默认生成比较运算符等，无需为每个枚举单独实现。

基于底层类型的toString巧实现（无第三方库） #

借助C++23的std::to_underlying，结合编译期数组可实现高效的toString：

// 针对color枚举的编译期字符串映射数组
constexpr std::array color_names = {"unknown", "red", "green", "blue"};

template<>
std::string EnumWrapper<color>::toString() const {
    auto idx = std::to_underlying(val);
    return idx < color_names.size() ? color_names[idx] : "unknown";
}

这种写法要求枚举值从0开始连续，若枚举值不连续，可使用C++20的constexpr std::unordered_map实现编译期映射，运行时直接查表。

C++20/23对枚举扩展的增强 #

1. Concepts：精确约束模板参数，替代繁琐的static_assert，提升代码可读性与错误提示友好度。
2. using enum：C++20允许在函数内直接引入枚举成员，无需重复书写枚举类名，简化代码。
3. std::to_underlying：C++23新增工具函数，无需手动static_cast即可安全获取枚举底层值，避免类型错误。
4. constexpr容器扩展：C++20/23支持constexpr数组、哈希表，可在编译期构建枚举与字符串的映射，运行时零开销查表。
5. 默认特殊成员函数：模板类的拷贝、移动构造函数可默认生成，减少冗余代码。

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