ISO C 标准引入术语“不完全类型”使 C 的基本(但容易造成误解)部分形式化,这种类型的开头具有某种暗示。本节介绍了不完全类型、在何处允许使用它们以及其有用的原因。
ISO 将 C 的类型分为三个不同的集合: 函数、对象和不完全。函数类型很明显;对象类型包含其他一切,除非不知道对象的大小。该标准使用术语“对象类型”指定指派的对象必须具有已知大小,但请注意,除 void 之外的不完全类型也称为对象。
不完全类型有三种不同形式: void、未指定长度的数组以及具有非指定内容的结构和联合。void 类型与其他两种类型不同,因为它是无法完成的不完全类型,并且它用作特殊函数返回和参数类型。
通过在表示相同对象的相同作用域中的后面声明中指定数组大小,可完成数组类型。当声明并在相同声明中初始化不具有大小的数组时,仅在其声明符的末尾与其初始化函数的末尾之间,数组才具有不完全类型。
通过在具有相同标记的相同作用域中的后面声明中指定内容,可完成不完全结构或联合类型。
某些声明可使用不完全类型,但是其他声明需要完全对象类型。需要对象类型的声明是数组元素、结构或联合的成员以及函数的局部对象。所有其他声明允许不完全类型。特别地,允许下列构造:
指向不完全类型的指针
返回不完全类型的函数
不完全函数参数类型
不完全类型的 typedef 名称
函数返回和参数类型特殊。除 void 之外,在定义或调用函数之前,必须完成以这种方式使用的不完全类型。返回类型 void 指定不返回值的函数,单个参数类型 void 指定不接受参数的函数。
由于数组和函数的参数类型重写为指针类型,因此表面上不完全的数组参数类型实际上并非不完全。main 的 argv 的典型声明(即 char *argv[],一个未指定长度的字符指针数组)重写为指向字符指针的指针。
大多数表达式运算符需要完全对象类型。仅有的三个例外是一元运算符 &、逗号运算符的第一个操作数以及 ?: 运算符的第二个和第三个操作数。除非需要指针运算,否则接受指针操作数的大多数运算符也允许指向不完全类型的指针。该列表包含一元运算符 *。
例如,假设有以下表达式,则 &*p 是可利用此情况的有效子表达式。
void *p
除了 void 之外,C 没有其他方法可处理不完全类型:结构和联合的前向引用。如果两个结构需要相互指向的指针,则唯一的方法是使用不完全类型:
struct a { struct b *bp; }; struct b { struct a *ap; };
具有某种形式的指针以及异构数据类型的所有强类型编程语言提供处理这种情形的某些方法。
为不完全结构和联合类型定义 typedef 名称通常很有用。如果您有一系列包含许多相互指向的指针的复杂数据结构,结构前面有一个 typedef 列表(可能在中央头文件中),则可以简化声明。
typedef struct item_tag Item; typedef union note_tag Note; typedef struct list_tag List; . . . struct item_tag { . . . }; . . . struct list_tag { struct list_tag { };
此外,对于其内容不应该用于程序其余部分的结构和联合,头文件可以声明不带该内容的标记。程序的其他部分可以使用指向不完全结构或联合的指针而不会出现任何问题,除非它们尝试使用它的任何成员。