标签：c language-lawyer undefined-behavior void-pointers delete-operator

为什么通过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

本站声明： 1. iCode9 技术分享网（下文简称本站）提供的所有内容，仅供技术学习、探讨和分享；
2. 关于本站的所有留言、评论、转载及引用，纯属内容发起人的个人观点，与本站观点和立场无关；
3. 关于本站的所有言论和文字，纯属内容发起人的个人观点，与本站观点和立场无关；
4. 本站文章均是网友提供，不完全保证技术分享内容的完整性、准确性、时效性、风险性和版权归属；如您发现该文章侵犯了您的权益，可联系我们第一时间进行删除；
5. 本站为非盈利性的个人网站，所有内容不会用来进行牟利，也不会利用任何形式的广告来间接获益，纯粹是为了广大技术爱好者提供技术内容和技术思想的分享性交流网站。