删除不完整类型的对象

Question

这个让我想到:

class X;

void foo(X* p)
{
    delete p;
}

delete p如果我们甚至不知道是否X有可见的析构函数,我们怎么可能呢？g ++ 4.5.1给出了三个警告:

warning: possible problem detected in invocation of delete operator:
warning: 'p' has incomplete type
warning: forward declaration of 'struct X'

然后它说:

注意:即使在定义类时声明析构函数也不会调用析构函数或特定于类的运算符delete.

哇......像g ++一样诊断这种情况需要编译器吗？还是未定义的行为？

Answer 1

从标准[expr.delete]:

如果被删除的对象在删除时具有不完整的类类型,并且完整的类具有非平凡的析构函数或释放函数,则行为是未定义的.

所以,如果有非常重要的事情要做,那就是UB,如果没有,那就没关系.UB不需要警告.

Answer 2

这是未定义的行为.

但是,您可以让编译器检查不完整的类型,例如boost:

// verify that types are complete for increased safety

template<class T> inline void checked_delete(T * x)
{
    // intentionally complex - simplification causes regressions
    typedef char type_must_be_complete[ sizeof(T)? 1: -1 ];
    (void) sizeof(type_must_be_complete);
    delete x;
}

应用于sizeof不完整类型应该触发错误,我想如果它通过一些编译器,那么负大小的数组将触发错误.