memcmp比较结构体

memcmp比较结构体


在日常编码中,有时为了方便,当一个结构体内不含有指针成员时,我没会使用memcmp来对两个结构体进行比较,但是这种做法不是一个正确的方法,也可能会导致错误的比较结果,我们以下面的例子来进行验证。

例子1:

#include <iostream>

struct Info
{
	char a;
	int b;
};

int main()
{
	Info i1, i2;
	i1.a = i2.a = 'a';
	i1.b = i2.b = 1;

	for (int i = 0; i < sizeof(Info); i++)
	{
		printf("%x ", ((unsigned char *)&i1)[i]);
	}

	std::cout << std::endl;

	for (int i = 0; i < sizeof(Info); i++)
	{
		printf("%x ", ((unsigned char *)&i2)[i]);
	}

	std::cout << std::endl;

	int nRet = memcmp(&i1, &i2, sizeof(Info));
	printf("memcmp = %d\n", nRet);

	getchar();
	return 0;
}

两个结构体,没有做任何初始化操作,分别赋相同的值,打印出结构体每一个字节的值,并调用memcmp进行比较,输出结果:
memcmp比较结构体
此时这两个结构体是相同的,对结构体的每一位我们进行分析:在x86下该结构体总共有8个字节,为了字节对齐,char a占1个字节,后面会补齐3位,但是由于这三位没有初始化也不会赋值,所以它们的值是cc,后面的4个字节是int占据的。

例子2:

我们在例子1的基础上,在给i1赋值前先用memset将i1结构体清零(其他代码不变):

Info i1, i2;
	memset(&i1, 0, sizeof(Info));
	i1.a = i2.a = 'a';
	i1.b = i2.b = 1;

输出结果:
memcmp比较结构体
这个时候就算两个结构体每个成员变量值都相同,但是通过memcmp得出的结果却是不相同的,因为对i1调用了memset进行了清零,那么char a后面补齐的三个字节也会被清0,i2没有清零,导致两个结构体每一个字节内容不完全相等。
当我们使用memcmp比较两个结构体时,又不能保证对每个结构体都使用了memset进行清零操作,此时就会出现错误的结果。为了安全起见,在c语言中,可以自己写结构体比较函数;在c++中,结构体基本等同于类,重载=操作符,自己实现比较逻辑即可。
当然,对于全局的结构体,以及静态变量,编译器会将结构体占用的内存初始化为0,等同于memset