std::is_scoped_enum

在标头 `<type_traits>` 定义
template< class T > struct is_scoped_enum;		(C++23 起)

检查 T 是否为有作用域枚举类型。若为有作用域枚举类型则提供等于 true 的成员常量 value 。否则 value 等于 false 。

添加 is_scoped_enum 或 is_scoped_enum_v 的特化的程序行为未定义。

模板形参

T

-

要检查的类型

辅助变量模板

template< class T > inline constexpr bool is_scoped_enum_v = is_scoped_enum<T>::value;		(C++23 起)

继承自 std::integral_constant

成员常量

value

[静态]

若 T 为有作用域枚举类型则为 true ，否则为 false
(公开静态成员常量)

成员函数

operator bool	转换对象为 bool ，返回 `value` (公开成员函数)
operator() (C++14)	返回 `value` (公开成员函数)

成员类型

类型	定义
`value_type`	`bool`
`type`	std::integral_constant<bool, value>

注解

由于当前标准允许枚举类型的名字出现在其枚举基中，例如 enum class E : std::enable_if_t<std::is_scoped_enum_v<E>, int> {}; 得到允许， std::is_scoped_enum 无法不以扩展实现，因为在有作用域与无作用域枚举类型不完整时无法在表达式中区分它们。

然而，所有已知编译器均认为枚举类型在其枚举基中尚未被声明。结果是有作用域枚举类型决不能不完整，并且 std::is_scoped_enum 能实现如下。此为 CWG 问题 2516。

可能的实现

此实现假设有作用域枚举类型始终完整。

namespace detail {
namespace { // 避免 ODR 违规
template<class T>
auto test_sizable(int) -> decltype(sizeof(T), std::true_type{});
template<class>
auto test_sizable(...) -> std::false_type;
 
template<class T>
auto test_nonconvertible_to_int(int)
    -> decltype(static_cast<std::false_type (*)(int)>(nullptr)(std::declval<T>()));
template<class>
auto test_nonconvertible_to_int(...) -> std::true_type;
 
template<class T>
constexpr bool is_scoped_enum_impl = std::conjunction_v<
    decltype(test_sizable<T>(0)),
    decltype(test_nonconvertible_to_int<T>(0))
>;
}
} // namespace detail
 
template<class>
struct is_scoped_enum : std::false_type {};
 
template<class E>
    requires std::is_enum_v<E>
struct is_scoped_enum<E> : std::bool_constant<detail::is_scoped_enum_impl<E>> {};

示例

运行此代码

#include <iostream>
#include <type_traits>
 
class A {};
 
enum E {};
 
enum struct Es { oz };
 
enum class Ec : int {};
 
int main() 
{
    std::cout << std::boolalpha;
    std::cout << std::is_scoped_enum_v<A> << '\n';
    std::cout << std::is_scoped_enum_v<E> << '\n';
    std::cout << std::is_scoped_enum_v<Es> << '\n';
    std::cout << std::is_scoped_enum_v<Ec> << '\n';
    std::cout << std::is_scoped_enum_v<int> << '\n';
}

输出：

false
false
true
true
false

参阅

is_integral (C++11)	检查类型是否为整型 (类模板)
is_arithmetic (C++11)	检查类型是否为算术类型 (类模板)
is_scalar (C++11)	检查类型是否为标量类型 (类模板)
is_enum (C++11)	检查类型是否是枚举类型 (类模板)

语言
标准库
标准库头文件
自立与有宿主
具名要求
语言支持库
概念库 (C++20)
诊断库
工具库
字符串库
容器库
迭代器库
范围库 (C++20)
算法库
数值库
本地化库
输入/输出库
文件系统库 (C++17)
正则表达式库 (C++11)
并发支持库 (C++11)
技术规范
符号索引
外部库