std:: is_compound

std::is_compound は UnaryTypeTrait です。

T が複合型（すなわち、配列、関数、オブジェクトポインタ、関数ポインタ、メンバオブジェクトポインタ、メンバ関数ポインタ、参照、クラス、共用体、または列挙型。cv修飾された変種も含む）である場合、メンバ定数 value を true に等しい値として提供する。その他の型については、 value は false となる。

プログラムが std::is_compound または std::is_compound_v に対する特殊化を追加する場合、動作は未定義です。

テンプレートパラメータ

ヘルパー変数テンプレート

注記

複合型は基本型から構成される型です。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";
}

関連項目