相同的匿名结构是否兼容？

Question

考虑这段代码sn-p：

#include <threads.h>

int thread_start(void *ptr)
{
    struct {
        int a;
        int b;
    } *data = ptr;

    return 0;
}

int main(int argc, char *argv[])
{
    struct {
        int a;
        int b;
    } data;

    thrd_t thread;
    thrd_create(&thread, thread_start, &data);
    thrd_join(thread, NULL);
    return 0;
}

关于 void * 到 struct { int; int } * 的转换，假设匿名结构的字段与最初分配的结构的字段相同，这是根据 C 标准明确定义的行为吗？

Answer 1

如果这些结构不在同一个文件中，它们将是兼容的。

如果 thread_start 在单独编译的 .c 文件中定义（即单独的翻译单元），那么它们将是兼容的。具体来说，成员的名称、类型和顺序是相同的，并且它们都具有相同的标签，在这种情况下是无标签。

C standard 的§6.2.7 ¶1 部分列出了这些要求：

如果它们的类型相同，则两种类型具有兼容类型。 确定是否有两种类型的附加规则 compatible 在 6.7.2 中对类型说明符进行了描述，在 6.7.3 用于类型限定符，6.7.6 用于声明符。 此外，在中声明了两种结构、联合或枚举类型 单独的翻译单元如果它们的标签和 成员满足以下要求：如果已声明 一个标签，另一个应该用相同的标签声明。 如果两者都在各自的任何地方完成 翻译单元，则适用以下附加要求： 他们之间应该存在一一对应的关系 成员，使得每对对应的成员是 用兼容的类型声明；如果声明了该对中的一个成员 使用对齐说明符，另一个声明为 等效对齐说明符；如果这对中的一个成员 用一个名字声明，另一个用相同的名字声明 name. 对于两个结构，对应的成员应在 相同的顺序。对于两个结构或联合，对应 位域应具有相同的宽度。对于两个枚举， 相应的成员应具有相同的值。

因此，如果这些结构不在同一个文件中，将兼容。但是因为它们是，结构是不兼容的。

§6.7.2.1 ¶8 说：

struct-or-union-specifier 中的 struct-declaration-list 的存在声明了翻译单元内的新类型。

因此，第 6.7.2.1 节指定了在单个翻译单元中发生的情况。当声明位于单独的翻译单元中时，第 6.2.7 节中的规范会覆盖第 6.7.2.1 节中的规范。

^{注意：6.2.7 和 6.7.2 很容易混淆。}