C++のis_standard_layoutテンプレートとは？標準レイアウト型の判定方法を徹底解説

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

is_standard_layout は <type_traits> ヘッダーで定義されているテンプレートの一種で、指定した型 T が「標準レイアウト型」であるかどうかをコンパイル時に判定するために使われます。

C++における標準レイアウトとは？

標準レイアウト型とは、配列のように単純な線形構造を持ち、他のプログラミング言語で記述されたプログラムとも容易にデータをやり取りできる型のことです。「どの言語からでも同じコードで扱える」という考え方のもとに設計されており、C言語の構造体と互換性のあるメモリ配置が保証されるため、OSのAPI呼び出しやネットワーク通信、シリアライズ処理などの場面で特に重要になります。

標準レイアウトクラスには、主に以下のような特徴があります。

• 仮想関数や仮想基底クラスを持たないこと
• すべての非静的データメンバーのアクセス制御（public / private / protected）が同一であること
• 参照型の非静的データメンバーを持たないこと
• 最初の非静的データメンバーと同じ型の基底クラスを持たないこと

構文

template <class T> is_standard_layout;

パラメータ

このテンプレートが受け取るのは型 T のみです。T として渡された型が標準レイアウト型かどうかがチェックされます。

戻り値

bool値を返します。指定した型が標準レイアウト型であれば true を、そうでなければ false を返します。

使用例：基本的な判定

Input: is_standard_layout<int>::value;
Output: True

Input: class A { int a; };
class B : public A
{ int b; };
is_standard_layout<B>::value;
Output: False

int のような組み込み型は標準レイアウト型なので true となります。一方、クラス B は基底クラス A 側にも自身側にも非静的データメンバーを持っているため、標準レイアウトの条件を満たさず false と判定されます。

使用例：クラス・構造体・共用体での判定

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

class TP {
    int var;
};

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

union TP_3 {
};

int main() {
    cout << boolalpha;
    cout << "checking for is_standard_layout template for class : " <<
        is_standard_layout<TP>::value;
    cout << "\nchecking for is_standard_layout template for structure: " <<
        is_standard_layout<TP_2>::value;
    cout << "\nchecking for is_standard_layout template for union : " <<
        is_standard_layout<TP_3>::value;
    cout << "\nchecking for is_standard_layout template for char : " <<
        is_standard_layout<char>::value;
    cout << "\nchecking for is_standard_layout template for int : " <<
        is_standard_layout<int>::value;
    return 0;
}

出力結果

上記のコードを実行すると、次のような出力が得られます。

checking for is_standard_layout template for class : true
checking for is_standard_layout template for structure: false
checking for is_standard_layout template for union : true
checking for is_standard_layout template for char : true
checking for is_standard_layout template for int : true

クラス TP はメンバー変数が1つだけでアクセス制御も統一されているため true です。一方、構造体 TP_2 は public の var と private の var_2 が混在しており、アクセス制御が統一されていないため false と判定されます。空の共用体 TP_3 や char、int といった基本型はいずれも標準レイアウト型なので true になります。

使用例：アクセス制御とポインタ型での判定

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

class TP {
    int var;
};

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

class TP_3 {
};

int main() {
    cout << boolalpha;
    cout << "checking for is_standard_layout template for class with one variable : " <<
        is_standard_layout<TP>::value;
    cout << "\nchecking for is_standard_layout template for class with one private variable: " <<
        is_standard_layout<TP_2>::value;
    cout << "\nchecking for is_standard_layout template for class with no variable : " <<
        is_standard_layout<TP_3>::value;
    cout << "\nchecking for is_standard_layout template for int * : " <<
        is_standard_layout<int*>::value;
    cout << "\nchecking for is_standard_layout template for float : " <<
        is_standard_layout<float>::value;
    return 0;
}

出力結果

上記のコードを実行すると、次のような出力が得られます。

checking for is_standard_layout template for class with one variable : true
checking for is_standard_layout template for class with one private variable: true
checking for is_standard_layout template for class with no variable : true
checking for is_standard_layout template for int * : true
checking for is_standard_layout template for float : true

ここで注目すべきは TP_2 です。class で定義するとデフォルトのアクセス制御が private になるため、明示的に private と書かれた var_2 も含めて全メンバーのアクセス制御が統一され、true と判定されます。同じメンバー構成でも struct と class では判定結果が異なる場合がある点は覚えておくとよいでしょう。また、空のクラス TP_3 やポインタ型 int*、float などの基本型もすべて標準レイアウト型として扱われます。

まとめ

std::is_standard_layout は、型が標準レイアウトの条件を満たしているかどうかをコンパイル時に確認できる便利なタイプトレイトです。他言語との連携や低レベルなメモリ操作を行うコードでは、対象の型が本当に標準レイアウトであるかをこのテンプレートで検証することで、移植性が高く安全なプログラムを書くことができます。