types_is_void (void 타입인지 확인하는 타입 특성)
이 페이지에서는 C++ 표준 라이브러리의 std::is_void 타입 특성에 대해 설명해요. std::is_void는 주어진 타입 T가 void 타입인지 아닌지를 컴파일 타임에 판별해 주는 도구예요. C++11부터 사용할 수 있어요.
출처: cppreference
본문
<type_traits> 헤더에 정의되어 있어요.
헤더 <type_traits> |
|
|
template < class T > struct is_void; |
|
(C++11부터) |
std::is_void는 단항 타입 특성(UnaryTypeTrait)이에요. T가 void 타입인지 확인해요. T가 void, const void, volatile void, const volatile void 중 하나라면 멤버 상수 value가 true가 돼요. 그 외에는 false예요. 프로그램에서 std::is_void나 std::is_void_v에 대한 특수화를 추가하면 동작이 정의되지 않아요.
템플릿 매개변수
헬퍼 변수 템플릿
template < class T > constexpr bool is_void_v = is_void < T >:: value; |
|
(C++17부터) |
std::integral_constant에서 상속
멤버 상수
value [static] |
T가 (cv 한정된) void 타입이면 true, 아니면 false (공용 정적 멤버 상수) |
멤버 함수
operator bool |
객체를 bool로 변환하고 value를 반환해요 (공용 멤버 함수) |
operator() (C++14) |
value를 반환해요 (공용 멤버 함수) |
멤버 타입
| 타입 |
정의 |
value_type |
bool |
type |
std::integral_constant<bool, value> |
가능한 구현
template < class T > struct is_void : std :: is_same < void , typename std :: remove_cv < T >:: type > {};
예제
#include <type_traits>
void foo();
static_assert
(
std::is_void_v<void> == true and
std::is_void_v<const void> == true and
std::is_void_v<volatile void> == true and
std::is_void_v<void*> == false and
std::is_void_v<int> == false and
std::is_void_v<decltype(foo)> == false and
std::is_void_v<std::is_void<void>> == false
);
int main() {}
같이 보기
is_array (C++11) |
타입이 배열 타입인지 확인해요 (클래스 템플릿) |
is_pointer (C++11) |
타입이 포인터 타입인지 확인해요 (클래스 템플릿) |
is_enum (C++11) |
타입이 열거형 타입인지 확인해요 (클래스 템플릿) |
is_union (C++11) |
타입이 공용체 타입인지 확인해요 (클래스 템플릿) |
is_class (C++11) |
타입이 비공용체 클래스 타입인지 확인해요 (클래스 템플릿) |
is_function (C++11) |
타입이 함수 타입인지 확인해요 (클래스 템플릿) |
is_object (C++11) |
타입이 객체 타입인지 확인해요 (클래스 템플릿) |
is_void_type (C++26) |
반영된 타입이 void인지 확인해요 (함수) |
더 알아보기 (Learn more)
cppreference