std::to_underlying是c++23新增函数,仅在启用-c++23且枚举有明确底层类型时可用;c++20及更早需手动实现兼容版本。

std::to_underlying 是 C++23 才有的函数,C++20 及更早版本直接用会编译失败
如果你在 clang 15 / GCC 12 / MSVC 19.32 等支持 C++23 的编译器下启用 -std=c++23(或 -std=gnu++23),std::to_underlying 才可用。C++20 项目里硬写它,会报错:error: 'to_underlying' is not a member of 'std'。
常见误操作是查文档看到“since C++23”却没注意编译标准,结果卡在编译阶段。
- 检查编译器版本和标准:运行
g++ --version并确认命令行含-std=c++23 - MSVC 需 Visual Studio 2022 17.5+ 且项目属性中设置
/std:c++23 - Clang 用户注意:macOS 自带 Clang 不支持 C++23,需用 Homebrew 安装较新版本
只能用于有固定底层类型的枚举(enum class 或带 : int 的 enum)
std::to_underlying 要求枚举必须有明确定义的底层类型,否则编译失败。比如:
enum Color { Red, Green, Blue }; // ❌ 错误:无底层类型声明,不可用 to_underlying
enum class Status : uint8_t { OK, Error }; // ✅ 正确:显式指定底层类型
即使 enum class 没写冒号,C++11 起也默认以 int 为底层类型,所以大多数 enum class 都能用:
组合式C++代码评审方案,融合静态分析、AI推理、多轮迭代评审和C++专项检查,适用于PR审查、增量代码审查、全项目评审和代码质量评分,触发词包括review cpp、cpp代码评审、C++review、代码审查。
enum class Op { Add, Sub };
auto v = std::to_underlying(Op::Add); // 类型是 int,值为 0
- 普通 unscoped enum(不带
class)若未显式指定底层类型(如enum E : short),不能传给std::to_underlying - 底层类型可以是任意整型(
char,uint16_t,long long),std::to_underlying返回对应类型的值,不是统一转成int - 对
enum class E : bool,返回类型是bool,不是int—— 这点容易被忽略
比 (int)e 或 static_cast(e) 更安全,但不解决所有问题
过去常用 static_cast<:underlying_type_t>>(e)</:underlying_type_t> 或裸 static_cast<int>(e)</int>,但前者写法冗长,后者可能截断或符号扩展(比如 e 底层是 uint16_t 却 cast 到 int)。
std::to_underlying(e) 自动推导并返回正确底层类型,避免手动写错类型:
enum class Flag : uint16_t { A = 1, B = 2 };
auto x = std::to_underlying(Flag::A); // uint16_t,值为 1
auto y = static_cast<int>(Flag::A); // int,值虽同但类型不保真,后续位运算可能出问题
</int>
- 它不做任何范围检查:若枚举值超出底层类型表示范围(极少见),行为仍是未定义
- 它不处理枚举值是否合法:传入未定义的数值(如
Flag{0xFFFFU})也能转,但语义上可能无效 - 性能上和
static_cast完全等价,无额外开销 —— 就是语法糖 + 类型安全
替代方案:C++20 及之前怎么安全获取底层值?
如果无法升级到 C++23,推荐封装一个兼容函数:
template<typename e>
constexpr std::underlying_type_t<e> to_underlying(E e) noexcept {
return static_cast<:underlying_type_t>>(e);
}
</:underlying_type_t></e></typename>
这个函数对所有有底层类型的枚举都有效,包括 enum class 和带冒号的 enum,且类型推导准确。
- 注意:仍不能用于无底层类型的旧式
enum(得先加: int) - 别用
decltype(+e)之类技巧——它依赖整型提升规则,在char底层时可能返回int而非原类型 - 宏方案(如
#define TO_UNDERLYING(e) static_cast<...>(e)</...>)易出错,不推荐
std::to_underlying 看似简单,但它的可用性严格绑定编译器、标准和枚举定义方式;最常被忽略的是底层类型缺失和编译标准不匹配这两个前提。C++免费学习笔记(深入):立即使用
在学习笔记中,你将探索 C++ 的入门与实战技巧!










