从地图中释放内存。 C++

Question

std::map<int, int> * mp = new std::map<int, int>;
for(int i = 0; i < 999999; i++){
  mp->insert(std::pair<int, int>(i, 999999-i )); 
}
p("created");
//mp->clear();     -     doesn't help either
delete mp;
p("freed");

问题是：“删除 mp”没有任何作用。比较：

std::vector<int> * vc = new std::vector<int>;
for(int i = 0; i < 9999999; i++){
  vc->push_back(i); 
}
p("created");
delete vc;
p("freed");

释放内存。如何从 map 中释放内存？
PS: p("string") 只是暂停程序并等待输入。

Answer 1

应用程序使用的 RAM 并不是判断内存是否已被语义释放的精确方法。

释放的内存是可以重复使用的内存。但有时，您不会直接在操作系统报告为我们的应用程序使用的内存中观察到释放的内存。

你知道内存被释放是因为语言的语义是这样说的。

Answer 2

其实，如果下面的代码没有泄露的话：

{
  std::map<int, int> some_map;
}

以下代码也不应泄漏：

{
  std::map<int, int>* some_map = new std::map<int, int>();
  /* some instructions that do not throw or exit the function */
  delete some_map;
}

这适用于您使用new 的任何类型，只要类型写得好。 std::map 可能写得很好。

我建议您使用valgrind 来检查您的泄漏。我非常怀疑您观察到的是真实泄漏。

Answer 3

要确定您是否正在释放内存，请尝试向对象的析构函数添加可观察的效果，然后...观察它们。 例如，创建一个自定义类而不是映射，该类在调用析构函数时发出输出。 像这样的：

#include <map>
#include <iostream>
#include <utility>

class Dtor{
        int counter;
    public:
        explicit Dtor(int c):counter(c) {std::cout << "Constructing counter: " << counter << std::endl; }
        Dtor(const Dtor& d):counter(d.counter) {std::cout << "Copy Constructing counter: " << counter << std::endl; }
        ~Dtor(){ std::cout << "Destroying counter: " << counter << std::endl; }
};

int main(){
    std::map<int, const Dtor&> * mp = new std::map<int, const Dtor&>;
    for (int i = 0; i < 10; ++i){
        mp -> insert(std::make_pair(i, Dtor(i)));
    }
   delete mp;
   return 0;
}

您将目睹删除指针会调用对象的析构函数，正如预期的那样。

Answer 4

正如 Daniel 所提到的，应用程序使用的 RAM 不一定是内存泄漏的指标。 关于你注意到的关于向量的行为，向量保证内存布局是连续的，因此当你创建一个大小为 99999999 的向量时，所有 99999999 个元素都按顺序排列，将构成相当大的内存块。删除它肯定会影响进程大小。地图的行为不同（根据维基百科，它通常实现为自平衡二叉树）所以我猜删除它会导致进程内存空间中的碎片&可能是由于进程内存不会立即下降。 检测内存泄漏的最佳方法是使用像 valgrind 这样的工具，它可以清楚地指出问题所在。