在C语言中如何比较结构是否相等?

@Greg是正确的，在一般情况下必须编写显式比较函数。

在以下情况下可以使用memcmp:

结构体不包含可能是NaN的浮点字段。结构体不包含填充(使用- wpadding with clang来检查)或者结构体在初始化时显式地使用memset初始化。没有成员类型(如Windows BOOL)具有不同但等效的值。

除非你正在为嵌入式系统编程(或者编写一个可能用于嵌入式系统的库)，否则我不会担心C标准中的一些极端情况。近指针和远指针的区别在任何32位或64位设备上都不存在。我所知道的非嵌入式系统中没有多个NULL指针。

另一种选择是自动生成相等函数。如果以简单的方式布局结构定义，则可以使用简单的文本处理来处理简单的结构定义。对于一般情况，您可以使用libclang—因为它使用与Clang相同的前端，所以它可以正确地处理所有边缘情况(排除错误)。

我还没有见过这样的代码生成库。然而，它看起来相对简单。

然而，这种生成的相等函数在应用程序级别上经常会做错误的事情。例如，Windows中的两个UNICODE_STRING结构应该进行浅比较还是深比较?

@Greg是正确的，在一般情况下必须编写显式比较函数。

在以下情况下可以使用memcmp:

结构体不包含可能是NaN的浮点字段。结构体不包含填充(使用- wpadding with clang来检查)或者结构体在初始化时显式地使用memset初始化。没有成员类型(如Windows BOOL)具有不同但等效的值。

除非你正在为嵌入式系统编程(或者编写一个可能用于嵌入式系统的库)，否则我不会担心C标准中的一些极端情况。近指针和远指针的区别在任何32位或64位设备上都不存在。我所知道的非嵌入式系统中没有多个NULL指针。

另一种选择是自动生成相等函数。如果以简单的方式布局结构定义，则可以使用简单的文本处理来处理简单的结构定义。对于一般情况，您可以使用libclang—因为它使用与Clang相同的前端，所以它可以正确地处理所有边缘情况(排除错误)。

我还没有见过这样的代码生成库。然而，它看起来相对简单。

然而，这种生成的相等函数在应用程序级别上经常会做错误的事情。例如，Windows中的两个UNICODE_STRING结构应该进行浅比较还是深比较?

如果结构只包含原语，或者如果你对严格的相等感兴趣，那么你可以这样做:

int my_struct_cmp(const struct my_struct * lhs, const struct my_struct * rhs)
{
    return memcmp(lhs, rsh, sizeof(struct my_struct));
}

然而，如果你的结构体包含指向其他结构体或联合的指针，那么你就需要编写一个函数来正确地比较原语，并根据需要对其他结构进行比较调用。

但是请注意，您应该使用memset(&a, sizeof(struct my_struct)， 1)来将结构体的内存范围归零，这是ADT初始化的一部分。

如果你经常这样做，我建议你写一个函数来比较这两种结构。这样，如果你改变了结构，你只需要改变一个地方的比较。

至于怎么做....您需要单独比较每个元素

C语言没有提供这样做的语言工具——你必须自己做，并逐个比较每个结构成员。

你不能使用memcmp来比较结构是否相等，因为在结构的字段之间存在潜在的随机填充字符。

  // bad
  memcmp(&struct1, &struct2, sizeof(struct1));

对于这样的结构体，上述方法将失败:

typedef struct Foo {
  char a;
  /* padding */
  double d;
  /* padding */
  char e;
  /* padding */
  int f;
} Foo ;

为了安全起见，您必须使用成员比较。

推荐文章