如何处理switch-case中值初始化的enum class实例？

C++的强类型枚举（enum class）并不会强制限制实例只能是枚举中定义的枚举项，值初始化（Enum{}）会生成对应底层整数0值的实例，这是标准允许的行为。针对这种情况，你可以通过以下几种方式处理：

1. 为枚举添加默认0值项 #

直接在枚举定义中补充一个值为0的枚举项，让值初始化的实例对应合法的枚举值，之后在switch中新增对应的case分支处理：

enum class Enum {
    None = 0,
    A = 1,
    B = 2,
};

对应的switch代码：

switch (instance) {
    case Enum::A:
        // 处理A的逻辑
        break; 
    case Enum::B:
        // 处理B的逻辑
        break;
    case Enum::None:
        // 处理默认初始化的情况
        break;
}

2. 在switch中添加default分支 #

如果不想修改枚举定义，可以在switch语句中添加default分支，统一处理所有不属于A/B的非法值（包括0值和其他手动构造的非法枚举实例）：

switch (instance) {
    case Enum::A:
        // 处理A的逻辑
        break; 
    case Enum::B:
        // 处理B的逻辑
        break;
    default:
        // 处理非法值，比如抛出异常、记录日志
        throw std::invalid_argument("无效的Enum实例");
}

3. 封装枚举以禁止非法构造 #

如果要从根源避免非法实例的创建，可以用类封装枚举，只提供生成合法枚举值的接口，同时禁用默认构造函数：

class EnumWrapper {
public:
    enum class Enum {
        A = 1,
        B = 2,
    };

    // 仅提供生成合法实例的方法
    static EnumWrapper createA() { return EnumWrapper{Enum::A}; }
    static EnumWrapper createB() { return EnumWrapper{Enum::B}; }

    Enum getValue() const { return value; }

private:
    // 私有构造，仅允许内部创建合法实例
    explicit EnumWrapper(Enum val) : value(val) {}
    Enum value;

    // 禁用默认构造，避免值初始化
    EnumWrapper() = delete;
};

这样外部代码无法直接创建值为0的非法实例，只能通过提供的工厂方法获取合法的枚举包装对象。

需要注意的是：C++标准规定枚举类型的底层是整数类型，因此它可以存储该整数类型的任何有效值，枚举中列出的项只是预定义的合法值，并非唯一允许的值。强类型枚举仅限制了隐式类型转换，并没有约束存储的值范围。

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