C++ attribute: no_unique_address (since C++20)

このデータメンバーが、そのクラスの他の非静的データメンバーまたは基底クラスの部分オブジェクトとオーバーラップすることを許可します。

構文

説明

ビットフィールドではない非静的データメンバーの宣言において、宣言されている名前に適用されます。

このメンバー部分オブジェクトを potentially-overlapping にします。つまり、このメンバーがそのクラスの他の非静的データメンバーや基底クラスの部分オブジェクトと重複することを許可します。これは、メンバーが空のクラス型（例：ステートレスアロケーター）を持つ場合、コンパイラが empty base と同様に、スペースを占有しないように最適化する可能性があることを意味します。メンバーが空でない場合、その末尾のパディングも他のデータメンバーを格納するために再利用される可能性があります。

注記

[ [ no_unique_address ] ] はMSVCではC++20モードでも無視されます。代わりに、 [ [ msvc :: no_unique_address ] ] が提供されています。

例

#include <boost/type_index.hpp>
#include <iostream>
struct Empty {}; // 空クラス型のオブジェクトのサイズは少なくとも1
static_assert(sizeof(Empty) >= 1);
struct X
{
    int i;
    Empty e; // 'e'に一意のアドレスを与えるため、少なくとも1バイト追加で必要
};
static_assert(sizeof(X) >= sizeof(int) + 1);
struct Y
{
    int i;
    [[no_unique_address]] Empty e; // 空メンバが最適化されて除外
};
static_assert(sizeof(Y) >= sizeof(int));
struct Z
{
    char c;
    // e1とe2は同じ型を持つため、[[no_unique_address]]が指定されていても同じアドレスを共有できない
    // ただし、どちらも'c'とアドレスを共有できる
    [[no_unique_address]] Empty e1, e2;
};
static_assert(sizeof(Z) >= 2);
struct W
{
    char c[2];
    // e1とe2は同じアドレスを持つことはできないが、
    // 一方はc[0]と、もう一方はc[1]とアドレスを共有できる
    [[no_unique_address]] Empty e1, e2;
};
static_assert(sizeof(W) >= 2);
template <typename T>
void print_size_of()
{
    using boost::typeindex::type_id;
    std::cout << "sizeof(" << type_id<T>() << ") == " << sizeof(T) << '\n';
}
int main()
{
    print_size_of<Empty>();
    print_size_of<int>();
    print_size_of<X>();
    print_size_of<Y>();
    print_size_of<Z>();
    print_size_of<W>();
}

sizeof(Empty) == 1
sizeof(int) == 4
sizeof(X) == 8
sizeof(Y) == 4
sizeof(Z) == 2
sizeof(W) == 3

参考文献