结构体是C语言里最常用的数据组织方式，几乎每个稍具规模的项目都离不开它。但不少开发者对结构体的理解停留在“把几个变量捆在一起”的层面，很少去思考成员排列顺序、对齐填充这些细节对内存占用和访问速度的影响。事实上，同样的成员、不同的排列方式，结构体大小可能相差百分之二三十；而结构体数组的内存布局方式，甚至能决定一段循环代码的快慢。本文围绕结构体优化展开，从对齐规则、成员排序、缓存友好性到进阶技巧，逐一分析如何让结构体真正为数据管理服务。
内存对齐的底层规则：为什么结构体会比想象的大
要理解结构体优化，先要弄清楚编译器在对结构体做什么。为了匹配CPU的数据总线宽度和访存效率，编译器会自动在成员之间插入填充字节（padding），让每个成员的起始地址落在其对齐要求的整数倍上。通常char对齐到1字节，short对齐到2字节，int对齐到4字节，double在32位系统对齐到4字节、64位系统对齐到8字节。整个结构体的总大小还要向上取整到最大成员对齐值的整数倍。
举个典型例子，看下面这个结构体：
#include <stdio.h>
#include <stddef.h>
struct BadLayout {
char a; /* 偏移0，占1字节 */
/* 编译器填充3字节，让b对齐到4 */
int b; /* 偏移4，占4字节 */
char c; /* 偏移8，占1字节 */
/* 再填充7字节，让总大小是8的倍数 */
double d; /* 偏移16，占8字节 */
};
int main(void)
{
printf("sizeof(struct BadLayout) = %zu\n",
sizeof(struct BadLayout));
printf("offset of d = %zu\n", offsetof(struct BadLayout, d));
return 0;
}成员大小之和只有14字节，但在64位系统上这个结构体占24字节，多出来的10字节全是填充。原因就在于char和int交错排列，迫使编译器两次插入填充。offsetof宏可以打印每个成员的偏移量，是排查对齐问题的第一工具。不同平台、不同编译器结果可能有差异，但原理一致。
调整成员顺序：零成本的内存瘦身
最有效的优化手段往往不需要任何额外代码，只需要调整成员的声明顺序：把占用空间大的成员放前面，小的放后面。修改后的结构体如下：
struct GoodLayout {
double d; /* 偏移0，占8字节 */
int b; /* 偏移8，占4字节 */
char a; /* 偏移12，占1字节 */
char c; /* 偏移13，占1字节 */
/* 尾部填充2字节，总大小对齐到8 */
};同样是四个成员，GoodLayout只占16字节，比BadLayout省了三分之一。当这个结构体被放进数组、链表节点或者被百万级实例化时，节省的内存非常可观。更重要的是，紧凑的布局让一条缓存行（通常64字节）能装下更多数据，程序访问成员时的缓存命中率随之提高，这是一种内存和速度的双重收益。
需要注意，成员排序并非永远按大小降序那么机械。如果某几个成员总是被一起访问，应该优先让它们相邻排列，利用空间局部性；如果结构体存在多种使用场景，可以在两者间权衡。另外，随意使用#pragma pack(1)强制取消对齐虽然能省内存，但代价是未对齐访问在某些CPU架构（如部分ARM平台）上会触发硬件异常或明显变慢，除非是解析网络协议、文件格式这类对二进制布局有严格要求的场景，否则不建议滥用。
结构体数组与指针数组：缓存友好性的分水岭
管理一批同类数据时，常见两种做法：一是定义结构体数组，数据连续存放；二是定义指针数组，每个元素指向分散在堆上的结构体。从功能上看两者差别不大，但性能可能相差数倍。原因在于现代CPU访问内存时以缓存行为单位，连续内存意味着一次加载就能取到多个结构体，而堆上分散分配的节点会带来大量缓存缺失和TLB缺失。
#include <stdlib.h>
struct Point { int x; int y; };
/* 方式一：连续存储，遍历快，缓存命中率高 */
struct Point pts[10000];
/* 方式二：指针数组，节点分散，缓存不友好 */
struct Point *ptrs[10000];
void init_ptrs(void)
{
for (int i = 0; i < 10000; i++) {
ptrs[i] = malloc(sizeof(struct Point));
ptrs[i]->x = i;
ptrs[i]->y = i * 2;
}
}遍历这两个结构做同样的累加运算，在数据量较大时，连续数组通常明显更快。如果业务上确实需要动态添加元素，可以考虑预留容量的动态数组（自己实现或使用类似STL vector的思路），让数据保持大体连续。此外，当程序只需要结构体中的少数字段时，把“热字段”和“冷字段”拆分成两个结构体分别存放，即所谓结构体拆分（struct splitting），能避免把不常用的数据一起拉进缓存，这在游戏引擎和数据库内核中是常见手段。
进阶技巧：柔性数组、位域与验证方法
C99引入的柔性数组成员（flexible array member）是管理变长数据的利器，特别适合字符串、消息体这类长度不确定的场景。相比在结构体里放一个指针再单独malloc，柔性数组一次分配搞定，少一次内存分配、少一次间接寻址，数据还天然连续：
#include <stdlib.h>
#include <string.h>
struct Message {
int len;
char data[]; /* 柔性数组成员，不占sizeof大小 */
};
struct Message *msg_create(const char *text)
{
int len = (int)strlen(text);
/* 一次分配，头部和数据连续存放 */
struct Message *m = malloc(sizeof(struct Message) + len + 1);
if (m != NULL) {
m->len = len;
memcpy(m->data, text, len + 1);
}
return m;
}对于大量开关型标志位，位域（bit-field）能把几十个布尔状态压缩进一个整型里，节省效果在小结构体被海量复制时尤其明显。不过位域的跨平台二进制布局没有统一标准，涉及序列化时要谨慎。C11还支持匿名结构体和匿名联合，可以让嵌套数据访问更简洁，比如在“像素”结构中同时以rgba分量和整体uint32_t两种视角访问同一段内存。
最后，优化不能靠猜，要靠验证。除了前面提到的offsetof和sizeof，gcc和clang都提供-Wpadded选项，在结构体出现填充时给出警告；pahole工具能直接分析二进制并打印每个结构体的成员偏移、填充位置和浪费比例，是内核开发者常用的利器。把这些检查纳入编译流程，可以在结构体被修改时及时发现布局退化。
总结
结构体优化本质上是在内存占用、访问速度和代码可读性之间找平衡。核心原则可以归纳为几条：按对齐值从大到小排列成员；优先使用连续内存管理批量数据；变长数据考虑柔性数组；标志位考虑位域；所有优化用工具验证而非凭感觉。这些改动成本极低，却能在数据量大的程序中带来实打实的收益，值得在每次定义结构体时多花一分钟思考。