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

Позволяет этому члену данных перекрываться с другими нестатическими членами данных или подобъектами базовых классов его класса.

Синтаксис

Объяснение

Применяется к имени, объявляемому в объявлении нестатического члена данных, который не является битовым полем.

Делает этот член-подобъект потенциально-перекрывающимся , то есть позволяет этому члену перекрываться с другими нестатическими членами данных или подобъектами базовых классов его класса. Это означает, что если член имеет пустой тип класса (например, аллокатор без состояния), компилятор может оптимизировать его так, чтобы он не занимал места, как если бы он был пустым базовым классом . Если член не пуст, любое конечное заполнение в нем также может быть повторно использовано для хранения других членов данных.

Примечания

[ [ 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'
};
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

Ссылки