如何判断C++枚举类（enum class）是否有序？适配遍历接口需求

需求说明 #

• 需要判断**强类型枚举（enum class）**的枚举值是否按定义顺序严格递增
• 实现模板函数getEnumList<Enum>(Enum from, Enum to)，返回从from到to的枚举元素列表
• 若枚举类无序，getEnumList需触发编译错误或运行时异常，避免无效遍历

枚举有序性示例 #

有序枚举 #

// 有序：枚举值随定义顺序递增
enum class data
{
    type1 = 2,
    type2 = 3,
    type3 = 4,
    type4 = 5,
    type5 = 6
};

无序枚举 #

// 无序：枚举值未按定义顺序递增
enum class data
{
    type1 = 3,
    type2 = 2,
    type3 = 4,
    type4 = 6,
    type5 = 5
};

实现方案 #

1. 编译期校验枚举有序性 #

利用C++11及以后的模板元编程，在编译阶段检测枚举值是否按定义顺序递增，直接阻断无效代码编译。首先需要为每个枚举类提供包含所有枚举值的编译期列表，再通过元编程逐个比较相邻值：

#include <type_traits>
#include <vector>
#include <stdexcept>

// 辅助元函数：判断编译期列表是否严格递增
template<typename Enum, Enum... Values>
struct is_enum_sorted;

// 递归终止条件：单个元素或空列表视为有序
template<typename Enum, Enum V>
struct is_enum_sorted<Enum, V> : std::true_type {};

template<typename Enum>
struct is_enum_sorted<Enum> : std::true_type {};

// 递归比较相邻元素
template<typename Enum, Enum V1, Enum V2, Enum... Rest>
struct is_enum_sorted<Enum, V1, V2, Rest...> :
    std::integral_constant<bool,
        (static_cast<std::underlying_type_t<Enum>>(V1) < static_cast<std::underlying_type_t<Enum>>(V2)) &&
        is_enum_sorted<Enum, V2, Rest...>::value
    > {};

// 为枚举类特化，提供完整枚举值列表（示例针对data枚举）
template<>
struct is_enum_sorted<data> : is_enum_sorted<data, 
    data::type1, data::type2, data::type3, data::type4, data::type5> {};

2. 实现getEnumList模板函数 #

结合编译期校验，只有有序枚举才能通过编译，无序枚举会直接触发编译错误：

// 模板函数：仅允许有序枚举调用
template<typename Enum>
std::vector<Enum> getEnumList(Enum from, Enum to)
{
    // 编译期断言：枚举必须有序
    static_assert(is_enum_sorted<Enum>::value, "Enum class is not sorted in increasing order");

    using Underlying = std::underlying_type_t<Enum>;
    Underlying from_val = static_cast<Underlying>(from);
    Underlying to_val = static_cast<Underlying>(to);

    // 运行时校验：from不能大于to
    if (from_val > to_val)
    {
        throw std::invalid_argument("'from' enum value is greater than 'to'");
    }

    std::vector<Enum> result;
    for (Underlying val = from_val; val <= to_val; ++val)
    {
        result.push_back(static_cast<Enum>(val));
    }
    return result;
}

3. 使用示例 #

int main()
{
    // 有序枚举正常使用
    for (const auto& e : getEnumList(data::type2, data::type4))
    {
        // 遍历data::type2、data::type3、data::type4
    }

    // 若使用无序枚举，编译阶段会触发static_assert错误
    return 0;
}

补充说明 #

• 编译期校验依赖于为每个枚举类手动特化is_enum_sorted，提供完整的枚举值定义顺序列表
• 若希望自动获取枚举值列表，可借助C++20反射特性简化实现
• 运行时额外校验from和to的大小关系，避免非法范围输入

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