std:: is_compound
| Type traits | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
| Compile-time rational arithmetic | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
| Compile-time integer sequences | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
(C++14)
|
||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
헤더 파일에 정의됨
<type_traits>
|
||
|
template
<
class
T
>
struct is_compound ; |
(C++11부터) | |
std::is_compound
는
UnaryTypeTrait
입니다.
만약
T
가 복합 타입(즉, 배열, 함수, 객체 포인터, 함수 포인터, 멤버 객체 포인터, 멤버 함수 포인터, 레퍼런스, 클래스, 유니온, 또는 열거형, 모든 cv-qualified 변형 포함)인 경우, 멤버 상수
value
를
true
와 동일하게 제공합니다. 다른 모든 타입에 대해서는
value
가
false
입니다.
프로그램이
std::is_compound
또는
std::is_compound_v
에 대한 특수화를 추가하는 경우, 그 동작은 정의되지 않습니다.
목차 |
템플릿 매개변수
| T | - | 확인할 타입 |
헬퍼 변수 템플릿
|
template
<
class
T
>
constexpr bool is_compound_v = is_compound < T > :: value ; |
(C++17부터) | |
std:: integral_constant 로부터 상속됨
멤버 상수
|
value
[static]
|
true
만약
T
가 복합 타입이면,
false
그렇지 않으면
(public static member constant) |
멤버 함수
|
operator bool
|
객체를
bool
로 변환,
value
반환
(public member function) |
|
operator()
(C++14)
|
value
반환
(public member function) |
멤버 타입
| 타입 | 정의 |
value_type
|
bool |
type
|
std:: integral_constant < bool , value > |
참고 사항
복합 타입(Compound types)은 기본 타입들로부터 구성되는 타입들입니다. 모든 C++ 타입은 기본 타입이거나 복합 타입입니다.
가능한 구현
template<class T> struct is_compound : std::integral_constant<bool, !std::is_fundamental<T>::value> {}; |
예제
#include <type_traits> #include <iostream> static_assert(not std::is_compound_v<int>); static_assert(std::is_compound_v<int*>); static_assert(std::is_compound_v<int&>); void f(); static_assert(std::is_compound_v<decltype(f)>); static_assert(std::is_compound_v<decltype(&f)>); static_assert(std::is_compound_v<char[100]>); class C {}; static_assert(std::is_compound_v<C>); union U {}; static_assert(std::is_compound_v<U>); enum struct E { e }; static_assert(std::is_compound_v<E>); static_assert(std::is_compound_v<decltype(E::e)>); struct S { int i : 8; int j; void foo(); }; static_assert(not std::is_compound_v<decltype(S::i)>); static_assert(not std::is_compound_v<decltype(S::j)>); static_assert(std::is_compound_v<decltype(&S::j)>); static_assert(std::is_compound_v<decltype(&S::foo)>); int main() { std::cout << "All checks have passed\n"; }
참고 항목
|
(C++11)
|
타입이 기본 타입인지 검사합니다
(클래스 템플릿) |
|
(C++11)
|
타입이 스칼라 타입인지 검사합니다
(클래스 템플릿) |
|
(C++11)
|
타입이 객체 타입인지 검사합니다
(클래스 템플릿) |
|
(C++11)
|
타입이 배열 타입인지 검사합니다
(클래스 템플릿) |