结构体为成员分配独立内存，允许同时访问；联合体共享内存，同一时间只能存储一个成员的值。前者适用于需要并存数据的场景，后者节省内存但需谨慎管理活跃成员。
C++中的结构体（struct）和联合体（union）最核心的区别在于它们如何管理和分配内存给其成员。简单来说，结构体为每个成员分配独立的内存空间，允许所有成员同时存在并被访问；而联合体则让所有成员共享同一块内存区域，这块区域的大小足以容纳其最大的成员，因此在任何给定时间，联合体中只有一个成员可以存储有效值。
解决方案
当我们谈论
struct
时，可以想象一个设计精良的工具箱。每个工具（成员）都有自己专属的格子（内存空间），它们各自独立，互不影响。如果你在结构体里放了一个
int
和一个
double
，那么
int
会占据它自己的4个字节（通常），
double
则占据它自己的8个字节，它们在内存中并排安放，各自的数据可以独立地被读取或修改。结构体的总大小通常是其所有成员大小之和，再加上编译器为了内存对齐可能添加的填充（padding）字节。
union
则完全是另一种哲学，它更像一个多功能插座。这个插座（内存区域）只有一个物理接口，但可以连接不同类型的电器（成员），前提是这些电器不能同时工作。如果这个插座能接一个手机充电器（
int
）也能接一个笔记本电源（
double
），那么它的大小就会按照最大的那个——比如笔记本电源——来预留。你插入手机充电器时，它占用这块内存；你拔掉它，再插入笔记本电源，它就占用同一块内存。你不能指望同时从手机充电器接口获取电力，又从笔记本电源接口获取电力。如果你往
int
成员里写入数据，然后尝试去读取
double
成员，你得到的数据将是混乱的、无意义的，因为你是在以
double
的格式解释
int
的位模式，这在C++中通常会导致未定义行为。联合体的内存占用由其最大成员的尺寸决定。这种内存共享机制既是它的优势，也是它的陷阱。它在内存优化上表现出色，尤其是在嵌入式系统或处理变体数据类型时，因为你往往只需要在某个时刻存储其中一种类型的数据。但它的危险之处在于，一旦你对当前哪个成员是“活跃”的判断失误，就会导致难以追踪的bug。编译器并不会帮你记住你上次写入的是哪个成员，这完全是程序员的责任。
举个例子：
立即学习“C++免费学习笔记（深入）”；
struct MyStruct { int id; float value; char status;};union MyUnion { int id; float value; char status;};// 假设int和float都是4字节，char是1字节// sizeof(MyStruct) 可能会是 4 (id) + 4 (value) + 1 (status) + 潜在的填充 = 12字节或更多。// sizeof(MyUnion) 会是 max(sizeof(int), sizeof(float), sizeof(char)) = 4字节。
可以看到，在内存占用上，联合体有着天然的优势。
为什么C++仍然保留了联合体这种看似“危险”的特性？
这是一个非常棒的问题，它触及了C++设计哲学的核心：提供强大的底层控制能力和极致的效率。虽然
union
确实因其误用可能导致未定义行为而臭名昭著，但它在特定场景下的实用价值是无可替代的。
首先，最主要的原因是内存效率。在资源受限的环境中，比如嵌入式系统、物联网设备，甚至是追求极致性能的高性能计算领域，每一字节内存都弥足珍贵。
union
提供了一种巧妙的方式来大幅度减少内存占用。想象一个网络数据包处理系统，一个数据包可能包含多种不同类型的头部（TCP、UDP、ICMP等），但在任何一个时刻，数据包只会是其中一种类型。如果用
struct
来存储所有可能的头部信息，它会为每个头部都分配空间，导致内存浪费。而
union
则允许你将这些不同类型的头部结构体叠加到同一块内存区域上。这在处理海量数据包或内存受限的设备上，能节省大量的RAM。
其次，
union
是实现变体类型（variant types）的基础。在C++17引入
std::variant
之前，开发者经常需要自己构建能够存储多种不同类型数据的类。这些自定义的变体类内部往往就是通过
union
来实现内存共享，并配合一个枚举类型（称为判别器或标签）来追踪当前活跃的成员类型，从而提供类型安全。虽然现在有了
std::variant
这个更安全、更方便的现代工具，但理解
union
的工作原理有助于我们理解这些高级特性是如何在底层构建的。
此外，在某些低级编程场景中，
union
也被用于类型双关（type punning），即以一种类型的数据解释另一种类型数据的原始位模式。例如，将一个
float
的位模式当作
int
来处理。尽管这种做法在标准C++中需要非常谨慎，并且常常伴随着未定义行为的风险（除非遵循非常严格的规则，例如使用
memcpy
或C++20的
std::bit_cast
），但在一些遗留C/C++代码库中，或者在与硬件寄存器、特定数据协议进行交互时，
union
是实现这种低级位操作的常见手段。
因此，尽管
union
要求开发者具备高度的自律和精确性，但它在提供精细内存控制和作为复杂类型系统基石方面的能力，确保了它在C++工具箱中的持续存在和重要性。它是一把锋利的工具，使用它需要技巧，以避免伤及自身。
如何安全地使用C++联合体，避免未定义行为？
安全使用
union
的关键在于始终明确哪个成员当前是“活跃”的，并且只访问那个活跃的成员。在C++中，最健壮的方法是将其与一个枚举类型（或其他判别器）结合在一个
struct
中，这被称为“带标签的联合体（tagged union）”或“判别联合体（discriminated union）”。
以下是这种模式的示例：
enum class MessageType { TEXT_MESSAGE, IMAGE_MESSAGE, AUDIO_MESSAGE};struct TextData { char content[256]; int length;};struct ImageData { int width; int height; unsigned char* pixelData; // 简化示例，实际可能更复杂};struct AudioData { int sampleRate; int channels; short* samples; // 简化示例};struct Message { MessageType type; // 判别器：指示当前活跃的类型 union { TextData text; ImageData image; AudioData audio; } data; // 实际的联合体};// 使用示例：Message msg;msg.type = MessageType::TEXT_MESSAGE;// 写入文本数据strncpy(msg.data.text.content, "Hello World!", sizeof(msg.data.text.content) - 1);msg.data.text.content[sizeof(msg.data.text.content) - 1] = ' '; // 确保null终止msg.data.text.length = strlen(msg.data.text.content);// 稍后处理消息时：switch (msg.type) { case MessageType::TEXT_MESSAGE: // 安全地访问 msg.data.text std::cout << "Text Message: " << msg.data.text.content << std::endl; break; case MessageType::IMAGE_MESSAGE: // 安全地访问 msg.data.image std::cout << "Image Message (width: " << msg.data.image.width << ")" << std::endl; break; case MessageType::AUDIO_MESSAGE: // 安全地访问 msg.data.audio std::cout << "Audio Message (sample rate: " << msg.data.audio.sampleRate << ")" << std::endl; break;}
在这个设置中，
type
成员充当了一个守护者。你必须在写入
union
的相应成员之前设置
type
，并且在读取任何
union
成员之前检查
type
。这种编程纪律能够有效防止你读取到非活跃成员的陈旧或错误数据，从而避免未定义行为。
另一个关键点是，如果你的联合体成员不是POD (Plain Old Data) 类型（即它们拥有自定义的构造函数、析构函数或赋值运算符），你需要格外小心。在C++11之前，联合体只能包含POD类型。从C++11开始，允许非POD类型，但程序员有责任手动调用活跃成员的构造函数和析构函数。这是一个复杂且容易出错的过程。现代C++（C++17及更高版本）提供的
std::variant
类已经安全且自动地处理了所有这些复杂性，使得在通用编程中，手动管理带有非POD类型的
union
几乎不再需要。然而，在一些低级或特定场景中，带标签的联合体模式仍然具有其价值。
结构体和联合体在内存对齐和填充上的差异是什么？
内存对齐和填充是数据在内存中如何布局的两个重要概念，它们对
struct
和
union
的作用方式有着显著的不同。内存对齐的核心目的是确保数据存储在与其大小（或特定对齐边界）的倍数地址上，这能够显著提升CPU访问数据的性能。填充（padding）则是编译器为了实现这种对齐而在数据成员之间或结构体末尾插入的额外字节。
对于
struct
s，编译器会根据每个成员的自然对齐要求来对齐它。如果一个
int
需要4字节对齐，那么它在内存中的起始地址就必须是4的倍数。如果前一个成员结束的地址不满足这个条件，编译器就会在两者之间插入填充字节。此外，整个结构体通常也会在末尾被填充，以确保当结构体数组被创建时，数组中的每个元素都能正确对齐。
考虑以下示例：
struct ExampleStruct { char a; // 1字节 int b; // 4字节，需要4字节对齐 char c; // 1字节};// 在一个32位系统上（int通常为4字节）：// 'a' 占用1字节。// 接下来可能会插入3字节的填充，以使'b'对齐到4字节边界。// 'b' 占用4字节。// 'c' 占用1字节。// 结构体末尾可能会再插入3字节的填充，以确保整个ExampleStruct的大小是4的倍数（最大对齐要求）。// 最终sizeof(ExampleStruct) 可能是 1 + 3 (填充) + 4 + 1 + 3 (填充) = 12字节。
这种填充对于性能至关重要，但它也意味着结构体的实际大小可能大于其所有成员原始大小的总和。
而对于
union
s，情况则更为直接，但同样受到对齐规则的约束。由于所有成员共享同一块内存区域，
union
本身必须对齐到其所有成员中最严格的对齐要求。它的总大小将是其最大成员的大小，并且会向上填充到这个最严格对齐要求的倍数。联合体内部不需要成员间的填充，因为它们并不并排共存。
示例：
union ExampleUnion { char a; // 1字节 int b; // 4字节，需要4字节对齐 double d; // 8字节，需要8字节对齐};// 在一个典型系统上：// 最严格的对齐要求是'double'，即8字节。// 最大的成员也是'double'（8字节）。// 因此，sizeof(ExampleUnion) 将是8字节。它将对齐到8字节边界。// 如果没有'double'，且'int'是最大的（4字节），那么大小将是4字节。
union
会确保其起始地址是8的倍数，并且其总大小为8字节，足以容纳
a
、
b
或
d
中的任何一个。这种差异突出了为什么联合体在内存优化方面如此强大，因为它避免了结构体可能产生的累积性填充。这是一个权衡：以数据并发性换取更
以上就是C++联合体结构体区别 内存共享机制对比的详细内容，更多请关注创想鸟其它相关文章！
版权声明：本文内容由互联网用户自发贡献，该文观点仅代表作者本人。本站仅提供信息存储空间服务，不拥有所有权，不承担相关法律责任。
如发现本站有涉嫌抄袭侵权/违法违规的内容， 请发送邮件至 chuangxiangniao@163.com 举报，一经查实，本站将立刻删除。
发布者：程序猿，转转请注明出处：https://www.chuangxiangniao.com/p/1474385.html
微信扫一扫 
支付宝扫一扫 
