std:: is_scoped_enum

std::is_scoped_enum является UnaryTypeTrait .

Проверяет, является ли T scoped enumeration type . Предоставляет константу-член value , которая равна true , если T является scoped enumeration type. В противном случае value равна false .

Если программа добавляет специализации для std::is_scoped_enum или std::is_scoped_enum_v , поведение не определено.

Параметры шаблона

Шаблон вспомогательной переменной

Примечания

Возможная реализация

namespace detail
{
void test_conversion(...);          // выбирается, когда E полный и scoped
void test_conversion(int) = delete; // выбирается, когда E полный и unscoped
template<class E>
concept is_scoped_enum_impl =
    std::is_enum_v<E> &&                        // проверяется первым
    requires { detail::test_conversion(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() {}

Смотрите также