在 C 中删除通过 `void*` 分配的内存安全吗？

在 C 中通过 Void 指针删除的危险

考虑以下代码片段：

void* my_alloc(size_t size) {
  return new char[size];
}

void my_free(void* ptr) {
  delete[] ptr;
}

问题出现了：使用安全吗my_free 删除由 my_alloc 分配的指针，假设 my_alloc 返回一个void*?

未定义行为

答案是响亮的“不”。 C 标准明确禁止通过 void* 进行删除。第 5.3.5/3 节规定：

在第一种选择（删除对象）中，如果操作数的静态类型与其动态类型不同，则静态类型应是操作数动态类型的基类并且静态类型应具有虚拟析构函数，否则行为未定义。在第二种选择（删除数组）中，如果要删除的对象的动态类型与其静态类型不同，则行为未定义。

并且其脚注添加：

这意味着无法使用 void* 类型的指针删除对象，因为不存在 void* 类型的对象

后果

删除穿过虚空*可能会导致不可预测的灾难性后果。程序可能会因内存错误、数据损坏或产生错误结果而崩溃。

因此，在删除指针之前必须始终将其转换为正确的类型。在这种情况下，指针应先转换为 char*，然后再将其传递给 delete[]。

以上是在 C 中删除通过 `void*` 分配的内存安全吗？的详细内容。更多信息请关注PHP中文网其他相关文章！