types_is_object

types_is_object (객체 타입 판별)

이 페이지는 C++ 표준 라이브러리의 std::is_object 타입 특성에 대해 설명해요. 이 타입 특성은 주어진 타입이 객체 타입인지 아닌지를 컴파일 타임에 판별해요. 객체 타입이면 value가 true가 되고, 그렇지 않으면 false가 돼요.

출처: cppreference

본문

<type_traits> 헤더에 정의되어 있어요. std::is_object는 UnaryTypeTrait(단항 타입 특성)이에요.

만약 T가 객체 타입이라면, 즉 함수 타입, 참조 타입, void 타입을 제외한 모든 cv 한정 타입이라면, 멤버 상수 value는 true가 돼요. 그 외의 모든 타입에 대해서는 value가 false예요.

프로그램에서 std::is_object 또는 std::is_object_v에 대한 특수화를 추가하면 동작이 정의되지 않아요.

템플릿 매개변수

| T | - | 확인할 타입 |

헬퍼 변수 템플릿

std::integral_constant에서 상속받은 멤버

멤버 상수

멤버 함수

멤버 타입

가능한 구현

template < class T > struct is_object : std :: integral_constant < bool , std :: is_scalar < T >:: value || std :: is_array < T >:: value || std :: is_union < T >:: value || std :: is_class < T >:: value > {};

예제

#include <iomanip>
#include <iostream>
#include <type_traits>
 
#define IS_OBJECT(...) \
    std::cout << std::boolalpha << std::left << std::setw(9) << #__VA_ARGS__ \
              << (std::is_object_v<__VA_ARGS__> ? " is object\n" \
                                                : " is not an object\n")

int main()
{
    class cls {};

    IS_OBJECT(void);
    IS_OBJECT(int);
    IS_OBJECT(int&);
    IS_OBJECT(int*);
    IS_OBJECT(int*&);
    IS_OBJECT(cls);
    IS_OBJECT(cls&);
    IS_OBJECT(cls*);
    IS_OBJECT(int());
    IS_OBJECT(int(*)());
    IS_OBJECT(int(&)());
}

출력:

void      is not an object
int       is object
int&      is not an object
int*      is object
int*&     is not an object
cls       is object
cls&      is not an object
cls*      is object
int()     is not an object
int(*)()  is object
int(&)()  is not an object

같이 보기

더 알아보기 (Learn more)

cppreference