为什么删除不完整的类型定义为"未定义的行为"？

Question

为什么删除不完整的类型定义为"未定义的行为"？

来自C++规范; §5.3.5/ 5;

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

给出代码示例(我理解为什么它是一个错误);

class ABC;

int main()
{
    ABC* p = nullptr;
    delete p;
}

当gcc,clang和msvc都警告它是一个不完整的类型时,为什么它被定义为未定义的行为？为什么不在这一点上出现错误,即为什么它不是可诊断的错误？

Answer 1

因为,正如你的引语所说,如果它具有非平凡的析构函数或释放函数,那么它只是未定义的行为.如果它不完整,编译器不知道是否是这种情况,因此不知道程序是否定义明确.