结构体与联合体：C++ 数据组织的基石

嗯，今天我们来聊聊结构体、联合体和枚举。说实话，这些概念看起来简单，但用好了能让你的代码既清晰又高效。我在项目中见过不少人把结构体当“大号变量”随便用，结果内存对齐搞出问题，或者联合体用错导致数据错乱。咱们今天就把这些坑一个个填平。

struct：从 C 到 C++ 的进化

结构体在 C 里就是个数据容器，到了 C++ 里，它几乎和类一样强大——可以有成员函数、构造函数，甚至继承。我个人习惯把结构体用在“纯数据”场景，比如配置参数、坐标点、网络包头部。为什么？因为结构体默认所有成员都是 public，语义上更贴近“数据集合”。

// 一个典型的网络包头部结构体
struct PacketHeader {
    uint16_t srcPort;      // 源端口
    uint16_t dstPort;      // 目的端口
    uint32_t sequenceNum;  // 序列号
    uint8_t  flags;        // 标志位
    uint32_t checksum;     // 校验和
};

你看，这样定义后，用起来特别直观：header.srcPort = 8080;。但这里有个隐藏问题——结构体的大小并不是成员大小的简单相加。为什么会这样？因为编译器会做内存对齐。

结构体对齐与填充：看不见的“内存税”

我在项目中遇到过一件尴尬事：定义了一个结构体，里面放了一个 char、一个 int、一个 short，算下来应该是 7 字节，但 sizeof 却返回了 12。当时我 debug 了半天，最后发现是编译器在背后偷偷插入了填充字节。

对齐规则其实不复杂：每个成员会按照自身大小对齐到某个地址（比如 int 对齐到 4 的倍数），结构体整体大小要对齐到最大成员大小的倍数。说白了，这是为了 CPU 访问效率——不对齐的数据可能需要两次内存访问。

成员顺序 类型 大小 偏移量 填充
a char 1 0 0
b int 4 4 3（对齐到 4）
c short 2 8 0
总大小 10 2（对齐到 4 的倍数）
小技巧： 把大的成员放在前面，小的放后面，可以减少填充。比如把 int 放在 char 前面，结构体可能从 12 字节降到 8 字节。我经常在代码里手动调整成员顺序来“压缩”结构体。

位域：精确控制比特位

有时候我们不需要完整的 int 或 char，比如一个标志位只需要 1 个比特。这时候位域就派上用场了。我曾经在嵌入式项目里用位域定义了一个寄存器映射，每个位域对应硬件寄存器的一个字段，代码可读性直接拉满。

// 硬件状态寄存器位域定义
struct StatusRegister {
    uint32_t enable : 1;    // 位0：使能
    uint32_t mode   : 2;    // 位1-2：模式选择
    uint32_t error  : 1;    // 位3：错误标志
    uint32_t reserved : 28; // 位4-31：保留
};

注意，位域成员的类型必须是整型或枚举类型。而且不同编译器对位域的布局可能不同——跨平台时一定要小心。我建议只在明确知道硬件布局或内存受限的场景下使用位域。

警告： 位域成员不能取地址（不能 &statusReg.enable），因为位域可能不占用完整的字节。如果你需要指针操作，就别用位域了。

union：同一内存，不同视角

联合体让多个成员共享同一块内存。说白了，就是同一段二进制数据，你可以把它当 int 看，也可以当 float 看，或者当字节数组看。我在做网络协议解析时经常用 union 来快速转换数据格式。

union DataConverter {
    uint32_t u32;
    float    f32;
    uint8_t  bytes[4];
};

// 用法示例
DataConverter dc;
dc.u32 = 0x40490FDB;  // 这是 3.14159 的 IEEE 754 表示
// 现在 dc.f32 就是 3.14159f
// dc.bytes[0] 是 0xDB, bytes[1] 是 0x0F, 等等

但这里有个大坑：通过一个成员写入，再通过另一个成员读取，在 C++ 里是未定义行为（除了某些特殊情况）。虽然很多编译器支持这种“类型双关”，但严格来说是不安全的。我建议只在明确知道编译器行为且性能敏感的场景下使用。

核心要点： union 的大小等于最大成员的大小。所有成员共享同一段内存起始地址。修改一个成员会影响所有其他成员。

枚举：从 enum 到 enum class

C 风格的 enum 有个问题：枚举值会泄漏到外部作用域。比如你定义了 enum Color { RED, GREEN, BLUE };，那么当前作用域就不能再定义名为 RED 的变量了。而且不同枚举的成员可能冲突。

C++11 引入了 enum class，它解决了这些问题：枚举值在枚举的作用域内，不会泄漏；而且不会隐式转换为整数。我个人现在几乎只用 enum class，除非要兼容 C 代码。

enum class Status : uint8_t {
    OK = 0,
    WARNING = 1,
    ERROR = 2
};

// 使用时要带上作用域
Status s = Status::OK;
// 不能直接比较整数：if (s == 0) // 编译错误
// 需要显式转换：if (static_cast<uint8_t>(s) == 0)

你想想看，enum class 的强类型特性在大型项目里有多重要？我曾经在一个代码库里看到有人用 enum 定义了颜色和状态，结果不小心把颜色值传给了状态参数，编译器一声不吭，运行时出了诡异的 bug。换成 enum class 后，这种错误在编译期就被抓住了。

知识体系总览

下面这张图把本章的核心概念串了起来。你可以看到结构体、联合体、枚举各自的应用场景和关键注意事项。

自定义数据类型 struct 结构体 union 联合体 enum / enum class 成员定义与访问 内存对齐与填充 位域 共享内存 类型双关 未定义行为风险 作用域泄漏 隐式转换问题 enum class 强类型 核心原则 数据组织要清晰，内存布局要可控，类型安全要优先

避坑指南与个人经验

我曾经在一个跨平台项目里，用 #pragma pack(1) 强制结构体紧凑对齐，结果在 ARM 上访问未对齐的 int 成员时触发了硬件异常。嗯，从那以后我学乖了：除非你明确知道目标平台支持非对齐访问，否则别轻易动对齐设置。

还有一次，我用 union 来解析网络字节序的 IP 地址，写的时候好好的，换了个编译器就出错了。后来查文档才发现，C++ 标准规定通过 union 的一个成员写入、另一个成员读取是未定义行为。虽然 GCC 和 Clang 都支持，但 MSVC 在某些优化级别下会生成错误代码。所以我现在更倾向于用 memcpy 或 reinterpret_cast 来做类型转换——至少行为是明确定义的。

我的建议： 能用 enum class 就别用 enum；能用 struct 就别用 union；如果非要用 union，加上 static_assert 检查大小，并写清楚注释说明意图。

好了，结构体、联合体和枚举的核心内容就这些。记住，数据组织是程序设计的骨架，选对了工具，代码自然清晰高效。下次写代码时，不妨多想想：这个数据用 struct 合适吗？需要位域来节省空间吗？枚举值会不会意外泄漏？

专注资料整理
← 上一章 📖 返回目录 下一章 →