c++23的std::to_underlying有什么用? (安全获取枚举值)

std::to_underlying 用于安全提取有固定底层类型的枚举值,返回其原底层类型整数,不支持无底层类型声明的枚举,不可用于运行时反射或合法性校验。

c++23的std::to_underlying有什么用? (安全获取枚举值)

std::to_underlying 用来安全提取枚举底层整数值

它解决的是 C++ 中传统强制转换 static_cast(e) 对 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,但标准不保证)。

返回值类型严格等于枚举的底层类型

它不是统一返回 intlong,而是原样返回枚举定义时用的底层类型。这意味着:

降迹灵AI

降迹灵AI

用户口碑TOP级的降AIGC率、降重平台

下载

立即学习C++免费学习笔记(深入)”;

  • 可避免隐式截断或符号扩展问题(比如 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 或查找表做白名单检查。

https://www.php.cn/faq/1963762.html

发表回复

Your email address will not be published. Required fields are marked *