它是C中的内存泄漏吗？

Question

user:surendra nath 对此post 的回答指出，OP 发布的代码存在内存泄漏，而大多数情况下，当我们未能释放动态分配的内存时，就会发生泄漏区域，但我在 OPs 代码中看不到任何动态分配。 他引用了这个 wiki 定义，here。

从user:artificial idiot 到post 的内存泄漏的另一个定义是：

微妙的定义：无法释放可达内存 您的程序需要更长的时间才能正常运行。这差不多 无法使用自动化工具或程序员检测到 不熟悉代码。虽然从技术上讲它不是泄漏，但它有 与幼稚的含义相同。这不仅仅是我自己的想法。 您可能会遇到写在垃圾收集器中的项目 语言，但仍然提到在其更改日志中修复内存泄漏。

所以，我的问题：

• 考虑到“人工白痴”或维基百科给出的内存泄漏定义，“surendra nath”在 OPs 代码上所说的点是否可以说是内存泄漏？如果是，那为什么？
• C 中的内存泄漏是否总是指未能释放先前动态分配的内存？

附： - 我不知道 wiki 和 "artificial idiot" 的定义是否具有相同的含义，因为 wiki 的定义有时过于宽泛而无法理解。

Answer 1

人工白痴在The Best Memory Leak Definition 中提出的问题有时会引起关注。假设你有一个程序做这样的事情：

1. 构造一个包含 100 万个动态分配对象的数组。
2. 用那个数组做点什么。
3. 构造另一个包含 100 万个动态分配对象的数组（不引用第一个数组中的任何内容）。
4. 用那个数组做点什么。
5. 释放第二个数组。
6. 释放第一个数组。

在步骤 3-5 期间，第一个数组仍在使用内存，即使它的任何数据都不需要。结果，整个程序使用的总内存是它实际需要的两倍。如果它不再需要第 2 步之后，它应该释放第一个数组——然后它的内存可以重新用于第二个数组。

这是一种即使在垃圾收集语言中也可能发生的内存泄漏——如果持有对第一个数组的引用的变量没有被重新分配或超出范围，它将阻止所有数据GC'ed。

一个足够聪明的优化器理论上可以自动解决这个问题。如果它可以分析控制和数据流，并确定第 2 步之后第一个数组从未使用过，它可以将第 6 步重新排序到那个地方。但在许多情况下，编译器可能很难确定这一点。

编写模块化代码通常可以避免此类问题。如果您为处理每个数组创建单独的函数，则函数应该分配、使用和释放它们。