比较两个结构体时， 若结构体中含有大量的成员变量， 为了方便， 程序员往往会直接使用memcmp对这两个结构体进行比较， 以避免对每个成员进行分别比较。 这样的代码写起来比较简单， 然而却很可能深藏隐患。 请看下面的示例代码：
#include <stdio.h>
#include <stdlib.h>
#include <string.h>
typedef struct padding_type {
short m1;
int m2;
}padding_type_t;
int main()
{
padding_type_t a = {
.m1 = 0,
.m2 = 0,
};
padding_type_t b;
memset(&b, 0, sizeof(b));
if (0 == memcmp(&a, &b, sizeof(a))) {
printf("Equal!\n");
}else {
printf("No equal!\n");
}
return 0;
}
最终的结果：
#./a.out
No equal!
为什么会是这样的结果呢？ 有经验的读者立刻就会反应过来： 这是由于对齐造成的。
没错！ 就是因为struct padding_type->m1的类型是short类型， 而m2的类型是int类型。 根据自然对齐规则， struct padding_type需要进行4字节对齐。 因此编译器会在m1后面插入两个padding字节， 而这两个字节的内容却是“随机”的。 结构体b由于调用了memset对整个结构体占用的内存进行了清零， 其padding的值自然就为0。 这样， 当使用memcmp对两个结构体进行比较时， 结论就是不相同了， 即返回值不为0。
所以， 除非在项目中可以保证所有的结构体都会使用memset来进行初始化（这个是很难保证的） ， 否则就不要直接使用memcmp来比较结构体。