C++のstd::is_classテンプレートとは？使い方と実例を徹底解説

本記事では、C++ STLに含まれるstd::is_classテンプレートの仕組み、構文、そして具体的な使用例について詳しく解説します。

is_classテンプレートは、定義された型がクラス型であるかどうかを判定するために使用されるタイプトレイト（type traits）の一つです。

クラスとは何か？

クラスとは、classキーワードを使って宣言されるユーザー定義のデータ型（データ構造）であり、データメンバーやメンバー関数を含むことができます。

クラスの宣言例

class abc {
    int data_members;
    void member_function();
};

std::is_classテンプレートは、指定された型Tがクラスであるかどうかをチェックし、その結果に応じてブール値（trueまたはfalse）を返します。

構文

template <class T> is_class;

パラメータ

このテンプレートが受け取るパラメータは型Tのみです。渡された型がクラスであるかどうかを判定します。

戻り値

ブール値を返します。指定された型がクラスであればtrue、クラスでなければfalseを返します。

入出力例

入力：
class abc {
};
is_class<abc>::value;

出力：
true

入力：
union abc {
};
is_class<abc>::value;

出力：
false

サンプルコード1：クラスと共用体の判定

#include <iostream>
#include <type_traits>
using namespace std;
class TP_1 {
};
union TP_2 {
    int var_1;
    float var_2;
};
int main() {
    cout << boolalpha;
    cout << "checking for is_class template: ";
    cout << "\nTP_1 class : "<<is_class<TP_1>::value;
    cout << "\nTP_2 union : "<< is_class<TP_2>::value;
    return 0;
}

出力結果

上記のコードを実行すると、以下の出力が生成されます。

checking for is_class template:
TP_1 class : true
TP_2 union : false

この結果から、classキーワードで定義したTP_1はクラスとして判定されtrueが返される一方、unionキーワードで定義したTP_2はクラスではないためfalseが返されていることがわかります。

サンプルコード2：クラス・共用体・構造体の判定

#include <iostream>
#include <type_traits>
using namespace std;
class TP_1 {
    int var_1;
    float var_2;
    char var_3;
};
union TP_2 {
    int var_1;
    float var_2;
    char var_3;
};
struct TP_3 {
    int var_1;
    float var_2;
    char var_3;
};
int main() {
    cout << boolalpha;
    cout << "checking for is_class template: ";
    cout << "\nTP_1 class : "<<is_class<TP_1>::value;
    cout << "\nTP_2 union : "<< is_class<TP_2>::value;
    cout << "\nTP_3 structure : "<< is_class<TP_3>::value;
    return 0;
}

出力結果

上記のコードを実行すると、以下の出力が生成されます。

checking for is_class template:
TP_1 class : true
TP_2 union : false
TP_3 structure : true

まとめ

std::is_classは、C++の<type_traits>ヘッダーで提供されるコンパイル時型判定ツールです。興味深い点として、structキーワードで定義した構造体もC++ではクラス型とみなされるためtrueが返されます。一方、共用体（union）や列挙型、基本型などはクラスではないためfalseが返されます。この特性を理解しておくことで、テンプレートメタプログラミングにおいて型の分類を正確に行うことができます。