避免 C++ 类中的内存泄漏

Question

我已经使用以下头文件定义了一个 C++ 类：

class EarleyParser
{

    public:

        EarleyParser();
        virtual ~EarleyParser();

        void initialize( string filePath, bool probabilityParse );

    private:

        bool probabilityParser;

        typedef unordered_map< string, list<Production>* > productionHashTable;
        productionHashTable earlyHashTable;

};

如你所见，该类的成员元素是 unordered_map，其关键元素是字符串，内容元素是指向另一个名为 Production 的类的对象列表的指针（不要介意，它可以是任何东西）。

我的问题是我是否应该将它留给默认析构函数来释放分配的内存，或者我是否应该手动检查哈希表并删除它的所有元素。

在第二种情况下，程序是什么？为每个元素调用这个可以吗？

EarleyParser::productionHashTable::const_iterator got = this->earlyHashTable.find( "key" );
delete[] got->second;

Answer 1

您需要明确谁拥有EarlyParser 拥有的list<Production> 对象。如果EarlyParser 拥有它们，那么您需要释放这些资源。您可以通过遍历列表并在每个取消引用的迭代器上调用 delete 来完成此操作（not delete[]）。或者您可以改为存储unique_ptr<list<Production>>。另一方面，最简单的解决方案是存储list<Production>，除非您确实有非常充分的理由存储指针。

Answer 2

如果您要在地图中存储指向任何内容的指针，则必须手动浏览地图并删除每个指针。通常在一个类中你会坚持使用 RAII（资源获取即初始化）并在 constructor 中构造东西并在 destructor

中销毁

 for (;;)
     delete map->second; //it's not an array of lists 

但是指向容器的指针不是一个好主意。为什么需要指针？您想使用指向list 的指针解决什么问题？

使用像std::unique_ptr 这样的智能指针比原始指针更好。原始指针应该是最后的手段，而不是当你想不出更好的东西时首先抓住的东西。

Answer 3

使用：

typedef unordered_map< string, std::unique_ptr<list<Production> > > productionHashTable;

相反。那么你就不用担心管理内存了。

Answer 4

编译器合成析构函数不会删除您放入映射中的动态分配列表，因此您必须自己做。在这种情况下，您只需遍历您的地图并删除每个元素的 second 成员：

EarleyParser::~EarleyParser() {
  for ( productionHashTable::iterator i = earlyHashTable.begin(); i != earlyHashTable.end(); ++i )
    delete i->second;
}

更好的方法是将列表放在地图中，而不是指向列表的指针。在这种情况下，编译器会自动处理销毁，如下所示：

typedef unordered_map< string, list<Production> > productionHashTable;

Answer 5

Unordered_map's destructor实际上调用了它拥有的对象的析构函数，这意味着lists的析构函数将被调用。 The destructor of std::list有这个注释：

注意，如果元素是指针，则指向的对象不会被销毁。

所以这意味着，你必须自己清除那段记忆。是的，通过容器并删除元素 1by1 很好。正如其他回答者所提到的那样，持有这样的指针并不是一个好主意。

Answer 6

由于您使用的是指向 std::list 的原始指针，因此您必须在地图的生命周期内或在其析构函数中清理 EarleyParser 对象时自行删除它。

你可以在你的析构函数中使用这样的东西：

for ( auto it = productionHashTable.begin();
      it != productionHashTable.end(); ++it )
{ 
    delete it->second;
}
productionHashTable.clear()

请注意，最后一行并不是绝对必要的，因为它无论如何都会被清除，因为 EarleyParser 对象已被破坏，但显然您在删除它们后不能使用映射中的值！