C++删除不完全类型数组

看智能指针的时候遇到一组函数蛮有意思的，即checked_delete(T* x)和checked_array_delete(T* x)，这两个函数的作用是安全删除参数所指向的变量或数组。

template<class T> inline void checked_delete(T* x){  typedef char type_must_be_complete[ sizeof(T)? 1: -1 ];  (void) sizeof(type_must_be_complete);  delete x;}template<class T> inline void checked_array_delete(T* x){  typedef char type_must_be_complete[ sizeof(T)? 1: -1 ];  (void) sizeof(type_must_be_complete);  delete[] x;}

函数只有最后一行不同，分别调用了delete和delete[]操作符，顺便说一句，在C/C++中指针既可以指向一个变量，也可以指向一个数组，因此这两个函数仅仅从参数无法区别出来待删除的是单个变量还是数组，只能由调用者自行保证调用了正确的函数。

函数总共三行语句，第三行是根本目的，很容易理解，前两行的目的就是为了所谓的安全性了。怎么个安全法呢？这两个函数是函数模版，在编译时无法确定参数的类型，而动态运行时的错误是比较棘手的，所以用这行代码：

typedef char type_must_be_complete[ sizeof(T)? 1: -1 ];

来将运行时错误转变为编译期错误。这句话其实就是定义了一个固定大小的char型数组，数组名为type_must_be_complete，数组大小是多少呢？是sizeof(T)?1:-1， ？：这个三元操作符大家都很熟悉了，若sizeof(T)非0，这个表达式的值为1，即typedef了一个大小为1的char型数组，否则定义一个大小为-1的数组。数组大小还能为负数？当然不能，于是就会报错，而且是编译期错误，于是就将一个动态运行时错误在编译时就发现了。

接下来解释sizeof什么时候返回0. C/C++语言本身似乎没有这种情况，但有些编译器会作一些扩展，比如GCC对于incomplete type使用sizeof时，会返回0.那什么又叫做incomplete type呢，就是那些声明了，但没有定义的类型，例如：

class A;extern A a;

C++标准允许通过一个 delete 表达式删除指向不完全类的指针。如果该类有一个非平凡的析构函数，或者有一个类相关的 delete 操作符，那么其行为就是无定义的。因此编译器作了这种扩展，以将这种未定义的行为转为编译期错误，帮助程序员们及早发现。

函数的第二行语句的作用据说是为了防止编译器优化，因为编译器检测到typedef的类型未被使用到的话可能就会将其优化掉，因而第二行语句使用了这个类型，告诉编译器这个typedef是有用的，不能优化掉。至于(void)强制类型转换，问了同学，说是为了消除编译器对未使用sizeof返回值的警告。

仅仅几行代码都有这么多讲究，要学的东西还很多啊。错误和疏漏的地方欢迎批评指正！