c++oding="utf-8" ?>

应优先使用C++23的std::is_scoped_enum_v（需完整类型、正确包含头文件及编译标准），否则回退至兼容C++11的复合trait：is_enum_v && !is_convertible_v。

如果您在模板元编程或编译期断言中需要精确区分 enum class 与传统 enum，但 std::is_scoped_enum_v 编译失败或行为异常，则问题很可能源于标准版本不匹配、类型不完整或误传参数。以下是判定强类型枚举的多种可靠方法：

一、启用 C++23 并正确使用 std::is_scoped_enum_v

该方法仅适用于已升级至 C++23 的项目，依赖标准库实现而非仅编译器语言模式开关。必须确保 已包含，且枚举类型为完整具名类型。

1、在源文件顶部添加 #include 。

2、确认编译命令启用 C++23 标准：GCC/Clang 使用 -std=c++23，MSVC 使用 /std:c++23。

3、验证 __cplusplus 宏值是否 ≥ 202302L，例如通过 static_assert(__cplusplus >= 202302L, "C++23 required");。

4、仅对具名枚举类型传参：std::is_scoped_enum_v（✅ 正确），禁止使用 std::is_scoped_enum_v（❌ e 是变量名）。

二、C++20 及更早版本的兼容判定方案

该方法基于 scoped enum 的本质语义特征——无法隐式转换为整型，配合 std::is_enum_v 进行双重约束，完全兼容 C++11 起标准，无硬错误风险。

1、定义复合 trait：template constexpr bool is_scoped_enum_v = std::is_enum_v && !std::is_convertible_v;

2、前置检查 std::is_enum_v，防止对非枚举类型调用 std::is_convertible_v 导致硬编译失败。

3、注意：不能单独使用 std::is_convertible_v，因底层类型非 int 的 unscoped enum（如 enum : char）可能不满足隐式转 int，造成误判。

三、SFINAE 友好型自定义 trait 实现

该方法通过 std::void_t 和 std::enable_if 构建延迟求值机制，避免未完成定义类型触发硬错误，适用于模板内部提前引用场景。

C++14

C++14 对 C++11 的修正与增强版本，适合旧系统维护和较老工具链兼容。

下载

1、声明主模板返回 false：template struct is_scoped_enum : std::false_type {};

2、特化模板仅当类型为枚举且不可隐式转 int 时生效：template struct is_scoped_enum> && std::is_enum_v>>> : std::true_type {};

3、使用时需确保 std::underlying_type_t 合法，即 T 必须为完整枚举类型。

四、借助 Boost 库的稳定检测

若项目已集成 Boost，可直接利用其经过充分测试的实现，规避手写 trait 的边界 case 风险，且支持更广的编译器兼容性。

1、包含头文件：#include 。

2、使用 boost::is_scoped_enum::value 进行判断，其内部已处理底层类型推导与 SFINAE 友好性。

3、无需手动验证 __cplusplus 或编译器版本，boost::is_scoped_enum 支持 C++11 起所有主流编译器。

五、静态断言中的安全嵌入方式

在 if constexpr 或 static_assert 中使用上述任一方法时，必须确保分支内所有代码对当前类型语法合法，否则即使不执行也会引发编译错误。

1、对类型完整性做前置断言：static_assert(std::is_complete_v, "T must be a complete type");

2、在 if constexpr 分支中，避免出现仅对 scoped enum 合法的操作（如 static_cast(t)），应统一使用显式转换或重载函数封装。

3、禁止在类模板定义体内直接使用 std::is_scoped_enum_v，若 MyEnum 尚未定义，将触发硬错误而非 SFINAE 跳过。

C++免费学习笔记（深入）：立即使用
在学习笔记中，你将探索 C++ 的入门与实战技巧！