std:: is_scoped_enum

std::is_scoped_enum 는 UnaryTypeTrait 입니다.

T 가 scoped enumeration type 인지 확인합니다. T 가 scoped enumeration type인 경우 value 멤버 상수가 true 와 동일한 값을 제공합니다. 그렇지 않은 경우 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() {}

참고 항목