std::is_scoped_enum 是 C++23 引入的编译期类型特征，仅当类型为 enum class 或 enum struct 时返回 true，与是否指定底层类型无关；它属于 std::is_enum 的子集，且要求类型必须完全定义，否则触发硬错误。
std::is_scoped_enum 是 C++23 引入的类型特征，用于在编译期判断一个类型是否为 enum class 或 enum struct ——也就是“作用域枚举”（scoped enum）。它**不能**用来区分“强类型枚举”和“弱类型枚举”的语义强度，因为 C++ 中根本不存在“弱类型枚举”这个标准术语；所谓“普通枚举”（unscoped enum）本质就是 enum，它不带 class 或 struct 说明符。
为什么 std::is_scoped_enum 返回 false 即使枚举有 underlying_type
底层类型（如 enum E : uint8_t {}）与作用域无关。C++ 规定：只有带 class 或 struct 的枚举才是 scoped enum，哪怕它显式指定了底层类型，也不影响 std::is_scoped_enum 的判定逻辑。
-
enum E1 : int {}→std::is_scoped_enum_v<e1></e1>为false -
enum class E2 : int {}→std::is_scoped_enum_v<e2></e2>为true -
enum struct E3 {}→ 同样为true，struct和class在此等价
用 std::is_scoped_enum 做 SFINAE 或 if constexpr 分支时的常见误判
直接对未完成定义的枚举使用该 trait 会触发硬错误（hard error），而非 SFINAE 友好失败。例如在类模板中提前引用尚未定义的枚举类型，std::is_scoped_enum_v<t></t> 将导致编译失败，而不是静默跳过该特化。
- 确保枚举类型在使用前已完全定义（not just declared）
- 若需延迟判断，可包装一层
decltype+declval辅助类型推导，但更稳妥的做法是约束模板参数为 complete type：static_assert(std::is_complete_v<t>)</t> - 在
if constexpr中使用时，仍需保证分支内代码对所有可能类型都语法合法（即使不执行），否则编译器仍会检查
std::is_scoped_enum 与 std::is_enum 的关系不是互斥而是包含
std::is_scoped_enum 是 std::is_enum 的子集：所有 scoped enum 都是 enum，但反之不成立。这意味着你不能靠 “非 scoped” 推出 “就是 unscoped enum”——因为 std::is_enum_v<t></t> 为 true 且 std::is_scoped_enum_v<t></t> 为 false 才能确认它是传统 enum。
立即学习“C++免费学习笔记（深入）”；
-
enum E {}→is_enum:true,is_scoped_enum:false -
enum class E {}→ 两者均为true -
int→ 两者均为false - 注意：C++23 之前没有
std::is_scoped_enum，有人用std::is_convertible_v<e int></e>试探是否为 unscoped enum，但这不可靠（scoped enum 也可重载operator int）
真正容易被忽略的是：该 trait 在 C++20 模块（modules）中若跨模块使用，需确保导入了 <type_traits></type_traits>，且模块接口单元中声明的枚举类型，在实现单元中使用该 trait 判断时，必须满足 ODR-use 和可见性规则——否则行为未定义。
