在 C 中使用 pragma pack 的结构相等性

Question

在 C 中无法检查结构是否相等的原因是存在松弛字节，这使得比较不可能。

但是如果我使用#pragma pack(1) 来删除松弛字节，那么比较应该可以顺利进行，但在比较时仍然会出错。

示例代码

#include<stdio.h>
#pragma pack(1)
struct person
{
    int uid;
    char nameStart;
};
struct personDupe
{
    int uid;
    char nameStart;
};
int main()
{
    struct person var;
    struct personDupe varDupe;
    printf("\nSize of person : %3d\n",sizeof(var));
    printf("\nSize of personDupe : %3d\n",sizeof(varDupe));

    var.uid = 12;
    var.nameStart = 'a';

    varDupe.uid = 12;
    varDupe.nameStart = 'a';

    if(var == varDupe)    //Error is introduced
        printf("\nStructures are equal\n");
    return 0;
}

Answer 1

您的代码无法编译，因为您无法直接比较两个 struct。

你应该使用类似memcmp:

memcmp(&var, &varDupe, sizeof(var));

这并不能解决填充问题，可以通过确保结构正确初始化为已知值来解决，即使在填充字节上（可以在字段初始化之前通过memset 获得）。

但是打包 struct 以删除填充以检查它们是否相等的方法似乎是一个脆弱的解决方案。如果编译器想要填充，那么它有一个很好的理由，可能与性能有关。

Answer 2

您还可以告诉编译器您如何检测到两个值相同

bool same_person(struct person* p, struct personDupe* dupe)
{ return p->uid == dupe->uid && p->nameStart == dupe->nameStart; }

然后你就可以了

if(same_person(&var, &varDupe))
    printf("\nStructures are equal\n");