C++のstd::is_podテンプレートとは?POD型判定の使い方と具体例を解説

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

is_podは、<type_traits>ヘッダーで定義されているテンプレートです。このテンプレートを使うことで、指定した型TがPOD(Plain Old Data)型であるかどうかをコンパイル時に判定できます。

POD(Plain Old Data)とは何か？

POD(Plain Old Data)型とは、古いC言語にも存在していたような、単純で機械的なデータ表現を持つ型のことです。intやdoubleといったスカラー型も、すべてPOD型に含まれます。

クラス型がPODであるためには、次の2つの条件を満たす必要があります。

• トリビアル（trivial）であること：静的な初期化が可能で、ユーザー定義のコンストラクタ・デストラクタ・コピーコンストラクタなどを持たないクラス
• 標準レイアウト（standard layout）であること：structやunionのような単純なデータ構造であり、仮想関数や仮想基底クラスを持たないクラス

構文

template <class T> struct is_pod;

パラメータ

このテンプレートは、判定対象となる型Tという1つのパラメータのみを受け取ります。そして、その型がPlain Old Data型かどうかをチェックします。

戻り値

戻り値はブール値です。指定された型がPlain Old Data型であればtrueを返し、そうでなければfalseを返します。

使用例

入力： class final_abc{ final_abc(); };
　　　 is_pod<final_abc>::value;
出力： false

入力： is_pod<int>::value;
出力： true

サンプルコード（structの場合）

#include <iostream>
#include <type_traits>
using namespace std;

struct TP_1 {
    int var_1;
};

struct TP_2 {
    int var_2;
    private:
        int var_3;
};

struct TP_3 {
    virtual void dummy();
};

int main() {
    cout << boolalpha;
    cout << "checking for is_pod:";
    cout << "\nTP_1: " << is_pod<TP_1>::value;
    cout << "\nTP_2: " << is_pod<TP_2>::value;
    cout << "\nTP_3: " << is_pod<TP_3>::value;
    return 0;
}

実行結果

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

checking for is_pod:
TP_1: true
TP_2: false
TP_3: false

結果の解説：

• TP_1はすべてpublicメンバのみで構成される単純な構造体のため、POD型としてtrueと判定されます。
• TP_2はpublicメンバとprivateメンバが混在しており、標準レイアウトの要件を満たさないためfalseになります。
• TP_3は仮想関数を持っているため、トリビアルでも標準レイアウトでもなく、falseと判定されます。

サンプルコード（classの場合）

#include <iostream>
#include <type_traits>
using namespace std;

class TP_1 {
    int var_1;
};

class TP_2 {
    int var_2;
    private:
        int var_3;
};

class TP_3 {
    virtual void dummy();
};

int main() {
    cout << boolalpha;
    cout << "checking for is_pod:";
    cout << "\nTP_1: " << is_pod<TP_1>::value;
    cout << "\nTP_2: " << is_pod<TP_2>::value;
    cout << "\nTP_3: " << is_pod<TP_3>::value;
    return 0;
}

実行結果

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

checking for is_pod:
TP_1: true
TP_2: true
TP_3: false

結果の解説：

classではデフォルトのアクセス指定子がprivateになるため、TP_1とTP_2はいずれもすべてのメンバがprivateとなり、アクセス制御が統一されます。その結果、両方とも標準レイアウトの条件を満たし、trueと判定されます。一方、TP_3は仮想関数を持つため、structの場合と同様にfalseとなります。

注意：C++20での非推奨化

なお、std::is_podはC++20において非推奨（deprecated）となりました。モダンC++では、より細かい性質を個別に判定できるstd::is_trivialやstd::is_standard_layoutなどのテンプレートを使うことが推奨されています。