● 结构体类型S在声明之后定义之前是一个不完全类型(incomplete type),即已知S是一个类型,但不知道包含哪些成员。
● 不完全类型只能用于定义指向该类型的指针,或声明使用该类型作为形参指针类型或返回指针类型的函数。指针类型对编译器而言大小固定(如32位机上为四字节),不会出现编译错误。
假设先后定义两个结构A和B,且两个结构需要互相引用。在定义A时B还没有定义,则要引用B就需要前向声明结构B(struct B;)。示例如下:
typedef BOOL (*func)(const DefStruct *ptStrt);
typedef struct DefStruct_t
{
int i;
func f;
}DefStruct;
如上在DefStruct中使用回调函数func声明,这样交叉引用必然编译报错。进行前向声明即可:
typedef struct DefStruct_t DefStruct;
typedef BOOL (*func)(const DefStruct *ptStrt);
struct DefStruct_t
{
int i;
func f;
};
● 注意,在前向声明和具体定义之间涉及标识符(变量、结构、函数等)实现细节的使用都是非法的(表明只能使用指针的形式来引用前向声明)。若函数被前向声明但未被调用,则编译和运行正常;若前向声明函数被调用但未被定义,则编译正常但链接报错(undefined reference)。将具体定义放在源文件中可部分避免该问题。