面试题：用memcmp比较结构体是否可行

比较两个结构体时， 若结构体中含有大量的成员变量， 为了方便， 程序员往往会直接使用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来比较结构体。
————————————————

原文链接：https://blog.csdn.net/qq_40732350/article/details/84675276