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

#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>();
}