std:: is_layout_compatible

T と U が レイアウト互換 型である場合、メンバー定数 value を true に設定します。それ以外の場合、 value は false となります。

すべての型は、オブジェクト型でない場合でも、その任意のCV修飾バージョンとレイアウト互換性があります。

T または U が完全型でない場合、(possibly cv-qualified) void または不明な境界の配列である場合、動作は未定義です。

上記のテンプレートのインスタンス化が、直接的または間接的に不完全型に依存しており、その型が仮に完全化された場合に異なる結果をもたらす可能性がある場合、その動作は未定義です。

プログラムが std::is_layout_compatible または std::is_layout_compatible_v に対する特殊化を追加する場合、動作は未定義です。

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

注記

符号付き整数型とその符号なし対応型はレイアウト互換ではありません。 char は signed char とも unsigned char ともレイアウト互換ではありません。

Similar types は、トップレベルのcv修飾を無視した後に同じ型でない場合、レイアウト互換性がありません。

列挙型とその基となる型はレイアウト互換ではありません。

レイアウト互換性を持つが要素型が異なる（CV修飾を無視する）配列型は、たとえ長さが同じであってもレイアウト互換ではありません。

例

#include <iomanip>
#include <iostream>
#include <type_traits>
struct Foo
{
    int x;
    char y;
};
struct FooNua
{
    int x;
    [[no_unique_address]] char y;
};
class Bar
{
    const int u = 42;
    volatile char v = '*';
};
enum E0 : int {};
enum class E1 : int {};
static_assert
(
    std::is_layout_compatible_v<const void, volatile void> == true  and
    std::is_layout_compatible_v<Foo, Bar>                  == true  and
    std::is_layout_compatible_v<Foo[2], Bar[2]>            == false and
    std::is_layout_compatible_v<int, E0>                   == false and
    std::is_layout_compatible_v<E0, E1>                    == true  and
    std::is_layout_compatible_v<long, unsigned long>       == false and
    std::is_layout_compatible_v<char*, const char*>        == false and
    std::is_layout_compatible_v<char*, char* const>        == true  and
    std::is_layout_compatible_v<Foo, FooNua>               == false // 注 [1]
);
// [1] MSVCは誤ってこのアサートに失敗します
int main() {}

関連項目