std::is_compound - cppreference.com

提供: cppreference.com


`template< class T > struct is_compound;`		(C++11以上)

T が複合型 (つまり、配列、関数、オブジェクトポインタ、関数ポインタ、メンバオブジェクトポインタ、メンバ関数ポインタ、参照、クラス、共用体、列挙、またはそれらの cv 修飾された変種) であれば、 true に等しいメンバ定数 value が提供されます。それ以外の型に対しては、 value は false です。

is_compound または is_compound_v (C++17以上) に対して特殊化を追加するプログラムは未定義です。

テンプレート引数

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

`template< class T > inline constexpr bool is_compound_v = is_compound<T>::value;`		(C++17以上)

std::integral_constant から継承

メンバ定数

T が複合型ならば true、そうでなければ false
(パブリック静的メンバ定数)

メンバ関数

	オブジェクトを `bool` に変換します。 `value` を返します (パブリックメンバ関数)
	`value` を返します (パブリックメンバ関数)

メンバ型

型	定義
`value_type`	`bool`
`type`	`std::integral_constant<bool, value>`

ノート

複合型は基本型から構築された型です。 C++ のあらゆる型は、基本型か複合型かのいずれかです。

実装例

template< class T >
struct is_compound : std::integral_constant<bool, !std::is_fundamental<T>::value> {};

例

#include <iostream>
#include <type_traits>

int main() {
    class cls {};
    std::cout << (std::is_compound<cls>::value
                     ? "T is compound"
                     : "T is not a compound") << '\n';
    std::cout << (std::is_compound<int>::value
                     ? "T is compound"
                     : "T is not a compound") << '\n';
}

出力:

T is compound
T is not a compound