在C++的类型系统中，强类型枚举（有作用域枚举）和普通无作用域枚举的行为差异很大，比如强类型枚举不会隐式转换为整数，作用域也和类类似，很多模板代码或者通用逻辑需要提前判定传入的类型是否为强类型枚举，这时候就可以用std::is_scoped_enum配合编译期断言来实现校验。
std::is_scoped_enum基础介绍
std::is_scoped_enum是C++23标准引入的类型特性，定义在<type_traits>头文件中，它的作用是编译期检查给定的类型是否为强类型枚举，也就是用enum class或者enum struct声明的枚举类型。它的实例化结果是一个继承自std::integral_constant<bool, value>的类型，value成员在类型是有作用域枚举时为true，否则为false。
使用之前需要包含对应的头文件：
#include <type_traits> // 引入std::is_scoped_enum所在的头文件
结合编译期断言的基本用法
编译期断言通常使用static_assert实现，它可以在编译阶段对常量表达式进行校验，如果校验失败就会直接抛出编译错误，阻止程序编译通过。把std::is_scoped_enum的判定结果作为static_assert的条件，就能实现判定强类型枚举的编译期断言。
基本的使用模板如下：
#include <type_traits>
// 定义一个模板函数，要求传入的类型必须是强类型枚举
template <typename T>
void check_scoped_enum() {
// 编译期断言，如果T不是强类型枚举就报错
static_assert(std::is_scoped_enum<T>::value, "传入的类型必须是强类型枚举");
// 后续的业务逻辑
}
完整使用示例
下面通过一个完整的例子展示实际的使用场景，首先定义普通枚举和强类型枚举，然后分别调用校验函数看效果：
#include <type_traits>
#include <iostream>
// 普通无作用域枚举
enum NormalEnum {
A,
B
};
// 强类型枚举（有作用域枚举）
enum class ScopedEnum {
X,
Y
};
// 强类型枚举另一种声明方式
enum struct AnotherScopedEnum {
M,
N
};
// 编译期校验函数，要求传入的类型是强类型枚举
template <typename T>
void process_enum() {
// 编译期断言，判定T是否为强类型枚举
static_assert(std::is_scoped_enum<T>::value, "参数类型必须为强类型枚举");
std::cout << "类型校验通过，是强类型枚举" << std::endl;
}
int main() {
// 调用强类型枚举，编译通过
process_enum<ScopedEnum>();
process_enum<AnotherScopedEnum>();
// 调用普通枚举，编译失败，触发static_assert报错
// process_enum<NormalEnum>(); // 取消注释会编译报错
// 传入非枚举类型，同样编译失败
// process_enum<int>(); // 取消注释会编译报错
return 0;
}
上面的代码中，当传入ScopedEnum或者AnotherScopedEnum时，std::is_scoped_enum的value为true，static_assert通过，程序正常编译；如果传入NormalEnum或者int，value为false，编译阶段就会直接报错，提示对应的错误信息。
常见注意事项
- std::is_scoped_enum是C++23才引入的特性，如果使用低于C++23的编译器标准，这个工具是无法使用的，需要升级编译器或者调整标准版本。
- std::is_scoped_enum的判定对象是类型本身，不是枚举的实例，所以模板参数需要传类型，不能传枚举值。
- 如果需要同时兼容C++23之前的标准，可以自己实现一个简易的is_scoped_enum特性，利用枚举的作用域特性来判定，不过实现起来会复杂一些，建议优先使用标准库提供的工具。
- static_assert的错误提示信息尽量写得清晰，方便开发者快速定位问题，比如上面例子中的提示就明确说明了需要传入强类型枚举。
自定义实现兼容低版本标准
如果无法使用C++23，可以自己实现一个编译期判定的工具，核心思路是强类型枚举不会隐式转换为整数，而普通枚举可以，结合SFINAE或者模板特化来实现：
#include <type_traits>
// 基础模板，默认不是强类型枚举
template <typename T, typename = void>
struct is_scoped_enum : std::false_type {};
// 特化模板，匹配枚举类型，并且不能隐式转换为整数的就是强类型枚举
template <typename T>
struct is_scoped_enum<T, std::void_t<
std::enable_if_t<std::is_enum_v<T>>,
decltype(static_cast<int>(std::declval<T>()), void())
>> : std::false_type {};
// 再补充一个特化，匹配不能隐式转int的枚举，也就是强类型枚举
template <typename T>
struct is_scoped_enum<T, std::void_t<
std::enable_if_t<std::is_enum_v<T>>,
decltype(static_cast<void>(std::declval<T>()))
>> : std::true_type {};
// 辅助变量模板，方便使用
template <typename T>
inline constexpr bool is_scoped_enum_v = is_scoped_enum<T>::value;
这个自定义实现可以在C++17及更高版本使用，基本能模拟std::is_scoped_enum的功能，不过兼容性和准确性不如标准库的实现，仅作为低版本标准的替代方案。
C++std::is_scoped_enum编译期断言强类型枚举type_traits修改时间：2026-07-22 00:00:48