最終更新日時:
が更新

履歴 編集

class template
<type_traits>

std::is_class(C++11)

namespace std {
  template <class T>
  struct is_class;
}

概要

Tがクラス型かを調べる。

ここでのクラス型とは、structキーワードもしくはclassキーワードによって定義された型である。

効果

is_classは、型Tがクラスであるならばtrue_typeから派生し、そうでなければfalse_typeから派生する。

備考

Tunionenumenum classの場合、is_classfalse_typeから派生する。

#include <type_traits>

class c{};
struct s{};
enum e{};
enum class ec{};
union u{};

static_assert(std::is_class<c>::value == true, "value == true, c is class");
static_assert(std::is_same<std::is_class<c>::value_type, bool>::value, "value_type == bool");
static_assert(std::is_same<std::is_class<c>::type, std::true_type>::value, "type == true_type");
static_assert(std::is_class<c>() == true, "is_class<c>() == true");

static_assert(std::is_class<int>::value == false, "value == false, int is not class");
static_assert(std::is_same<std::is_class<int>::value_type, bool>::value, "value_type == bool");
static_assert(std::is_same<std::is_class<int>::type, std::false_type>::value, "type == false_type");
static_assert(std::is_class<int>() == false, "is_class<int>() == false");

static_assert(std::is_class<const c>::value == true, "const c is class");
static_assert(std::is_class<volatile c>::value == true, "volatile c is class");
static_assert(std::is_class<const volatile c>::value == true, "const volatile c is class");
static_assert(std::is_class<s>::value == true, "s is class");

static_assert(std::is_class<u*>::value == false, "u* is not class");
static_assert(std::is_class<e>::value == false, "e is not class");
static_assert(std::is_class<ec>::value == false, "ec is not class");
static_assert(std::is_class<u>::value == false, "u is not class");

int main(){}

出力

バージョン

言語

  • C++11

処理系

備考

上の例でコンパイラによってはエラーになる。GCC 4.3.4, 4.5.3, Visual C++ 10.0 は integral_constantoperator bool() を持っていないためエラーになる。また、GCC 4.3.4, Visual C++ 10.0 は enum class に対応していたいためにエラーになる。