c – 为什么删除void *是UB而不是编译错误？

为什么通过void *删除对象是未定义的行为,而不是编译错误？

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

这段代码编译并生成代码,虽然gcc和clang上有警告(令人惊讶的是,ICC没有发出警告)：

:2:5: warning: cannot delete expression with pointer-to-‘void’
type ‘void *’ [-Wdelete-incomplete]

为什么不是简单的格式错误的程序,语法无效？看起来Standard并没有花太多时间,在[expr.delete]中说

This implies that an object cannot be deleted using a pointer of type
void* because void is not an object type.

我有什么理由不知道为什么这不会触发硬编译错误？

解决方法:

在现代C中删除void *指针是不正确的(即我们通常称之为“编译错误”)

8.3.5 Delete
1 […] The operand shall be of pointer to object type or of class type.

void *不是指向对象类型的指针.

在C 98中,情况有所不同.删除void * type的空指针是NOP,而删除void * type的非空指针是UB.

规范中的这种变化似乎是由defect report #599触发的.原始规范允许在delete-expression中提供任何指针类型的空指针,例如函数指针.这看起来不必要地宽容. DR#599的解决方案收紧了要求,也取消了空虚*.

标签：c,language-lawyer,undefined-behavior,void-pointers,delete-operator
来源： https://codeday.me/bug/20190910/1800169.html