std::to_underlying 用于安全提取有固定底层类型的枚举值,返回其原底层类型整数,不支持无底层类型声明的枚举,不可用于运行时反射或合法性校验。
它解决的是 C++ 中传统强制转换 static_cast 对 scoped 枚举(enum class)不直观、易出错的问题。C++23 之前,你必须手动写类型转换,既冗长又容易漏掉检查底层类型是否匹配;std::to_underlying 提供了类型安全、语义明确的替代方案。
该函数要求枚举必须有确定的底层类型(即不是未指定的 enum),否则编译失败。这包括:
enum class E : uint8_t { a, b };(显式指定)enum class E { a = 1, b = 2 };(隐式推导为 int)enum E : short { a }; (非作用域枚举也支持,但不推荐混用)不支持:enum E { a }; (无底层类型声明,且未赋值 → 底层类型未被标准化推导,GCC/Clang 可能推成 int,但标准不保证)。
它不是统一返回 int 或 long,而是原样返回枚举定义时用的底层类型。这意味着:
enum class E : uint8_t { x = 255 }; → std::to_underlying(e) 返回 uint8_t,不是 int)std::underlying_type_t 完全一致,可用于模板元编程上下文static_cast(std::to_underlying(e))
enum class Status : uint8_t { OK = 0, ERROR = 255 };
Status s = Status::ERROR;
auto val = std::to_underlying(s); // val 的类型是 uint8_t,值为 255
// 下面这行会触发 -Wsign-conversion 警告(如
果启用):
// int x = val; // 不推荐直接赋给有符号类型
它只是一个编译期已知的整数转换,不提供任何运行时信息(比如枚举名、范围检查、是否合法值)。常见误用场景包括:
std::to_underlying 对任意 bit 模式都“成功”,哪怕对应未定义的枚举常量to_string() → 不行,它不携带名称信息,纯数值映射std::from_chars 混搭做字符串解析 → 需额外逻辑校验值是否在枚举有效范围内真正需要安全反序列化时,仍得配合 switch 或查找表做白名单检查。