std::is_scoped_enum仅C++23可用，C++20及更早版本因标准库未实现而编译失败；需用-std=c++23且编译器支持，检测强枚举应改用std::is_enum_v与!std::is_convertible_v组合。
std::is_scoped_enum 只在 C++23 下可用，C++20 及更早版本直接用会编译失败——不是你配错了，是标准里真没有。
std::is_scoped_enum_v 编译报错 'is_scoped_enum' is not a member of 'std'
这是最常遇到的现象，错误信息本身已经说清了原因：编译器的 <type_traits></type_traits> 头文件没声明这个符号。即使你用了 GCC 12+、Clang 15+ 并加了 -std=c++20，依然会失败。因为 std::is_scoped_enum 是 C++23 标准新增的 trait，语言模式设成 C++20 不等于标准库头文件就提供了它。
确认方法很简单：
- GCC/Clang 必须用
-std=c++23或-std=gnu++23（仅语言模式不够，标准库实现也得同步） - MSVC 需 VS 2022 17.5+ 且显式启用
/std:c++23 - 别信
__cplusplus宏值——有些旧版编译器虽定义了 C++23 宏，但<type_traits></type_traits>里仍没加这个 trait
std::is_scoped_enum_v 参数必须是完整、具名的类型
它只接受类型，不接受变量、表达式或未完成定义的枚举。传错会导致硬错误，而不是 SFINAE 友好失败。
立即学习“C++免费学习笔记（深入）”；
常见误用：
-
std::is_scoped_enum_v<e></e>——e是变量名，错 -
std::is_scoped_enum_v<decltype></decltype>—— 若e类型尚未完全可见（比如在模板推导中途），可能失败 - 在类模板中提前引用尚未定义的枚举：
std::is_scoped_enum_v<myenum></myenum>触发硬错误
正确写法：
-
std::is_scoped_enum_v<color></color>（enum class Color { ... };） -
std::is_scoped_enum_v<decltype></decltype>—— 注意：这是取值的类型，不是值本身 - 若需延迟判断，先加
static_assert(std::is_complete_v<t>)</t>确保类型完整
C++20 项目里怎么安全检测强类型枚举
不能靠 std::is_scoped_enum，得回归语义本质：scoped enum 无法隐式转 int，unscoped enum 可以。但要注意底层类型干扰——比如 enum : char {} 可能不满足 std::is_convertible_v<t int></t>，导致误判。
推荐组合判断：
-
std::is_enum_v<t> && !std::is_convertible_v<t std::underlying_type_t>></t></t>—— 更严谨，避开int特定假设 - 或简化版：
std::is_enum_v<t> && !std::is_convertible_v<t int></t></t>（适用于多数场景） - 已有 Boost 的项目，直接用
boost::is_scoped_enum<t>::value</t>，比手写稳定
绝对要避开的坑：
- 用
decltype(T::value)是否合法来判——unscoped enum 同样支持这种写法 - 依赖
typedef或using别名是否带class关键字——trait 不解包别名，只看最终绑定的类型是否为enum class
if constexpr 中用 std::is_scoped_enum_v 的隐藏陷阱
它本身是编译期 trait，但分支内代码仍需语法合法。哪怕 if constexpr 分支不会执行，只要类型不满足，编译器仍会检查并报错。
例如：
template<typename T>
auto foo() {
if constexpr (std::is_scoped_enum_v<T>) {
return static_cast<int>(T{}); // OK for scoped enum
} else {
return T{} + 1; // ❌ 若 T 是非算术类型（如 class），这里直接编译失败
}
}
真正容易被忽略的是：该 trait 对 auto 推导出的类型、模板参数未约束的别名、跨模块声明的枚举都无能为力——它不做 introspect，只做最表层的类型分类。一旦类型不完整或不可见，就不是“返回 false”，而是让整个编译挂掉。
