C++联合体定义与成员访问规则

联合体是一种共享内存的数据结构，其大小等于最大成员的大小，所有成员共用同一块内存空间；写入一个成员后，其他成员变为无效，访问非活跃成员会导致未定义行为；为避免此类问题，应使用判别器（如枚举）标识当前活跃成员，或采用C++17的std::variant以获得类型安全和自动管理功能。

C++联合体，在我看来，它就是一种特殊的“变色龙”式的数据结构，它允许你在同一块内存空间里，根据需要“变身”成不同的数据类型。但请记住，它一次只能“变身”成一种形态，如果你试图去访问它当前没有“变身”成的那个成员，那结果往往是出乎意料的，甚至可以说是未定义行为。简单来说，联合体让你用最紧凑的方式存储互斥的数据，但代价是你必须自己管理当前哪个成员是有效的。

解决方案

要理解和正确使用C++联合体，我们得从它的定义和核心特性说起。

定义与内存分配： 联合体使用

union

struct

union Data {
    int i;
    float f;
    char c[4]; // 假设char占1字节，这里是为了演示不同大小的成员
};

当我们定义一个

Data

Data myData;

int

float

char c[4]

myData

成员访问规则： 这是联合体的核心，也是最容易出错的地方。

1. 写入成员： 当你向联合体的一个成员写入数据时，比如

   myData.i = 10;

   登录后复制
   ，这块共享内存就会被

   int

   登录后复制
   类型的数据占据。此时，其他成员（

   f

   登录后复制
   和

   c

   登录后复制
   ）的值就变得不确定了，它们不再是“有效”的状态。
2. 读取成员： 你只能安全地读取你最近一次写入的那个成员。例如，如果你刚刚写入了

   myData.i = 10;

   登录后复制
   ，那么读取

   myData.i

   登录后复制
   (

   std::cout << myData.i;

   登录后复制
   ) 是完全正确的。
3. 访问非活跃成员： 如果你写入了

   myData.i = 10;

   登录后复制
   ，然后尝试去读取

   myData.f

   登录后复制
   (

   std::cout << myData.f;

   登录后复制
   )，这就是所谓的未定义行为（Undefined Behavior, UB）。你可能会得到一个随机的浮点数，或者

   0.0

   登录后复制
   ，甚至程序崩溃，这完全取决于编译器、操作系统和当时内存的状态。它不会报错，但结果不可预测，这是联合体使用中最需要警惕的地方。

总结一下： 联合体就像一个多功能插槽，你插入了U盘，就不能同时插入SD卡。如果你强行去读SD卡的数据，那读到的可能就是U盘的二进制乱码。

立即学习“C++免费学习笔记（深入）”；

为什么C++联合体能节省内存？它与结构体有何本质区别？

联合体之所以能节省内存，核心就在于它那独特的内存分配策略。与结构体（

struct

举个例子可能更直观：

无涯·问知

无涯·问知，是一款基于星环大模型底座，结合个人知识库、企业知识库、法律法规、财经等多种知识源的企业级垂直领域问答产品

40

查看详情

struct S {
    int a;    // 4 bytes
    float b;  // 4 bytes
    char c;   // 1 byte
}; // sizeof(S) 可能是 12 bytes (取决于对齐)

union U {
    int a;    // 4 bytes
    float b;  // 4 bytes
    char c;   // 1 byte
}; // sizeof(U) 必然是 4 bytes (取最大成员int/float的大小)

你看，

U

S

在C++联合体中，访问非活跃成员会发生什么？如何避免这种未定义行为？

访问联合体的非活跃成员，简单来说，就是踩到了C++标准中的“未定义行为”地雷。它不会像语法错误那样直接阻止你编译，但运行时可能会导致各种难以预料的后果。

到底会发生什么？ 当你写入

myData.i = 10;

int

10

myData.f

float

如何避免这种未定义行为？ 避免这种问题的核心在于追踪当前哪个成员是活跃的。C++本身不会自动为你做这件事，所以你通常需要自己动手：

1. 使用判别器（Discriminator）： 这是最常见也是最推荐的做法。通常，我们会把联合体嵌套在一个结构体中，并在结构体中添加一个枚举类型（或者其他简单的类型）作为判别器，用来指示当前联合体中哪个成员是有效的。

   enum class DataType {
       INT,
       FLOAT,
       CHAR_ARRAY
   };
   
   struct MyVariant {
       DataType type;
       union {
           int i;
           float f;
           char c_arr[4];
       } data;
   };
   
   // 使用示例
   MyVariant mv;
   mv.type = DataType::INT;
   mv.data.i = 42;
   
   if (mv.type == DataType::INT) {
       std::cout << "Int value: " << mv.data.i << std::endl;
   } else if (mv.type == DataType::FLOAT) {
       // ...
   }

   登录后复制

   这样，每次访问前先检查

   type

   登录后复制
   字段，就能确保你总是访问正确的成员。

2. C++17

   std::variant

   登录后复制
   ： 如果你的项目允许使用C++17或更高版本，那么

   std::variant

   登录后复制
   是一个更安全、更现代的替代品。它在底层可能也使用了联合体的思想，但它提供了类型安全、自动管理活跃成员、值语义以及访问机制（如

   std::get

   登录后复制
   或

   std::visit

   登录后复制
   ），极大地降低了出错的风险。

   #include <variant>
   #include <iostream>
   #include <array> // For std::array
   
   std::variant<int, float, std::array<char, 4>> v;
   v = 42; // 此时int是活跃成员
   
   try {
       std::cout << "Int value: " << std::get<int>(v) << std::endl

   登录后复制

以上就是C++联合体定义与成员访问规则的详细内容，更多请关注php中文网其它相关文章！