std::is_scoped_enum不能直接用于SFINAE是因为它在C++23前不存在，导致硬错误而非SFINAE可捕获的失败；安全做法是先探测其存在性，再结合std::void_t或concepts做条件分发。
std::is_scoped_enum在SFINAE中为什么不能直接用
因为std::is_scoped_enum是C++23才引入的类型特征，而SFINAE依赖表达式有效性——它本身不产生编译错误，但若在C++20或更早标准下使用，std::is_scoped_enum根本不存在，编译器会报error: 'is_scoped_enum' is not a member of 'std'，这不是SFINAE可捕获的失败，而是硬错误，模板解析直接终止。
如何安全地在C++20及之前做等效SFINAE过滤
必须先检测std::is_scoped_enum是否存在，再基于其结果启用约束。核心思路是：用decltype + void_t探测std::is_scoped_enum<t>::value</t>是否可求值，再结合std::enable_if_t或C++20 concepts做分发。
- 对C++20及以上：直接用
requires std::is_scoped_enum_v<t></t>最简洁 - 对C++17兼容场景：定义探测别名模板，例如
template<typename t> using has_is_scoped_enum_v = decltype(std::is_scoped_enum_v<t>);</t></typename>，再用std::void_t<...></...>包裹它实现SFINAE分支 - 注意
std::is_scoped_enum仅对scoped enum（即enum class）返回true；enum struct等价，但裸enum（unscoped）返回false
一个可跨标准的SFINAE函数重载示例
下面这个print_enum_name只接受scoped enum，并在C++17/C++20/C++23下都能编译：
// C++17 fallback detector
template<typename T>
using is_scoped_enum_test = decltype(std::is_scoped_enum_v<T>);
<p>template<typename T>
std::enable_if_t<std::is_enum_v<T> &&
(sizeof(typename std::is_scoped_enum<T>::type) > 0 || // C++23
std::is_same_v<decltype(std::is_scoped_enum_v<T>), bool>), // C++23 fallback detect
void>
print_enum_name(const T&) { /<em> ... </em>/ }</p><p>// 更稳妥的写法（推荐）：用变量模板存在性探测
template<typename T, typename = void>
struct has_std_is_scoped_enum : std::false_type {};</p><p>template<typename T>
struct has_std_is_scoped_enum<T, std::void_t<decltype(std::is_scoped_enum_v<T>)>>
: std::true_type {};</p><p>template<typename T>
std::enable_if_t<has_std_is_scoped_enum<T>::value && std::is_scoped_enum_v<T>, void>
print_enum_name(const T&) { /<em> handle scoped enum </em>/ }
常见误用和坑点
最容易栽在“以为std::is_scoped_enum能当SFINAE开关直接用”，其实它不是表达式，而是类型特征类模板，std::is_scoped_enum<T>本身总是合法的（即使T不是enum），但std::is_scoped_enum_v<T>在C++23前未定义，直接引用就炸。
立即学习“C++免费学习笔记（深入）”；
- 不要写
std::enable_if_t<std::is_scoped_enum_v<T>>——C++20下编译不过 - 不要用
std::is_scoped_enum<T>::value代替std::is_scoped_enum_v<T>，前者在C++23前也不存在 - 注意ADL干扰：如果用户自定义了
is_scoped_enum_v，可能意外匹配，建议始终限定为std::is_scoped_enum_v - Clang 14+ 和 GCC 12+ 才完整支持
std::is_scoped_enum，旧版本即使开了-std=c++2b也可能静默忽略
真正麻烦的不是怎么写，而是得同时应付标准演进、编译器实现进度、以及用户实际构建环境——往往得靠__cpp_lib_is_scoped_enum宏做预处理分路，而不是纯SFINAE兜底。
