如何比较标准C中两个相等的struct实例?
当前回答
注意,可以在非静态结构上使用memcmp() 担心填充,只要你没有初始化 所有成员(同时)。这是C90定义的:
http://www.pixelbeat.org/programming/gcc/auto_init.html
其他回答
memcmp不比较结构,memcmp比较二进制,结构中总是有垃圾,因此在比较中总是输出False。
逐个元素比较它是安全的,不会失败。
你不能使用memcmp来比较结构是否相等,因为在结构的字段之间存在潜在的随机填充字符。
// bad
memcmp(&struct1, &struct2, sizeof(struct1));
对于这样的结构体,上述方法将失败:
typedef struct Foo {
char a;
/* padding */
double d;
/* padding */
char e;
/* padding */
int f;
} Foo ;
为了安全起见,您必须使用成员比较。
这个兼容的例子使用了来自Microsoft Visual Studio的#pragma包编译器扩展,以确保结构成员尽可能紧密地打包:
#include <string.h>
#pragma pack(push, 1)
struct s {
char c;
int i;
char buffer[13];
};
#pragma pack(pop)
void compare(const struct s *left, const struct s *right) {
if (0 == memcmp(left, right, sizeof(struct s))) {
/* ... */
}
}
@Greg是正确的,在一般情况下必须编写显式比较函数。
在以下情况下可以使用memcmp:
结构体不包含可能是NaN的浮点字段。 结构体不包含填充(使用- wpadding with clang来检查)或者结构体在初始化时显式地使用memset初始化。 没有成员类型(如Windows BOOL)具有不同但等效的值。
除非你正在为嵌入式系统编程(或者编写一个可能用于嵌入式系统的库),否则我不会担心C标准中的一些极端情况。近指针和远指针的区别在任何32位或64位设备上都不存在。我所知道的非嵌入式系统中没有多个NULL指针。
另一种选择是自动生成相等函数。如果以简单的方式布局结构定义,则可以使用简单的文本处理来处理简单的结构定义。对于一般情况,您可以使用libclang—因为它使用与Clang相同的前端,所以它可以正确地处理所有边缘情况(排除错误)。
我还没有见过这样的代码生成库。然而,它看起来相对简单。
然而,这种生成的相等函数在应用程序级别上经常会做错误的事情。例如,Windows中的两个UNICODE_STRING结构应该进行浅比较还是深比较?
您可能会尝试使用memcmp(&a, &b, sizeof(struct foo)),但它可能不是在所有情况下都有效。编译器可以向结构体添加对齐缓冲空间,并且在位于缓冲空间的内存位置上找到的值不保证是任何特定的值。
但是,如果在使用结构之前使用calloc或memset结构的完整大小,则可以与memcmp进行浅比较(如果结构包含指针,则只有在指针指向的地址相同时才匹配)。
推荐文章
- c++中size_t和int的区别是什么?
- 在C和c++中静态变量存储在哪里?
- errno线程安全吗?
- 如何在C程序中获取当前目录?
- 互斥实例/教程?
- 如何添加一个'或'条件在#ifdef
- extern关键字对C函数的影响
- 如果使用if-return-return或if-else-return?
- 转换Python程序到C/ c++代码?
- 为什么程序不是经常用汇编编写的?
- 有没有替换Windows (Visual C)的unistd.h ?
- 使用gcc命令行从.c文件构建.so文件
- C多行宏:do/while(0) vs作用域块
- time_t最终的类型定义是什么?
- 我需要显式处理负数或零时,总和平方数字?