为什么指向未定义结构的指针有时在 C 和 C++ 中是非法的

Question

为什么

void foo(T*);

在 C 和 C++ 中都是非法的（因为 T 未定义），而在T 中却

void foo(struct T*);

是有效的，即使它仍然没有定义T？在任何情况下，无论 T 是结构体还是其他类型（类/枚举/typedef/等），它都会对调用者产生语义差异吗？

Answer 1

在 C 中，因为指向结构（任何结构）的指针都具有相同的宽度和对齐属性

6.2.5/27（C99 标准)

指向 void 的指针应具有相同的表示形式
以及作为指向字符类型的指针的对齐要求。
类似地，指向合格或不合格版本的指针
兼容类型应具有相同的表示形式并且
对齐要求。所有指向结构类型的指针
应具有相同的表示和对齐方式
要求彼此一致。所有指向联合类型的指针
应具有相同的表示和对齐方式
要求彼此一致。需要指向其他类型的指针
没有相同的表示或对齐要求。

---

另一方面，指向任何内容的指针可能具有不同的宽度和/或对齐属性（void*、函数指针、unsigned char* 等）

Answer 2

void foo(struct T*); 同时充当该范围内 struct T 的前向声明，因此可以安全地命名指向它的指针。

在 void foo(T*) 中，没有告诉 T 应该是什么。如果结果是变量的名称而不是类型，则该代码行格式错误。 C++ 需要更多信息才能确定该代码行有效。

Answer 3

struct T

充当 T 的前向声明。您向编译器承诺稍后将定义它。如果你实际上在 T 上做了一些事情或者尝试实例化它，你就会遇到问题：

  struct T t1; //error, incomplete type
  struct T* t2; // ok
  t2->foo     // error, incomplete type

Just

 T

是一个任意标识符。它是一个变量吗？它是一个函数吗？该语言不提供在变量前面添加 struct 或 class 来转发声明的功能。

Answer 4

struct T 将 T 声明为 struct，即使它出现在较大的声明中，即 foo 的声明。该类型不完整，但当它用于声明指针函数参数时，这并不重要。

如果没有 struct，编译器就不知道 T 应该是什么。

如果 T 之前已声明为 struct，则在 C++ 中允许使用 void foo(T*)，但在 C 中则不允许，因为 的名称code>struct 不会自动成为类型名称，尽管您可以根据需要在 C 中声明具有相同名称的 typedef。