引言C 语言为我们提供了高于机器指令的一定抽象能力这使得我们能够以接近自然语言的方式来构建应用程序。如果说使用 C 语言是用砖块来造房子那使用其他高抽象粒度编程语言就是直接以墙面为单位来搭建。很明显从这个角度来说C 语言用起来不如其他高级语言方便但它也同时给予了更细的构建粒度让我们能够按照自己的想法灵活自定义墙面的形态。对于这里提到的砖块和墙面你可以将它们简单理解为编程语言在构建程序时使用的数据类型。比如在 Python 语言中我们可以使用集合set、字典dict等复杂数据类型。而在 Java 语言中Map 本身又会被细分为 HashMap、LinkedHashMap、EnumMap 等多种类型供不同应用场景使用。为了在保持自身精简的同时也保证足够高的灵活性C 语言在提供基本数值类型和指针类型的基础上又为我们提供了结构struct、联合union与枚举enum这三种类型。结合使用这些类型我们就能将小的“砖块”组合起来从而将它们拼接成为更大的、具有特定功能结构的复杂构建单元。接下来就让我们一起看看编译器是如何在背后实现这三种数据类型的而在实现上为了兼顾程序的性能要求编译器又做了哪些特殊优化枚举在编程语言中枚举Enumeration这种数据类型可以由程序员自行定义用来表示某类可取值范围有限的抽象概念。下面我们来看一个经典的例子应该如何使用编程语言来表示 “周工作日weekday” 这个概念呢周工作日属于现实世界中的一种抽象概念它包含周一到周五共五个有效值。不同于数值、字符等概念它无法直接对应到物理计算机中的任何软硬件实现上。因此为了能够在程序中更加精确地表达这类信息我们可以用枚举来自定义对应的类型。在 C 语言中我们可以这样实现为了便于观察我直接展示了 C 代码及其对应的汇编代码。可以看到编译器没有为左侧红框内的枚举类型定义生成任何的机器指令。实际上在 C 语言中每一个自定义枚举类型中的枚举值都是以 int 类型的方式被存储的因此这些枚举值有时也被称为“具名整型”。你可以从上图右侧蓝框内的汇编代码中看到当函数 foo 被调用时传入的枚举值 Mon 正对应于通过 edi 寄存器传入的字面量数字 0。也就是说枚举值 Mon 在底层是由数字值 0 表示的。同样地在左侧 C 代码的第 11 行我们也使用了泛型宏来判断枚举值 Mon 的具体类型。你可以尝试运行这段代码并观察程序的输出结果以验证我们的结论。需要注意的是C 标准直接将枚举值当作整数进行处理的这种方式可能会导致我们在构建程序时遇到意想不到的问题。比如对于上述这段 C 代码函数 foo 在被调用时实际上允许传入任何可以被隐式转换为 int 类型的值哪怕这个值来源于另一个枚举类型的变量。因此让枚举类型有助于组织程序代码的同时并确保它不被乱用也是我们在构建高质量程序时需要注意的一个问题。结构在 C 语言中数组用来将一簇相同类型的数据存放在连续的内存段上。而结构Struct实际上与其类似只不过在结构内部我们可以存放不同类型的数据。先来看一段代码在上图左侧的 C 代码中我们定义了一个名为 S 的结构。对于每一个结构 S 的对象其内部都会连续存放三个类型完全不同的数据值即一个字符指针、一个字符值、一个长整型数值。在代码的第 10 行我们通过括号列表初始化的方式构造了结构 S 的一个对象 s。通过右上方蓝框中的汇编代码我们可以看到编译器是如何实现对它的初始化的。本质上结构只是对其内部所包含各类数据的一个封装因此从编译产物的角度来看只需要把它封装的这些数据连续地存放在内存中即可。事实也正是如此对结构 S 内部三个数据的初始化过程均是由指令 mov 完成的这些数据被初始化在栈内存中。结构中的数据项被初始化在内存中这毋庸置疑但它们真的“连续”吗为了验证这个问题我们在左侧 C 代码的第 12 行通过 sizeof 运算符将结构 S 的大小打印了出来。按照结构 S 的定义方式和我们对“连续”一词的理解它在 x86-64 平台上的大小应该为 17 字节。其中字符指针 8 字节、字符 1 字节最后的长整型数值 8 字节。但查看右侧黄框内的汇编代码后你会发现事实并非如此每一个结构 S 的对象竟然占用了多达 24 字节的内存。那这是为什么呢通过整理对象 s 在初始化时使用的汇编代码我们可以得到其内部各个成员字段在栈内存中的实际布局情况。经过整理后可以得到下面这张图从左至右这张图代表着栈内存的增长方向高地址 - 低地址。其中寄存器 rsp 指向栈顶的低地址而 rbp 寄存器则指向栈帧开始处的高地址。按照汇编代码中的指令字符指针 p 位于 [rbp-32] 处并占用 8 个字节字符 c 位于 [rbp-24] 处并占用 1 个字节。而长整型变量 x 则位于 [rbp-16] 处并占用 8 个字节。可以看到编译器实际上并没有按照严格连续的方式来“摆放”这三个数据值其中[rbp-25] 到 [rbp-16] 中间的 7 个字节并没有存放任何数据。而编译器这样做的一个重要目的便是为了“数据对齐”。内存数据对齐对于现代计算机而言当内存中需要被读写的数据其所在地址满足“自然对齐”时CPU 通常能够以最高的效率进行数据操作。而所谓自然对齐是指被操作数据的所在地址为该数据大小的整数倍。比如在 x86-64 架构中若一个 int 类型的变量其值在内存中连续存放且最低有效位字节LSB的所在地址为 4 的整数倍那我们就可以说该变量的值在内存中是对齐的。自然对齐为什么能够发挥 CPU 最大的内存读取效率呢这实际上与 CPU 和 MMU内存管理单元等内存读写相关核心硬件发展过程中的诸多限制性因素有关。比如对于某些古老的 Sun SPARC 和 ARM 处理器来说它们只能访问位于特定地址上的对齐数据而对于非对齐数据的访问则会产生异常。相反有些处理器则能够支持对非对齐数据的访问但由于设计工艺上的限制对这些数据的访问需要花费更多的时钟周期。因此为了让代码适应不同处理器的“风格”保证内存中的数据满足自然对齐要求就成了大多数编译器在生成机器指令时达成的一个默认共识。哪怕在如今的现代 x86-64 处理器上访问非对齐数据所产生的性能损耗在大多数情况下已微不足道。填充字节让我们再回到之前那个例子。可以看到的是为了确保对象 s 中所有成员字段在栈内存中都满足自然对齐的要求编译器会插入额外的“填充字节”来动态调整结构对象中各个字段对应数据的起始位置。除此之外在某些情况下即使结构对象内各个数据成员都满足自然对齐的要求额外的填充字节也可能会被添加。比如下面这个例子struct Foo { char *p; // 8 bytes. char c; // 1 bytes. // (padding): 7 bytes. };这里可以看到结构 Foo 中的两个成员字段在默认情况下已经满足自然对齐的要求假设字符指针 p 的存放起始位置满足 8 字节对齐。但实际上在通过 sizeof 运算符对它进行求值时我们会得到 16 字节大小的结果而非直观的 9 字节。之所以会出现这样的现象就是因为编译器想要保证这一点当结构对象被连续存放时比如通过数组前一个对象的结束位置正好可以满足后一个对象作为起始位置时的自然对齐要求。而这也就要求结构对象本身的大小必须是其内部最大成员大小的整数倍。因此编译器会在结构最后一个成员的后面再填充适当字节以满足这个条件。可以说在这种情况下的结构对象已经满足了在不同场景下的自然对齐条件因此此时的结构大小也会被作为 sizeof 运算符的最终计算结果。联合最后我们再来看看 C 语言中的第三种功能强大的数据类型“联合Union”。联合与“结构”在语法上的使用方式十分类似只不过要把对应的语法关键字从 struct 更换为 union 。除此之外二者还有一个较大的区别我们可以从“联合”这个名字谈起。顾名思义“联合”就意味着定义在该结构内的所有数据字段将会联合起来共享同一块内存区域。还是先来看一段代码这里在左侧的 C 代码中我们使用 “Tagged Union” 的模式对联合进行了封装。与结构不同对于每一个单独的联合对象来说在某一时刻其内部哪一个字段正在生效我们无从得知。因此Tagged Union 的使用方式要求我们为每一个联合设置单独的“标签”用来明确指出当前联合内部正在生效的字段。在这种情况下我们便需要将这个标签与联合进行封装来将它们进行“绑定”。可以看到这里在结构 S 内部枚举类型字段 type 就是用来标记当前匿名联合内部所存放的数据种类的。而在紧接着的匿名联合内部整型成员 i 与字符成员 c 则共享该联合的内存空间。这便是 Tagged Union 在 C 语言中的基本使用方式。一个联合对象的大小同该联合内部定义时所包含最大成员的大小相同因此在上面这个例子中结构 S 中的匿名联合大小便与联合定义内整型参数 i 的大小相同。这个大小在 x86-64 平台上为 4 字节。从图片右侧蓝框内的汇编代码中我们也可以得到相同的结论。第一行代码将整个结构对象 s 所占用的 8 字节空间全部置零来为后续的匿名联合对象赋值做准备第二行代码将枚举类型 CHAR 对应的值 1 赋值给结构对象 s 内的枚举字段 type第三行代码将字符 “a” 对应的值 97 存放到结构对象 s 内的匿名联合对象中。这里可以看到指令 mov 在进行数据传送时在目的地参数中使用了 BYTE也就是“取出”了联合对象所占用的 4 字节空间中的 1 个字节将其作为存放字符数值的目标内存空间。总结好了讲到这里今天的内容也就基本结束了最后我来给你总结一下。这一讲我主要围绕着 C 语言中的枚举、结构与联合这三种数据类型展开了介绍和你一起探究了它们在机器指令层面的具体实现方式。枚举这种数据类型用于表示可取值范围有限的抽象实体。枚举类型中的枚举值又被称为“具名整型”因此在 C 代码中它可以直接被当作整数值来使用。同样地在编译器生成的代码中枚举值将被直接替换为对应的整数值。但需要注意的是我们要在进行 C 编码时保证枚举值和它对应的整数值不被乱用。结构是一种用于组织异构数据的复合数据类型。在结构中所有定义的数据字段在内存中按顺序排列。为了保证结构中各个字段最高效的数据访问速度编译器在内存中布局这些字段数据时会保证它们的起始地址满足自然对齐的标准。因此结构中字段的不同定义顺序将直接影响结构对象的实际内存占用大小而这也是我们进行程序优化的一个重要切入点。联合是一种特殊的复合数据类型在其内部定义的所有数据字段将占用同一块内存空间。联合对象的实际大小与其内部所定义最大字段的大小相同。默认情况下我们无法从外部得知一个联合对象中正在“生效”的字段类型因此 Tagged Union 的使用方式便成为主流。将用来标识生效字段的枚举类型与联合进行“打包”我们就可以在使用联合对象前进行相应的判断和准备而这也为应用程序的健壮性打下了基础。