C++如何遍历给定枚举所有变体 校验其是否为unordered_map键

原生C标准（C23及更早版本）没有提供内置的枚举反射能力，无法直接遍历某个枚举类型的所有变体，但可以通过以下几种可靠方案实现需求：检查std::unordered_map<Enum, Value_Type>是否包含所有枚举变体作为键。

方案1：手动维护枚举值列表（全版本兼容，零依赖） #

这是兼容性最好、最可控的实现方式，适用于所有C++版本，无论枚举值是否连续赋值都能正常工作：

1. 定义枚举类型后，在紧邻位置维护一个存储所有枚举变体的常量数组
2. 遍历该数组，逐个检查每个枚举值是否存在于map中即可

示例代码：

// 枚举定义
enum class Status {
    Ok,
    Error,
    Pending,
    Cancelled
};

// 紧邻枚举维护所有变体的列表，新增枚举时同步更新这里
constexpr std::array<Status, 4> kAllStatusValues = {
    Status::Ok,
    Status::Error,
    Status::Pending,
    Status::Cancelled
};

// 通用检查函数
template<typename E, typename V, size_t N>
bool isAllEnumKeysPresent(const std::unordered_map<E, V>& target_map, 
                          const std::array<E, N>& all_enum_vals) {
    for (const auto& enum_val : all_enum_vals) {
        // C++20之前的版本可替换为 target_map.find(enum_val) == target_map.end()
        if (!target_map.contains(enum_val)) {
            return false;
        }
    }
    return true;
}

如果你的枚举满足从0开始连续赋值、无手动指定跳号值的条件，可以省掉手动维护数组的步骤，在枚举末尾加一个哨兵值，通过数值循环遍历：

enum class Status {
    Ok,
    Error,
    Pending,
    Cancelled,
    COUNT // 哨兵值，必须放在枚举最后，值等于枚举变体总数
};

// 检查逻辑
bool checkMap(const std::unordered_map<Status, int>& map) {
    for (int i = 0; i < static_cast<int>(Status::COUNT); ++i) {
        if (!map.contains(static_cast<Status>(i))) {
            return false;
        }
    }
    return true;
}

注意：如果枚举存在手动赋值导致值不连续的情况，绝对不要用哨兵循环的方案，会遍历到不存在的枚举值，导致检查逻辑完全失效。

方案2：借助枚举反射工具（免手动维护列表） #

如果使用C++17及以上版本，可以用轻量级的头文件-only枚举反射工具，这类工具通过模板元编程和编译器内置特性实现枚举值的自动提取，不需要手动维护枚举值列表，新增枚举变体后不需要同步修改配套代码，直接调用工具提供的接口就能拿到所有枚举变体的可遍历序列，后续检查逻辑和手动方案完全一致。

如果后续升级到支持静态反射的C++26标准，也可以直接用标准库提供的反射接口获取枚举所有变体，不需要依赖额外工具。

注意事项 #

• 手动维护枚举值列表时，建议在枚举定义处加明确注释，提醒后续修改代码的开发者新增枚举变体时同步更新值列表，避免漏项
• 不要用强制转换整数值的方式遍历非连续赋值的枚举，会产生未定义行为
• 如果枚举变体数量较多，手动维护列表容易出错，优先选自动反射的方案

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