C ++集合中对象的内存管理

Question

我有一个地图将整数与矢量（对象）相关联。 这些向量表示要执行的一组任务。 为了减少使用此映射和向量时正在进行的复制量，我将它们设置为使用指针。

std::map<int, std::vector<MyObject *> *> myMap;

在初始化包含myMap的类的过程中，我通过创建一个填充了新MyObjects的新向量来填充myMap。

然而，我关心的是内存管理。 现在我把这些各种各样的物品放在堆的某个地方，当我完成它们时，我负责清理它们。 我也知道在程序结束之前我永远不会完成它们。 但是在10周内有人决定修改这个应用程序的聪明方法涉及从地图/向量中删除项目。 这会导致内存泄漏。

我的问题是如何处理这些对象的正确释放，以便即使它们通过STL函数被删除，对象也会成功解除分配？

非常感谢您的帮助，如果我错过任何重要的事情，请告诉我！ 谢谢！

Answer 1

使用智能指针boost：shared_ptr而不是原始指针，当对象被销毁时，它将清除堆分配的内存。

boost :: shared_ptr http://www.boost.org/doc/libs/1_39_0/libs/smart_ptr/shared_ptr.htm

还有一个理由指向向量吗？ 它们几乎不占用任何空间，并且std :: map中的对象无论如何都不会被移动（不像每次向量重新分配时移动/复制的向量中的对象，例如以获得更多空间）。

编辑：shared_ptr也是tr1的一个组件，我很确定它是在下一个标准中，所以你的编译器可能已经有了它。 还有很多其他的智能指针，STL是安全的，可以让你知道如何编写自己的，快速搜索谷歌应该找到它们。

EDIT2：刚刚检查过，TR1的Visual Studio 2008实现包括Visual C ++ 2008 Feature Pack中包含的shared_ptr。 我希望很多其他供应商的实现至少可以用于部分TR1，所以如果你不使用VS搜索你的供应商网站以获得TR1支持。

Answer 2

我同意使用智能指针是一个很好的方法，但至少有两种选择：

a）复制可能没有您想象的那么昂贵。 尝试实现值的映射

std::map<int, std::vector<MyObject>> myMap;

b）用包含向量的自己的类替换向量。 在该类析构函数中，处理释放。 您还可以提供添加和删除MyObjects的方法。

Answer 3

使用共享指针（如其他人所建议）是最佳解决方案。

如果你真的知道你永远不会完成它们，那么它们在技术上并不需要解除分配。 如果这确实是期望的行为，只需记录下来，以便有人在10周内没有出现并将其误认为真正的泄漏。

Answer 4

谢谢大家的好答案。 我想目前我正倾向于价值解决方案的向量。 主要原因是std :: auto_ptr不能用于集合，因为它是不可复制的。 这将是我能够使用的智能指针的唯一实现，而无需经过繁琐的审查过程或滚动我自己。

好消息是你的反应让我走上了一条非常好的道路。 我了解了RAII，关于异常处理的危险以及如何最小化它们，并对我的设计保持足够的警惕，以至于我对其“正确性”感到满意。

随附一些链接，我发现在此过程中有所帮助。 我希望任何遇到类似问题的人都会发现这些链接很有帮助。

RAII资源
C ++中的智能指针
提升智能指针
有关智能指针的更多背景/实现细节

Answer 5

如果每个指针的所有权不在向量/映射中的不同条目之间共享，因此您只是意味着减少在插入时完成的复制，那么您还应该考虑boost的指针容器库。

Answer 6

要详细说明在使用map<,vector<Object>>时最小化复制：

仔细查看map和vector的界面。 它们主要返回对包含项的引用，如果在传递这些内容时保留引用，则不会进行复制。

不好的例子：

std::vector<MyObject> find_objects( const std::map<int,std::vector<MyObject>> & map, int i ) {
    const std::map<int,std::vector<MyObject>>::const_iterator it = map.find( i );
    if ( it != map.end() )
        return it->second;
    else
        return std::vector<MyObject>();
}
// ...
const std::vector<MyObject> objects = find_objects(/*...*/);

更好：

const std::vector<MyObject> & find_objects( const std::map<int,std::vector<MyObject>> & map, int i ) {
    const std::map<int,std::vector<MyObject>>::const_iterator it = map.find( i );
    if ( it != map.end() )
        return it->second;
    static const std::vector<MyObject> none();
    return none;
}
// ...
const std::vector<MyObject> & objects = find_objects(/*...*/);

- >没有复制