C++如何使用std::is_scoped_enum检查强类型枚举-C++-PHP中文网

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

std::is_scoped_enum 是 c++23 引入的类型特征，用于编译期判断类型是否为 enum class 或 enum struct；对传统 enum 返回 false，不关心底层类型是否显式指定，且需传入完整类型名而非枚举值。

c++如何使用std::is_scoped_enum检查强类型枚举

std::is_scoped_enum 是什么，它能判断哪些枚举

std::is_scoped_enum 是 C++23 引入的类型特征（type trait），用于在编译期判断一个类型是否为作用域限定枚举（即 enum class 或 enum struct）。它对传统 enum（非作用域限定）返回 false，哪怕该 enum 声明了底层类型（如 enum : int）。

注意：C++20 及更早标准中没有这个 trait；若用 GCC/Clang 编译，需显式启用 C++23（-std=c++23），且 libstdc++/libc++ 版本需支持（GCC 13+、Clang 16+）。

怎么写一个有效的编译期检查

直接使用 std::is_scoped_enum_v<t></t> 即可获取布尔值。常见误用是传入枚举值（而非类型），这会导致编译失败：

enum class Color { Red, Green };
static_assert(std::is_scoped_enum_v<color>); // ✅ 正确：传类型
static_assert(std::is_scoped_enum_v<:red>); // ❌ 错误：Color::Red 是值，不是类型</:red></color>

其他要点：

必须传入完整类型名，不能省略 class 关键字（如 enum E { A }; 不算 scoped，std::is_scoped_enum_v<e></e> 为 false）
支持带模板参数的枚举类（如 template<typename t> enum class Flag { On, Off };</typename>），但需具体化类型（std::is_scoped_enum_v<flag>></flag>）
不关心底层类型是否显式指定：enum class X : char {} 和 enum class Y {} 都返回 true

和 std::is_enum 的区别在哪

std::is_enum_v<t></t> 判断的是“是否为任意枚举类型”，包括传统 enum 和 enum class；而 std::is_scoped_enum_v<t></t> 是它的严格子集 —— 只对 enum class/enum struct 返回 true。

C++14

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

下载

典型用途是 SFINAE 或 concept 约束中做精细化类型分发：

template<typename t>
requires std::is_scoped_enum_v<t>
void handle_scoped(T e) { /* ... */ }
<p>template<typename t>
requires std::is_enum_v<t> && !std::is_scoped_enum_v<t>
void handle_unscoped(T e) { /<em> ... </em>/ }</t></t></typename></p></t></typename>

漏掉 !std::is_scoped_enum_v<t></t> 会导致传统 enum 同时满足两个约束，引发重载歧义。

兼容性 fallback 怎么写（C++20 及更早）

如果无法升级到 C++23，可用以下 traits 模拟（原理：scoped enum 不能隐式转为整型，但可取地址；unscoped enum 可隐转，但取址需额外处理）：

template<typename t>
constexpr bool is_scoped_enum_v = 
    std::is_enum_v<t> &&
    !std::is_convertible_v<t std::underlying_type_t>>;</t></t></typename>

但该 fallback 有缺陷：