Complete type & Incomplete type

刚看到上面的代码，相信很多朋友会疑惑，上面那个enum是干什么用的呢？不急，且听我一一道来。这里，”enum {type_must_be_complete = sizeof(C)}”的作用是为了防止C只有声明、没有定义，也就是为了确保C是完整的类型。为什么会这样呢？
这是因为，在C++中，类型有Complete type和Incomplete type之分，对于Complete type, 它的大小在编译时是可以确定的，而对于Incomplete type, 它的大小在编译时是不能确定的。所以，上面的代码中，如果C是Incomplete type的话，sizeof就会在编译时报错，从而达到了我们检查C是否是Complete type的目的。
那么，如何来区分Complete type和Incomplete type呢？msdn中是这样定义Incomplete type的：

• （1）A structure type whose members you have not yet specified.（成员不确定的结构类型，包括struct和class）
• （2）A union type whose members you have not yet specified.（成员不确定的联合类型）
• （3）An array type whose dimension you have not yet specified.（没指定大小的数组）

  除了上面三类，其它的应该都属于Complte type.