Question

我想知道你是否申报了这样的结构：

typedef struct 
{
    //...
} name;

那么，'name'类型的每个后续声明都会有不同的类型吗？

我想知道这是因为（来自标准）$ 6.7.2.3（p5）：

结构，联合或枚举类型的两个声明不同的范围或使用不同的标签声明不同的类型。的每个声明结构，联合或枚举类型而不是包含标签声明了一种不同的类型。

这是6.7.8美元（第3页）：

在存储类说明符为typedef的声明中声明器将标识符定义为表示的typedef名称以6.7.6中描述的方式为标识符指定的类型。

所以这样的事情是非法的（尽管clang会接受它）：

typedef struct{
    int a, b;
} s;

void func(s);

int main()
{
   s a = {2, 2};
   s b = a;
}

如果不是这样，请解释原因？

Answer 1

不包含标记的结构，联合或枚举类型的每个声明都声明了一个不同的类型。

这一行说的是每次声明这样的类型时，这都是一种新类型。并不是说每次声明这种类型的变量时，都会声明一个新类型。

您的代码只声明一次类型，因此它只创建一种类型。

Answer 2

我认为你是误会

结构，联合或枚举类型的每个声明

这是结构类型的声明：

struct s1 {
    int a, b;
};

这是

typedef struct {
    int a, b;
} s2;

它也是typedef的声明。这是结构类型和对象的声明：

struct {
    int a, b;
} o1;

这不是结构类型的声明：

s2 o4, o5;

它是两个对象的声明，每个对象都有结构类型。但是这里没有声明结构类型。

标准特别说

struct-or-union-speci fi中的 struct-declaration-list 的存在在翻译单元中声明了一个新类型。

struct-declaration-list 是大括号内的所有内容。

所以这个也不是结构类型的声明：

struct s1 o2, o3;

同样，它声明了对象，并为它们提供了结构类型，但由于缺少 struct-declaration-list ，因此它不会声明类型。