union是共享内存的特殊结构,大小等于最大成员(含对齐),仅能安全访问最后写入的活跃成员;不可含非平凡类型,C++17起推荐用std::variant替代。

联合体(union)在C++中是一种特殊的数据结构,它的所有成员共享同一块内存空间。这意味着同一时刻,union只能安全地保存其中一个成员的值;对一个成员赋值会覆盖其他成员的原有数据。
union的大小等于其最大成员的大小(考虑对齐后)。编译器不会为每个成员分配独立空间,而是让所有成员的起始地址完全相同。例如:
struct { int a; char b; }; // 占用至少8字节(含对齐)
union { int a; char b; }; // 通常只占4字节(int大小,char不增加总长)
立即学习“C++免费学习笔记(深入)”;
访问b时读的是a的低字节;修改b会直接改写a的低位——这是内存共享的直接体现。
C++要求union的每个成员必须是“可平凡复制”(trivially copyable)类型。像std::string、std::vector这类带有构造函数、析构函数或拷贝控制的类,不能直接作为union成员,否则编译失败。
如果确实需要管理资源,可手动控制生命周期,比如用placement new构造,显式调用析构函数;但需程序员严格保证逻辑正确,容易出错。
union中任何时候只有一个成员是“活跃的”——即最后被写入的那个。读取非活跃成员属于未定义行为(UB)。
实际项目中常配合枚举使用,手动跟踪当前活跃成员,形成“标记联合”(tagged union),如:
enum class Type { INT, FLOAT };
struct Variant { Type tag; union { int i; float f; }; };
std::variant是类型安全的联合体实现,自动记录活跃类型、禁止非法访问、支持访问者模式(std::visit),且能容纳非平凡类型。
它底层仍可能用union优化内存,但把复杂性封装起来了。除非追求极致控制或嵌入式场景限制,日常开发优先选std::variant。
基本上就这些。union本质简单,但用错后果隐蔽;理解内存共享和活跃成员规则,是安全使用的前提。
以上就是C++联合体基础讲解_C++ union内存共享机制解析的详细内容,更多请关注php中文网其它相关文章!
每个人都需要一台速度更快、更稳定的 PC。随着时间的推移,垃圾文件、旧注册表数据和不必要的后台进程会占用资源并降低性能。幸运的是,许多工具可以让 Windows 保持平稳运行。
Copyright 2014-2025 https://www.php.cn/ All Rights Reserved | php.cn | 湘ICP备2023035733号