typedef 具有前向声明的副作用？答案

【问题标题】：typedef with a forward declaration side-effect?typedef 具有前向声明的副作用？
【发布时间】：2012-07-08 13:15:07
【问题描述】：

我在头文件中有以下声明：

struct my_struct;
int func(struct my_struct* s);        // Passing struct my_struct*

如果没有前向声明，编译器显然会给出this error：

error: 'struct my_struct' declared inside parameter list

但是，如果我用 typedef 替换 my_struct 的前向声明，并相应地更新函数声明，它 compiles fine:

typedef struct my_struct my_struct_t;
int func(mystruct_t* s);              // Passing my_struct_t*

奇怪的是，如果我保留 typedef，但使用原始声明 my_struct，它是 also compiles：

typedef struct my_struct my_struct_t;
int func(struct my_struct* s);        // Passing struct my_struct*

其他人注意到了吗？这种行为是副作用吗？

【问题讨论】：

【解决方案1】：

在第 6.2.1 节第 7 段中：

结构、联合和枚举标记的范围紧随其出现之后开始声明标签的类型说明符中的标签。每个枚举常量的范围在其定义的枚举数出现在枚举数列表中之后开始。任何其他标识符的范围在其声明符完成后开始。

在 6.7.2.3 中，第 8 段：

如果表单的类型说明符结构或联合标识符除了作为上述形式之一的一部分发生，并且没有其他声明标识符作为标签是可见的，然后它声明一个不完整的结构或联合类型，并且将标识符声明为该类型的标记。

typedef 因此声明了一个不完整的结构类型。

【讨论】：