兼容类型并忽略C类型系统中的顶级限定符

这是一个多部分的问题。

我一直在努力理解C型系统。首先是C标准 经常提到“兼容类型”,所以我试着去理解它。 这个定义似乎很分散,但我发现:

6.2.7兼容类型和复合类型1如果类型相同,则两种类型具有兼容类型。确定的其他规则 6.7.2中描述了两种类型是否兼容 6.7.3中的类型限定符和6.7.6中的 声明人。55)此外,两种结构、联合或枚举类型 如果它们的标记 成员满足以下要求:如果声明 有标签时,另一个应使用相同的标签声明。如果两者都是 在各自翻译单位内的任何地方完成,然后 以下附加要求适用:应为一对一 成员之间的通信,以便每对 使用兼容类型声明相应的成员;如果有 使用对齐说明符声明对的成员,另一个 使用等效对齐说明符声明;如果有一个成员 其中一个用名称声明,另一个用 同名。对于两个结构,应声明相应的构件 按相同的顺序。对于两个结构或联合体,对应 钻头字段的宽度应相同。对于两次枚举, 相应构件应具有相同的值。

REFS:
    6.7.2  short == short int == signed short == signed short int, etc.
    6.7.3
        10) For two qualified types to be compatible, both shall have the identically qualified version of a compatible type; the order of type qualifiers within a list of specifiers or qualifiers does not affect the specified type.
    6.7.6
        1.2)
            For two pointer types to be compatible, both shall be identically qualified and both shall be pointers to compatible types.
        2.6)
For two array types to be compatible, both shall have compatible element types, and if both size specifiers are present, and are integer constant expressions, then both size specifiers shall have the same constant value. If the two array types are used in a context which requires them to be compatible, it is undefined behavior if the two size specifiers evaluate to unequal values.

在我看来

1. 如果这两种类型的所有完整部分都相同,那么它们是兼容的。
2. (由于1。)“完全兼容类型”实际上是指“相同类型”。

首先,我想问一下我的解释是否准确。

第二 _Generic 本标准中的选择是根据“兼容类型”的概念定义的:

6.5.1.1泛型选择2泛型选择不得有多个默认泛型关联。泛型中的类型名称 关联应指定一个完整的对象类型,而不是可变的 已修改类型。同一泛型中没有两个泛型关联 选择应指定兼容类型。控制表达式 通用选择的类型应与以下最多一种兼容 在其泛型关联列表中命名的类型。如果是泛型 选择没有默认的泛型关联,其控制 表达式的类型应与其中一种类型完全兼容 在其泛型关联列表中命名。

但编译器对顶级限定符的解释似乎有所不同:

$ $CC -x c -include stdio.h - <<<'int main(){puts( _Generic((int const){0}, int:"int", int const: "int const")); }' && ./a.out      #int with gcc, and int const with clang

在我看来,叮当声的解释是正确的,但令人困惑的是

$ $CC -x c -include stdio.h - <<<'int main(){puts( _Generic((int const)0, int:"int", int const: "int const")); }' && ./a.out        

表示 "int" 即使在叮当声中。

所以我的第二个问题是,标准中的什么是解释的基础 (int const)0 从类型开始 int 和 (int const){0} 从类型开始 int const ?

最后,在我的所有编译器(tcc、gcc、clang)中,在原型类型列表中的所有类型上似乎都忽略了顶级限定符 确定函数或函数指针之间的兼容性时:

for CC in tcc gcc clang; do echo CC=$CC; $CC -x c  - <<<'int main(){ static void (*f)(int*), (*g)(int * restrict const volatile);  f=g; }' ; done #no complaints

但我在标准中找不到任何提及,所以我的最后一个问题是:

在确定函数兼容性的上下文中,是否忽略原型类型列表中类型的顶级限定符?

谢谢