#include<iostream>
using namespace std;
struct a{
int e;
struct abc *d;
};
struct abc{
int c;
};
int main()
{
return 0;
}
在定义struct a之后，我定义了struct abc，并声明了一个指向abc结构的指针。这应该会导致编译错误，因为在声明之前使用了abc。但是，实际上没有出现错误，为什么呢？
然而，当我将其替换为struct abc d而不是struct abc *d时，它按预期产生编译错误。
struct abc *d;
一方面声明了struct abc，另一方面声明了类型为struct abc *的指针d。
在这个声明中，没有必要精确定义struct abc，因为结构体的任何数据成员都没有被使用。
这个限定符struct abc被称为精细类型限定符。
它在给定的作用域中引入了一个新类型，或者引用了已经声明的类型。
你说得对，通常情况下，你需要这种类型的前向声明：
// Forward declaration
struct bar;
struct foo
{
bar* d; // only a pointer-to-bar; forward declaration sufficient
};
struct bar
{
int c;
};
然而，你（由于某种原因）使用了过时的习惯，在类型名称之前写上了struct。（在C语言中需要这样做，但在C++中从未需要过。）
struct foo
{
struct bar* d;
};
struct bar
{
int c;
};
struct bar而不是只写bar，这本身就算是一种前置声明。编译器现在知道bar是一个类型，这就是它需要知道的全部。这段代码能够正常运行，因为编译器拥有所有必要的信息：
d 的大小（等于指针的大小）1abc 是什么类型（是一个结构体）如果你存储了一个 结构体 abc 类型的对象：
struct abc d;
如果没有定义struct abc，那么翻译会出现错误，因为缺少关于d大小和内存布局的信息。
另外，如果省略了struct关键字：
abc *d;
如果缺少关于abc的信息，那么它也将是一个错误。
这应该会抛出编译错误，因为在其声明之前使用了
abc。
它并没有被使用，只是声明。通过指针使用abc需要先对指针进行解引用（如果此时abc未定义，则会出现错误）。
1 允许使用不完整类型的指针，因为指针的大小和内存布局不取决于它所指向的内容。
允许声明不完整的指针类型。
这是前向声明 -
前向声明是在实际定义之前的声明，通常是为了在定义不可用时能够引用已声明的类型。当然，并非所有事情都可以使用已声明但未定义的结构，但在某些上下文中可以使用。这种类型称为不完整类型。
以下形式的声明
class-key attr identifier ; // struct abc *d; (Your case)
声明一个类类型，该类型将在此范围内稍后定义。在定义出现之前，此类名称具有不完整的类型。
当声明struct a时，它还不知道struct abc的规格，但您可以进行前向引用。
struct abc而不仅仅是abc是原因。其他答案已经详细介绍了这一点。 - Lightness Races in Orbitstruct a中，您引用了指向struct abc的指针，因此编译器不需要更多关于它的信息来计算d成员的大小。struct abc是否已定义。这解释了标准的基本原理：
禁止声明未知类型的变量（当未转发时，abc是这样一个未知类型）
允许将它们声明为指向不完全类型的指针。（struct abc是不完全类型：至少已知它是某个struct）
struct a {
struct abc *d;
}
这相当于转发 (struct) 类型 abc 的声明，如下所示
struct abc; // forward
struct a {
abc *d; // legal
};
然而类型abc是不完整的，因此以下是非法的
struct z {
struct abc y; // error : incomplete struct type
}
出于好奇，这是可以的：
struct A {
struct B* ptr1; // forwards declaration of B, and use it
B* ptr2; // B is a known (incomplete-)type name now
}
struct a { int e; abc* d; }; 虽然符合你提出的（幻想的）规则集，但却无法编译。 - IInspectable
sizeof(char*) != sizeof(int*)指针的大小是否可能在数据指针和函数指针之间有所不同？ 是否有任何平台，不同类型的指针具有不同的大小？ 在这些情况下，编译器如何知道指针的大小？ - phuclvabcжҳҜдёҖдёӘзұ»вҖқпјҲC++жІЎжңүз»“жһ„дҪ“пјүгҖӮ - Lightness Races in Orbit