如何安全地将数值转换为枚举类型并设置回退值？

核心结论 #

这类完全通用的safe_cast_to_enum模板函数在C++20及之前的标准中无法实现，因为C没有内置反射机制来自动获取枚举类型的所有合法取值。直到C23引入了反射库的核心特性，才具备了实现这类通用函数的语言基础。

受限约束下的可行方案 #

如果能接受额外的假设条件，可以在C++11及之后版本中实现半通用的安全转换：

假设1：枚举值为连续整数范围 #

若枚举的合法取值是连续的整数区间（比如从某个起始值到结束值），可通过范围检查实现：

#include <type_traits>

template <typename E, E fallback>
E safe_cast_to_enum(std::underlying_type_t<E> e) {
    using Underlying = std::underlying_type_t<E>;
    // 要求枚举定义First和Last成员，对应区间首尾
    constexpr Underlying min_val = static_cast<Underlying>(E::First);
    constexpr Underlying max_val = static_cast<Underlying>(E::Last);
    
    if (e >= min_val && e <= max_val) {
        return static_cast<E>(e);
    }
    return fallback;
}

假设2：提前注册所有合法枚举值 #

为每个枚举类型手动注册合法值集合，通过模板特化注入检查逻辑：

#include <type_traits>
#include <array>
#include <algorithm>

// 基础模板，需针对具体枚举特化
template <typename E>
struct EnumValidValues {
    static constexpr std::array<std::underlying_type_t<E>, 0> values{};
};

// 通用安全转换函数
template <typename E, E fallback>
E safe_cast_to_enum(std::underlying_type_t<E> e) {
    using Underlying = std::underlying_type_t<E>;
    const auto& valid_values = EnumValidValues<E>::values;
    
    if (std::find(std::begin(valid_values), std::end(valid_values), e) != std::end(valid_values)) {
        return static_cast<E>(e);
    }
    return fallback;
}

// 示例：针对Color枚举的特化
enum class Color { Red, Green, Blue };
template <>
struct EnumValidValues<Color> {
    static constexpr std::array<std::underlying_type_t<Color>, 3> values{
        static_cast<std::underlying_type_t<Color>>(Color::Red),
        static_cast<std::underlying_type_t<Color>>(Color::Green),
        static_cast<std::underlying_type_t<Color>>(Color::Blue)
    };
};

标准版本补充说明 #

• C++20及更早：无反射能力，无法自动获取枚举的合法取值集合，因此无法实现完全通用的安全转换。
• C++23：通过反射库的std::reflect::enumerators等特性，可在编译期枚举枚举的所有成员，从而实现真正通用的safe_cast_to_enum。

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