在muduo源代码中,会看到这样的代码:
typedef char T_must_be_complete_type[sizeof(T) == 0 ? -1 : 1];
T_must_be_complete_type dummy; (void) dummy;
在C++中,类型有Complete type和Incomplete type之分,对于Complete type, 它的大小在编译时是可以确定的,而对于Incomplete type, 它的大小在编译时是不能确定的。
用delete删除一个只有声明但无定义的类型的指针(即不完整类型),是危险的。这通常导致无法调用析构函数(包括对象本身的析构函数、成员/基类的析构函数),从而泄露资源。
而通过 typedef char T_must_be_complete_type[sizeof(T) == 0 ? -1 : 1]; 这种做法能使当T为不完整类型时编译报错。(当T为不完整类型时,sizeof(T)给出的是0,根据代码规则,-1是不能作为数组的size的,因此,这里相当于强制编译器给出error而不是 warning)。
后面的
T_must_be_complete_type dummy; (void) dummy;
是消除警告:warning: unused typedef 'T_must_be_complete_type' [-Wunused-local-typedef]