通过比较枚举NONE与LAST检测越界是否安全（无UB）？

Thrift生成的代码 #

struct Orders {
  enum type {
    NONE = 0,
    FIRST = 1,
    SECOND = 2,
    THIRD = 3,
    LAST = 4,
  };
};

class SessionInfo : public virtual ::apache::thrift::TBase {
public:
    // ...
    std::string client_config;
    ::Orders::type client_order;
};

业务驱动代码 #

void getClientSession(const SessionRequest& request, SessionInfo& response) {
    // Do communication stuff here
    // ...

    // The response.client_order could be accidentally set to -1 on the server side
    // We try to detect and eliminate it on client side
    if (response.client_order < Orders::NONE || response.client_order > Orders::LAST) {
        std::cout << "Bump" << std::endl;
    }
}

方案可行性 #

这种通过对比Orders::NONE和Orders::LAST来检测越界枚举值的方案是可行的：

• Thrift生成的C枚举默认以int作为底层类型，枚举变量可以存储定义范围外的整数（比如-1），这是C标准允许的行为。
• 检测逻辑直接判断变量数值是否落在合法区间[0,4]内，能精准识别像-1这类超出合法枚举值的异常情况。

安全性（是否存在未定义行为UB） #

这种检测方式完全安全，不存在未定义行为：

• C++中枚举类型对象可以隐式转换为其底层整数类型，直接进行数值比较是合法的操作。
• 即便枚举变量存储了超出定义枚举值的数值，它依然是底层类型的合法整数，比较过程不会触发未定义行为。
• 额外提醒：如果后续需要将越界值修正为合法枚举值，直接赋值合法枚举常量即可，不要将非法数值强制转换为枚举类型（当前代码仅做检测，未涉及转换，无需担心）。

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