C语言中的incomplete type

不完整类型是一种用于描述标识符而无法确认该描述符大小的类型。

如一个类只有声明没有定义，一个数组没有指定大小等。

还有一种情况就是类有定义，但是所在头文件没有被包含文件A中，仅仅在A中声明了，也属于不完整类型。

在编码过程中可以利用“无法确认该描述符大小”的特点来保证代码安全，如

typedef char T_must_be_comlete_type[(0 == sizeof(T) ? -1 : 1)];

如果类型T是个不完整类型，那么sizeof(T)就等于0，相当于
typedef char T_must_be_comlete_type[-1];

数组大小为-1在编译期间就会报错。