C11 - 将指针到结构转换为结构的匿名第一个成员

Question

C标准规定：

指向结构对象的指针，经过适当的强制转换，指向其初始成员（如果该成员是位字段，则指向其所在的单元），反之亦然。

如果有问题的结构的第一个成员是匿名结构/联合，是否有任何可能（并且定义良好）的方法在C11中执行这种“合适的转换”？或者如果包含的结构是匿名的，则执行“反之亦然”的反向转换？

我猜想，转换为与匿名结构具有相同成员序列的非匿名结构会使它无法很好地定义，因为它们不兼容，因此不能保证具有相同的内存布局。

然而，C标准规定：

此外，如果在单独的翻译单元中声明的两个结构、联合或枚举类型的标记和成员满足以下要求，则它们是兼容的：如果一个用标记声明，则另一个用相同的标记声明。如果两者都在各自的翻译单位内完成，则以下附加要求适用：其成员之间应进行一对一的通信

我们可以尝试将这个规则应用于匿名结构吗？比方说，如果我们有以下设置:

标题.h：

struct container {
    struct {
        int a;
        char b;
    };
};

void print(struct container *pcontainer);

sep. c：

#include <stdio.h>
#include "header.h"

void print(struct container *pcontainer){
    printf("%d\n", ((struct { int a; char b; }*)pcontainer)->a);
}

main.c

#include "header.h"

int main(void){
    struct container container, *pcontainer;

    pcontainer = &container;
    pcontainer->a = 1;

    print(pcontainer);

    return 0;
}

（这在gcc（GCC）4.8.3 20140911上编译并输出1）。

考虑在< code>print函数内的转换中使用的匿名结构，以及在< code>main.c中结束的< code>struct容器的第一个成员的匿名结构。它们可以被认为是“在单独的翻译单元中声明的类型”吗？此外，它们真的满足所有其他兼容性要求吗，还是我误解了什么？

Answer 1

什么是翻译单元：

5.1.1.1程序结构

1. 一个C程序不需要全部同时翻译。在本国际标准中，程序文本以称为源文件（或预处理文件）的单位保存。源文件以及通过预处理指令#include包含的所有头文件和源文件称为预处理翻译单元。预处理后，预处理翻译单元称为翻译单元

所以c文件加上预处理后的头形成了一个翻译单元。让我们以sep. c和head. h组成的翻译单元为例。它包含结构{int a； char b；}的两个声明，一个在结构容器中，另一个在函数print中。这些结构在同一个翻译单元中声明。

6.2.7兼容型和复合型

1. 如果两种类型的类型相同，则它们具有兼容的类型。确定两种类型是否兼容的其他规则在6.7.2中描述了类型说明符，6.7.3中描述了对于类型限定符，6.7.6中描述了关于声明符。此外，在单独的翻译中声明的两个结构、联合或枚举类型

其余的文本是指在单独的翻译单元中声明的类型。

由于结构不在单独的翻译单元中声明，因此它们不属于6.2.7规则的范围。

因此，在我的解释中，struct容器中的一个和print（）中的转换中的另一个结构是不兼容的。