不完全类型检测 “typedef char type_must_be_complete[ sizeof(T)? 1: -1 ];”

最近在关注Boost库中智能指针的相关知识，剖析到下面的一段代码，在头文件checked_delete.hpp中的用于释放空间的类模板函
checked_array_delete(T * 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;  
}  

代码很简单，但表达的东西却很隐晦，其实这是一种不完全类型检测：T如果不是不完全类型那么sizeof（T）就应该是type_must_be_complete[-1],数组是不能为负数的，所以就会报错；
什么又是不完全类型呢？简单理解就是类型的定义不完整，比如只对类进行了声明，却未定义；