types_is_class

types_is_class (클래스 타입 판별)

std::is_class는 주어진 타입 T가 유니온이 아닌 클래스 타입인지 확인하는 단항 타입 특질(UnaryTypeTrait)이에요. 이 페이지에서는 std::is_class의 정의, 템플릿 파라미터, 상속된 멤버, 예제 코드를 살펴볼게요.

출처: cppreference

본문

개요

std::is_class는 <type_traits> 헤더에 정의되어 있으며 C++11부터 사용할 수 있어요.

std::is_class는 T가 유니온이 아닌 클래스 타입인지 검사해요. T가 클래스 타입(단, 유니온 제외)이면 멤버 상수 value가 true가 되고, 그렇지 않으면 value는 false가 돼요.

프로그램에서 std::is_class 또는 std::is_class_v에 대한 특수화를 추가하면 동작이 정의되지 않아요(undefined behavior).

템플릿 파라미터

헬퍼 변수 템플릿

C++17부터 다음 헬퍼 변수 템플릿을 사용할 수 있어요.

std::integral_constant에서 상속됨

std::is_class는 std::integral_constant<bool, value>에서 상속받아요.

멤버 상수

멤버 함수

멤버 타입

가능한 구현

namespace detail { template < class T > std :: integral_constant < bool , ! std :: is_union < T >:: value > test ( int T ::* ); template < class > std :: false_type test (...); } template < class T > struct is_class : decltype ( detail :: test < T > ( nullptr )) {};

예제

#include <type_traits>

struct A {};
static_assert(std::is_class<A>::value);

class B {};
static_assert(std::is_class_v<B>);
static_assert(not std::is_class_v<B*>);
static_assert(not std::is_class_v<B&>);
static_assert(std::is_class_v<const B>);

enum class E {};
static_assert(not std::is_class<E>::value);

union U { class UC {}; };
static_assert(not std::is_class_v<U>);
static_assert(std::is_class_v<U::UC>);

static_assert(not std::is_class_v<int>);

static_assert(std::is_class_v<struct S>, "incomplete class");
static_assert(std::is_class_v<class C>, "incomplete class");

static_assert(std::is_class_v<decltype([]{})>);

int main() {}

같이 보기

더 알아보기 (Learn more)

cppreference