[[no_unique_address]] 仅对空类型成员允许编译器复用地址以省空间，若取地址、非空类型或用于offsetof则失效。
![c++的[[no_unique_address]]属性如何实现空基类优化？ (节省内存)](https://img.php.cn/upload/article/001/431/639/176853408433522.jpg)
它本身不实现空基类优化，而是让编译器在特定条件下“合法地跳过”空基类的内存占用。 你不能靠加 [[no_unique_address]] 把任意空类变成零尺寸；它只是松绑了 C++ 标准对“非静态数据成员必须有唯一地址”的强制要求，从而允许编译器对空类型的成员复用同一块地址（进而可能压缩掉其存储）。
什么时候 [[no_unique_address]] 能真正省空间？
仅当被修饰的成员是空类型（如空 struct、无状态策略类、空 std::allocator），且该类型不含有虚函数、虚基类、或需要取地址的操作（比如 &obj.member）时，编译器才可能将其布局为零尺寸。典型场景：
- 模板参数注入的空策略类（如
std::vector<T, EmptyAllocator>中的 allocator 成员） - 带标签分发的空标记类型（如
struct no_init_t {};） - 条件编译下可能为空的调试/日志辅助成员
为什么不用它就无法优化？
标准规定：每个非静态数据成员必须拥有唯一地址（even if empty）。所以即使你写：
struct Empty {};
struct S { Empty e; int x; };
编译器也必须给 e 分配至少 1 字节（否则 &s.e 和 &s.x 可能重合），导致 sizeof(S) 至少是 alignof(int) + 1（通常为 8 或 12）。而加上属性后：
立即学习“C++免费学习笔记（深入）”；
struct S { [[no_unique_address]] Empty e; int x; };
编译器被允许让 e “不占地址”，于是 sizeof(S) 可回落到 sizeof(int)（比如 4），真正复用空间。
常见踩坑点
这些情况会让 [[no_unique_address]] 失效或引发未定义行为：
- 对非空类型使用（如
[[no_unique_address]] std::string s;）—— 属性被忽略，s仍占完整大小 - 取了该成员的地址（
&obj.e）—— 编译器必须为其分配实际地址，优化失效 - 该成员被用于
offsetof或作为std::tuple_element访问 —— 行为未定义（因为地址不保证存在） - 在继承链中混用：基类已是空类，又在派生类里用
[[no_unique_address]]声明另一个空成员 —— 两者都可能被压缩，但顺序和对齐仍受max_align_t影响，不能假设一定紧贴
真正起作用的从来不是这个属性本身，而是编译器对空类型的布局决策；[[no_unique_address]] 只是递上一张“免地址许可证”。一旦你写了 &obj.member，这张证就作废了。
