聊一聊C++23里一个很实用的工具——std::to_underlying。它专门用来把枚举值安全、类型明确地转成它底层的整数类型。注意,它是一个constexpr函数模板,不是宏,也不是模板别名。使用时必须传进来的是枚举值,而不是枚举类型或者类型名。废话不多说,直接切正题。

最常踩的坑是什么?就是把它当std::underlying_type用。比如写成std::to_underlying或者std::to_underlying(Status),都会直接编译失败。为什么?因为它的参数是一个(参数类型是 E),不是类型(不是 typename E)。

正确的用法只有一种:传一个已经定义好的枚举变量或者字面量。看几个例子就明白了:

但千万别误会,它虽然叫“安全转换”,实际上并不做任何范围检查。它只是原封不动地把枚举值转发到它的底层类型,不会校验是否溢出。一旦底层类型装不下你塞进去的值,行为就是未定义的。

具体来说:

说到这,就不得不提一下它和 std::underlying_type_t 的关系。这两者分工明确,互不替代:一个处理值,一个处理类型。混着用就容易逻辑混乱。

最后提醒一个最容易忽略的点:如果你的枚举是前向声明的——比如 enum class E;,而定义在别处——那么 std::to_underlying 没法实例化,因为底层类型未知。这意味着它不能用在那种只靠前向声明就能用的接口设计里。这点在实际编码中很容易翻车,得留个心眼。

本文转载于:https://www.php.cn/faq/2318557.html 如有侵犯,请联系zhengruancom@outlook.com删除。
免责声明:正软商城发布此文仅为传递信息,不代表正软商城认同其观点或证实其描述。