std::is_scoped_enum 是 C++23 新增标准库特性，C++20 及更早版本不支持；若需兼容旧标准，应使用基于 static_cast + SFINAE 的自定义实现，并注意编译器与标准库版本差异。
std::is_scoped_enum 在 C++23 中才正式成为标准库组件，C++20 及更早版本中**不存在该类型特征**。如果你在 C++20 或之前编译器上看到它可用，大概率是编译器（如 GCC 12+、Clang 15+）提前实现了 C++23 草案特性，但行为未必完全稳定，且不具可移植性。
为什么 std::is_scoped_enum 在 C++20 编译失败？
因为它是 C++23 引入的，定义在 <type_traits> 中。C++20 标准文档里压根没有这个 trait。常见错误现象：
- 编译报错：
error: 'is_scoped_enum' is not a member of 'std' - 即使启用了
-std=c++20，依然不可用 —— 它和语言模式无关，只和标准库实现有关 - 某些 IDE（如旧版 VS Code + clangd）可能因头文件索引不全而标红，即使实际编译通过
如何在 C++20 或更低版本中模拟判断作用域枚举？
核心思路：利用 scoped enum 无法隐式转换为整型，而 unscoped enum 可以；再结合 SFINAE 或 decltype + static_cast 检测转换是否合法。一个轻量、无依赖的实现如下：
template <typename T>
struct is_scoped_enum {
private:
template <typename U>
static auto test(int) -> decltype(static_cast<int>(std::declval<U>()), std::true_type{});
template <typename>
static std::false_type test(...);
public:
static constexpr bool value = std::is_enum_v<T> && !decltype(test<T>(0))::value;
};
// 用法示例
enum class Color { red, green }; // scoped
enum Shape { circle, square }; // unscoped
static_assert(is_scoped_enum<Color>::value); // ✅ true
static_assert(!is_scoped_enum<Shape>::value); // ✅ true
注意点：
C++ Code Review Master
下载
组合式C++代码评审方案，融合静态分析、AI推理、多轮迭代评审和C++专项检查，适用于PR审查、增量代码审查、全项目评审和代码质量评分，触发词包括review cpp、cpp代码评审、C++review、代码审查。
立即学习“C++免费学习笔记（深入）”；
- 必须先
std::is_enum_v<T>排除非枚举类型，否则static_cast<int>对非枚举会硬报错（不是 SFINAE 友好） - 不能仅靠
std::is_convertible_v<T, int>：某些 unscoped enum 若底层类型非int（如enum : char），可能不满足到int的隐式转换，导致误判 - 该检测对
enum class和enum struct一视同仁，符合标准语义
C++23 下直接使用 std::is_scoped_enum 的注意事项
启用前确认两点：编译器标准库支持（如 libstdc++ 13 / libc++ 17 / MSVC 19.35+），以及显式启用 C++23 模式（-std=c++23 或 /std:c++23）。
- 它是一个变量模板：
std::is_scoped_enum_v<T>是推荐写法，比::value更简洁 - 对未定义行为的枚举（如前置声明后未定义）仍会返回
false，不会触发 ODR 违规 - 与
std::is_enum_v是正交关系：scoped enum 一定是 enum，但 enum 不一定是 scoped —— 所以is_scoped_enum_v<T>为true时，is_enum_v<T>必然为true - 不检测枚举是否“带作用域别名”（如
using E = enum class {...}），只看类型本身是否为 scoped enum 类型
最易被忽略的一点：跨编译器兼容性。即使你本地用 GCC 13 + C++23 跑通了 std::is_scoped_enum，CI 环境若用的是 Clang 14 或旧版 MSVC，就会直接编译失败 —— 此时回退到自定义 trait 更稳妥。
