使用指针算术时内存泄漏

Memory leaks when using pointer arithmetic

本文关键字：内存 泄漏 指针      更新时间：2023-10-16

这样的代码会导致内存泄漏吗？

unsigned char *ptr = new unsigned char[2];
ptr++; //pointer now points to the second member of array
delete [] ptr;

根据标准(例如，此在线草案版本)，delete对指针的行为是未定义的，而new以前从未获得过该行为：

3.7.4.2取消分配功能

(3) 如果释放函数通过抛出异常而终止，则行为未定义。提供给的第一个参数的值解除分配函数可以是空指针值；如果是，如果deallocation函数是标准库中提供的函数调用无效否则，如果值提供给标准库中的运算符delete(void*)不是一个由任一运算符的上一次调用返回的值的new(std:：size_t)或运算符new(std：：size_t，const std:：nothrow_t&)在标准库中，如果值提供给标准库中删除运算符的不是先前调用任一运算符返回的值之一new或运算符new[](std:：size_t，conststd:：nothrow_t&)在标准库中

ptr+1的值不是new[]返回的值，因此对delete[] (ptr+1)的调用是UB。任何事情都可能发生，包括它似乎正常工作；但它肯定不能保证正常工作。

这里提到的是未定义的行为

删除[]表达式

表达式必须是null指针值或以前的指针值通过新表达式的数组形式获得。如果表达式有意义否则，包括如果它是通过的非数组形式获得的指针新表达式，行为未定义。

这是有道理的，因为delete[]希望从提供的指针中获得一些关于要删除的元素数量的信息，如果传递不同的指针，则找不到这些信息。

相关文章：