std::is_scoped_enum 是 C++23 引入的编译期类型特性，用于判断类型是否为 enum class/struct；它返回 std::true_type 或 std::false_type，仅适用于 SFINAE、requires 或 static_assert 等编译期约束，需配合 std::remove_cvref_t 处理 cv-qualified 类型。
std::is_scoped_enum 是什么，它能做什么
std::is_scoped_enum 是 C++23 引入的类型特性（type trait），用于在编译期判断一个类型是否为 scoped enum（即用 enum class 或 enum struct 定义的强类型枚举）。它返回 std::true_type 或 std::false_type，不是运行时函数，不能用于 if 判断，只能用于 SFINAE、requires 或 static_assert 等编译期约束场景。
注意：C++20 的 std::is_enum_v<t></t> 会同时匹配 enum 和 enum class；而 std::is_scoped_enum_v<t></t> 只对 enum class 返回 true，对传统 enum 和非枚举类型都返回 false。
用 requires 子句限制模板参数必须是 scoped enum
C++20 概念（concepts）是最清晰、最现代的方式。直接在函数模板声明中加 requires std::is_scoped_enum_v<t></t> 即可：
template<typename T>
requires std::is_scoped_enum_v<T>
void process_enum(T e) {
// 只接受 enum class
}
这样调用时：
立即学习“C++免费学习笔记（深入）”；
-
enum class Color { Red, Green };→ ✅ 编译通过 -
enum Legacy { A, B };→ ❌ 编译错误，不满足 requires -
int x;→ ❌ 同样不满足
优势是错误信息明确（例如 “constraints not satisfied”），且不污染重载集 —— 不满足条件的模板根本不会参与重载决议。
组合式C++代码评审方案，融合静态分析、AI推理、多轮迭代评审和C++专项检查，适用于PR审查、增量代码审查、全项目评审和代码质量评分，触发词包括review cpp、cpp代码评审、C++review、代码审查。
用 static_assert 在函数体内做兜底检查
如果项目还在用 C++17 或需兼容旧标准，可以用 static_assert 替代：
template<typename T>
void process_enum(T e) {
static_assert(std::is_scoped_enum_v<T>, "T must be a scoped enum (enum class)");
// ...
}
但要注意：这属于“事后检查”，模板仍会被实例化，若 T 是不可用类型（比如未定义的类），可能触发更晦涩的错误（如“incomplete type in template instantiation”）。相比 requires，它更像一层防御，而非约束设计。
另外，static_assert 不阻止重载冲突 —— 如果你有多个同名模板函数，这个版本仍会参与重载，直到实例化时才失败。
别忘了命名空间和标准库版本限制
std::is_scoped_enum 在 C++23 才正式标准化。部分编译器（如 GCC 13+、Clang 16+）在 C++20 模式下已预置支持，但需确认：
- 编译选项是否启用 C++23（
-std=c++23）或至少 C++20 + 扩展支持 - 头文件只需
<type_traits>，无需额外 include - MSVC 19.35+ 支持，但早期版本可能仅通过
_HAS_CXX23宏控制
如果你的环境不支持，替代方案是手动检测：检查 T 是否为枚举（std::is_enum_v<T>），再尝试取其底层类型（std::underlying_type_t<T>）——传统 enum 在某些上下文中可能无法推导底层类型，但这不是可靠判据，容易误判。真要兼容老标准，建议升级工具链或接受折中（比如只用 std::is_enum_v + 文档约定）。
真正容易被忽略的是：即使写了 requires std::is_scoped_enum_v<T>，如果传入的是枚举的 cv-qualified 类型（如 const Color&），T 是引用/const 类型，std::is_scoped_enum_v<const Color&> 会是 false。务必先 std::remove_cvref_t<T>：
template<typename T> requires std::is_scoped_enum_v<std::remove_cvref_t<T>> void process_enum(T&& e);
