1. 结构体：构建复杂数据模型的基石
结构体是C语言中最重要的复合数据类型之一，它允许我们将不同类型的数据组合成一个逻辑单元。想象一下，如果你要处理学生信息，需要同时记录姓名、学号和成绩。如果没有结构体，你可能需要维护三个独立的数组，这不仅容易出错，而且代码可读性极差。
我刚开始学C语言时，就犯过这样的错误。当时用三个数组分别存储学生姓名、学号和成绩，结果在排序时完全乱套了。后来学会使用结构体后，代码立刻变得清晰多了：
struct student { char name[50]; int id; float score; };这个简单的结构体定义包含了三个成员：一个字符数组用于存储姓名，一个整型变量存储学号，一个浮点数存储成绩。现在，我们可以创建一个学生数组，所有相关信息都整齐地组织在一起。
结构体在内存中的布局也很有意思。编译器会根据成员的类型和平台的对齐要求来安排内存。比如上面的结构体，在32位系统上通常会占用56字节（50+4+4，考虑对齐）。但如果你调整成员顺序，把int id放在最前面，可能会节省一些空间。这就是为什么在定义大型结构体时，我习惯把占用空间大的成员放在前面。
结构体指针是另一个强大的特性。通过指针，我们可以高效地传递大型结构体而不需要复制整个数据：
void print_student(const struct student *s) { printf("姓名: %s\n学号: %d\n成绩: %.2f\n", s->name, s->id, s->score); }在实际项目中，结构体常用于构建复杂的数据结构。比如链表节点、二叉树节点、图形学中的点和向量等。我曾在一个图像处理项目中使用结构体来表示像素：
struct pixel { unsigned char r, g, b, a; };这种组织方式让代码既高效又易于理解。结构体还支持嵌套，你可以创建包含其他结构体的结构体，这在构建复杂数据模型时非常有用。
2. 枚举：让代码更清晰的安全卫士
枚举类型是C语言中经常被低估的一个特性。它本质上是一组命名的整数常量，但比直接使用#define定义常量要安全得多。我记得有一次调试一个使用魔法数字的程序，那些神秘的1、2、3让我完全摸不着头脑。后来改用枚举后，代码立刻变得自解释：
enum weekdays { MONDAY = 1, TUESDAY, WEDNESDAY, THURSDAY, FRIDAY, SATURDAY, SUNDAY };这里有个小技巧：我显式地将MONDAY设为1，这样后面的日子会自动递增。如果不指定初始值，默认从0开始。这在处理一些从1开始计数的外部数据时特别有用。
枚举的真正威力在于它能让switch语句变得非常清晰：
enum status_code { OK = 200, NOT_FOUND = 404, SERVER_ERROR = 500 }; void handle_response(enum status_code code) { switch(code) { case OK: printf("请求成功\n"); break; case NOT_FOUND: printf("资源未找到\n"); break; case SERVER_ERROR: printf("服务器错误\n"); break; } }这样的代码不仅易于阅读，而且在添加新的状态码时也很容易扩展。枚举还能帮助编译器发现一些潜在的错误。比如如果你把一个不在枚举中的值传给函数，编译器可能会发出警告。
在实际开发中，我经常用枚举来表示状态机。比如在一个网络协议实现中：
enum connection_state { DISCONNECTED, CONNECTING, CONNECTED, DISCONNECTING };这种用法让状态转换逻辑一目了然。枚举还可以和位域结合使用，创建紧凑的标志位组合，这在嵌入式开发中特别有用。
3. 联合体：内存共享的艺术
联合体可能是C语言中最容易被误解的复合类型。它与结构体类似，但所有成员共享同一块内存空间。这意味着任何时候只能使用其中一个成员。听起来有点奇怪？让我用一个实际例子来说明。
在开发一个嵌入式系统时，我需要处理来自不同传感器的数据。这些数据可能是整数、浮点数或字节数组，但同一时间只会收到一种类型。使用联合体可以完美解决这个问题：
union sensor_data { int i_value; float f_value; unsigned char bytes[4]; };这个联合体只占用4个字节（假设int和float都是32位），但可以以三种不同的方式解释同一块内存。这在协议解析和类型转换中特别有用。
联合体在实现变体类型时也非常强大。结合结构体和枚举，可以创建类型安全的变体：
enum data_type { INT, FLOAT, STRING }; struct variant { enum data_type type; union { int i; float f; char str[20]; } value; };这样我们就可以创建一个能存储不同类型值的变量，同时知道当前存储的是什么类型。我在一个配置文件解析器中就使用了这种模式。
联合体还有一个有趣的特性：可以用来检查字节序。比如：
union endian_checker { uint32_t i; uint8_t c[4]; } checker = {0x01020304};如果checker.c[0]是0x01，说明是大端序；如果是0x04，则是小端序。这种技巧在网络编程中很有用，因为网络协议通常使用大端序。
4. 复合类型的进阶应用与性能考量
当结构体、枚举和联合体组合使用时，可以解决许多复杂的编程问题。比如在图形编程中，可以用结构体表示点，枚举表示形状类型，联合体存储不同形状的特有数据：
enum shape_type { CIRCLE, RECTANGLE, TRIANGLE }; struct point { float x, y; }; struct shape { enum shape_type type; union { struct { float radius; } circle; struct { float width, height; } rectangle; struct { struct point p1, p2, p3; } triangle; } data; };这种设计既节省内存，又能清晰地表达各种形状的特性。在实际渲染时，可以根据type字段决定如何处理data联合体。
性能方面，结构体的内存布局对程序效率有很大影响。现代CPU从内存读取数据时，喜欢对齐的访问。因此，合理安排结构体成员顺序可以减少填充字节，提高缓存利用率。比如：
// 不好的排列 struct bad_layout { char c; double d; int i; }; // 更好的排列 struct good_layout { double d; int i; char c; };第一个结构体可能因为对齐要求而在c和d之间插入7个填充字节，而第二个结构体可能只需要3个填充字节。在创建大量结构体实例时，这种差异会很明显。
联合体在节省内存方面表现出色，特别是在处理互斥数据时。比如在编译器实现中，可以用联合体表示不同类型的语法树节点：
enum node_type { INT_CONST, FLOAT_CONST, BINARY_OP }; struct ast_node { enum node_type type; union { int int_value; float float_value; struct { struct ast_node *left, *right; char op; } binary; } data; };这种技术称为"标记联合"，在实现解释器、编译器等需要处理多种数据类型的场景中非常常见。
