std:: is_scoped_enum

std::is_scoped_enum 是一个 UnaryTypeTrait 。

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

如果程序为 std::is_scoped_enum 或 std::is_scoped_enum_v 添加特化，则行为是未定义的。

模板参数

辅助变量模板

注释

可能的实现

namespace detail
{
void test_conversion(...);          // 当 E 为完整且有作用域时被选中
void test_conversion(int) = delete; // 当 E 为完整且无作用域时被选中
template<class E>
concept is_scoped_enum_impl =
    std::is_enum_v<E> &&                        // 首先检查此项
    requires { detail::test_conversion(E{}); }; // 当 E 不完整时，在重载决议前为病式
                                                // 当 E 不完整时
} // namespace detail
template<class T>
struct is_scoped_enum : std::bool_constant<detail::is_scoped_enum_impl<T>> {};

示例

#include <type_traits>
static_assert(std::is_scoped_enum_v<int> == false);
class A {};
static_assert(std::is_scoped_enum_v<A> == false);
enum B { self_test = std::is_scoped_enum_v<B> };
static_assert(std::is_scoped_enum_v<B> == false);
static_assert(!self_test);
enum struct C { final, import, module };
static_assert(std::is_scoped_enum_v<C> == true);
enum class D : int { pre, post, override };
static_assert(std::is_scoped_enum_v<D> == true);
enum class E;
static_assert(std::is_scoped_enum_v<E> == true);
int main() {}

参见