STL容器泄漏

Question

我使用向量容器来保存包含 3 个 int 和 2 个 std::string 的对象的实例，这是在堆栈上创建的，并从另一个类中的函数填充但运行应用程序通过 deleaker 显示对象中的 std::string 全部泄漏。代码如下：

// Populator function:
void PopulatorClass::populate(std::vector<MyClass>& list) {
    // m_MainList contains a list of pointers to the master objects
    for( std::vector<MyClass*>::iterator it = m_MainList.begin(); it != m_MainList.end(); it++ ) {
        list.push_back(**it);
    }
}

// Class definition
class MyClass {
private:
    std::string m_Name;
    std::string m_Description;
    int m_nType;
    int m_nCategory;
    int m_nSubCategory;
};

// Code causing the problem:
std::vector<MyClass> list;
PopulatorClass.populate(list);

当通过 deleaker 运行时，泄漏的内存位于 std::string 类的分配器中。

我正在使用 Visual Studio 2010 (CRT)。

在展开堆栈并删除向量时，我需要做些什么特殊的事情才能使string正确删除吗？

谢谢， J

Answer 1

可能是 内存泄漏 std::vector 或类似的内容。

Answer 2

每当您在 STL 实现中遇到奇怪或错误的问题（例如内存泄漏）时，请尝试以下操作：

• 重现您尝试实现的最基本示例。如果它运行时没有泄漏，那么问题出在您填充数据的方式上。 这是最可能的问题根源（我指的是您自己的代码）。

未针对您的特定问题测试简单的动态示例：

#include <string>
#include <sstream>


// Class definition
struct MyClass  { // struct for convenience
    std::string m_Name;
    std::string m_Description;
    int m_nType;
    int m_nCategory;
    int m_nSubCategory;
};


// Prototype of populator function:
void populate(std::vector<MyClass>& list)
{
    const int MAX_TYPE_IDX = 4;
    const int MAX_CATEGORY_IDX = 8;
    const int MAX_SUB_CATEGORY_IDX = 6;

    for( int type_idx = 0; type_idx < MAX_TYPE_IDX ; ++type_idx)
        for( int category_idx = 0; category_idx < MAX_CATEGORY_IDX ; ++category_idx)
             for( int sub_category_idx = 0; sub_category_idx < MAX_SUB_CATEGORY_IDX ; ++sub_category_idx)
             {
                   std::stringstream name_stream;
                   name_stream << "object_" << type_idx << "_" << category_idx << "_" << sub_category_idx ;
                   std::stringstream desc_stream;
                   desc_stream << "This is an object of the type N°" << type_idx << ".\n";
                   desc_stream << "It is of category N°" << category_idx << ",\n";
                   desc_stream << "and of sub-category N°" << category_idx << "!\n";

                   MyClass object;
                   object.m_Name = name_stream.str();
                   object.m_Description = desc_stream.str();
                   object.m_nType = type_idx;
                   m_nCategory = 
                   m_nSubCategory = 
                   list.push_back( object );
             }
}


int main()
{
    // Code causing the problem:
    std::vector<MyClass> list;
    populate(list);

    // memory leak check?
    return 0;
 }

• 如果您仍然遇到内存泄漏，首先检查这不是泄漏检测软件的误报。
• 如果不是，Google 查找 STL 实现的内存泄漏问题（大部分时间在编译器开发人员网站上）。实施者可能会提供错误跟踪工具，您可以在其中搜索相同的问题和潜在的解决方案。
• 如果您仍然找不到泄漏的根源，也许尝试使用不同的编译器构建您的项目（如果可以的话），看看它是否具有相同的效果。同样，如果泄漏仍然发生，则问题很可能来自您的代码。

Answer 3

可能与 Alexey 的链接有相同的根本问题。发布的版本已损坏 basic_string 的移动代码。 MS抛弃了我们VC10用户，所以你必须自己修复它。在 xstring 文件中，您有以下内容：

_Myt& assign(_Myt&& _Right)
    {        // assign by moving _Right
    if (this == &_Right)
        ;
    else if (get_allocator() != _Right.get_allocator()
        && this->_BUF_SIZE <= _Right._Myres)
        *this = _Right;
    else
        {        // not same, clear this and steal from _Right
        _Tidy(true);
        if (_Right._Myres < this->_BUF_SIZE)
            _Traits::move(this->_Bx._Buf, _Right._Bx._Buf,
                _Right._Mysize + 1);
        else
            {        // copy pointer
            this->_Bx._Ptr = _Right._Bx._Ptr;
            _Right._Bx._Ptr = 0;
            }
        this->_Mysize = _Right._Mysize;
        this->_Myres = _Right._Myres;

        _Right._Mysize = 0;
        _Right._Myres = 0;
        }
    return (*this);
    }

注意最后一个

_Right._Myres = 0;

这应该只在最后一个条件下发生，因为短期情况下 _Right 最好不要管。

由于容量设置为 0 而不是 15，当您分配另一个小字符串时，其他代码将在函数 Grow() 中进行意外分支，并分配一块内存，只是为了用直接字符串内容来践踏指针。