C++ 属性： no_unique_address (C++20 起)
来自cppreference.com
< cpp | language | attributes
允许此数据成员与其类的其他非静态数据成员或基类子对象重叠。
语法
[[no_unique_address]] | |||||||||
解释
应用到非位域非静态数据成员的声明中所声明的名字。
使此成员子对象潜在重叠，即允许此成员与其类的其他非静态数据成员或基类子对象重叠。这表示若该成员拥有空类型（例如无状态分配器），则编译器可将它优化为不占空间，正如同假如它是空基类一样。若该成员非空，则其中的任何尾随填充空间亦可复用于存储其他数据成员。
注解
即便在 C++20 模式下，[[no_unique_address]] 也被 MSVC 忽略；但它提供了 [[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() { // 任何空类类型对象的大小至少为 1 static_assert(sizeof(Empty) >= 1); // 至少需要多一个字节以给 e 唯一地址 static_assert(sizeof(X) >= sizeof(int) + 1); // 优化掉空成员 std::cout << "sizeof(Y) == sizeof(int) is " << std::boolalpha << (sizeof(Y) == sizeof(int)) << '\n'; // e1 与 e2 不能共享同一地址，因为它们拥有相同类型，尽管它们标记有 [[no_unique_address]]。 // 然而，其中一者可以与 c 共享地址。 static_assert(sizeof(Z) >= 2); // e1 与 e2 不能拥有同一地址，但它们之一能与 c[0] 共享，而另一者与 c[1] 共享 std::cout << "sizeof(W) == 2 is " << (sizeof(W) == 2) << '\n'; }
可能的输出：
sizeof(Empty) == 1 sizeof(int) == 4 sizeof(X) == 8 sizeof(Y) == 4 sizeof(Z) == 2 sizeof(W) == 3
引用
- C++23 标准（ISO/IEC 14882:2024）：
- 9.12.11 No unique address attribute [dcl.attr.nouniqueaddr]
- C++20 标准（ISO/IEC 14882:2020）：
- 9.12.10 No unique address attribute [dcl.attr.nouniqueaddr]