潜在的内存泄漏：块的 Malloc 和部分块的空闲？

Question

我正在使用遗留的 C++ 代码，该代码使用 malloc 保留一块内存并将其划分为单独释放的部分。像这样的：

const int N_floats_per_buffer = 100;
const int N_buffers = 2;
//reserve buffers en bloque
float * buffer = (float*) malloc(N_float_per_buffer * N_buffers * sizeof(float));
//then this block memory is divided into sub-blocks
float * sub_buffer[N_buffers];
for(int j = 0; j < N_buffers; ++j)
{
    sub_buffer[j] = buffer + j*N_floats_per_buffer;
}
//do something with the buffers...
//...
//finally: memory is freed for the individual buffers
for(int j = 0; j < N_buffers; ++j)
{
    if(sub_buffer[i]!=NULL) free(sub_buffer[j]);
}

在实际代码中实际上更令人困惑，但我想我已经抓住了它的精髓。

我的问题是：这是内存泄漏吗？

Answer 1

这不是内存泄漏。更糟糕的是，未定义的行为。

您只能在从malloc（或calloc 等）返回的指针上调用free。您不能在指向返回存储块中其他位置的指针上调用free。这样做会导致未定义的行为。

---

同样在更迂腐的一面，malloc 不创建任何对象，并且指针算法需要指针指向数组对象的元素，以便它在 C++ 中具有明确定义的行为。因此，从技术上讲，当您这样做时，您已经有未定义的行为

buffer + j*N_floats_per_buffer

尽管可能所有编译器的行为都符合预期（即使标准没有做出任何保证）。这个问题最近才在 C++20 中得到解决，其中所需的数组将被隐式创建。

在 C++ 中几乎总是只使用new/delete，而不是malloc/free。