Std::string ошибка оператора +() памяти?

Я довольно беспокоюсь, потому что написал небольшое приложение, и кажется, что есть утечка памяти, если я верю valgrind (что я на самом деле делаю):

==9321== 251 bytes in 7 blocks are definitely lost in loss record 1 of 1
==9321==    at 0x402569A: operator new(unsigned int) (vg_replace_malloc.c:255)
==9321==    by 0x40D3D05: std::string::_Rep::_S_create(unsigned int, unsigned int, std::allocator<char> const&) (in /usr/lib/libstdc++.so.6.0.13)
==9321==    by 0x40D4977: std::string::_Rep::_M_clone(std::allocator<char> const&, unsigned int) (in /usr/lib/libstdc++.so.6.0.13)
==9321==    by 0x40D57AC: std::string::reserve(unsigned int) (in /usr/lib/libstdc++.so.6.0.13)
==9321==    by 0x40D5EE6: std::string::operator+=(char) (in /usr/lib/libstdc++.so.6.0.13)
==9321==    by 0x804E113: xl2::TextParser::getNextLfLine() (TextParser.cpp:162)
==9321==    by 0x804BFD5: xl2::UsbTree::parseStringInfo(xl2::TextParser&, std::string&, std::string&) (UsbTree.cpp:362)
==9321==    by 0x804B881: xl2::UsbTree::parseDevicesFile(std::string) (UsbTree.cpp:204)
==9321==    by 0x804B34E: xl2::UsbTree::updateTree() (UsbTree.cpp:70)
==9321==    by 0x804E2E4: scan(std::string) (testUsbTree.cpp:75)
==9321==    by 0x804E6CC: executeCommand(std::string) (testUsbTree.cpp:132)
==9321==    by 0x804E8F6: hushLoop() (testUsbTree.cpp:153)

Вот эта функция:

/**
 * Returns the next line separated by UNIX style LF
 * @return The next line separated by UNIX style LF
 */
std::string TextParser::getNextLfLine()
{
    std::string line;   // The builded line

    while(this->hasMoreToken())
    {
        line += this->m_pText[this->m_iTokenLocation++];

        // Check if we have just seen a CR/LF character
        if(this->m_pText[this->m_iTokenLocation - 1] == '\n')
            return line;
    }

    return line;
}

Программа заканчивается правильно, оставив основной funciton (нет вызова для выхода()).

Я просто не понимаю, почему происходит утечка памяти. Поскольку моя строка копируется в стек, и исходная строка должна быть очищена, когда функция оставлена, правильно? Или ошибка может быть выше? На верхнем уровне я также присваиваю возвращаемое значение локальной переменной, которая затем помещается как поле в объект (путем копирования)...

Итак, мне было интересно, есть ли утечка из стандартной библиотеки или valgrind, что было бы действительно удивительно!

Любые указатели на пропущенную память сильно оценены: -p!

Ответ 1

Чтобы процитировать Valgrind FAQ

С GCC 2.91, 2.95, 3.0 и 3.1 скомпилируйте весь источник, используя STL с -D__USE_MALLOC. Осторожно! Это было удалено из GCC, начиная с версии 3.3.

С GCC 3.2.2 и более поздними версиями перед запуском вашей программы вы должны экспортировать переменную среды GLIBCPP_FORCE_NEW.

С GCC 3.4 и более поздними версиями эта переменная изменила имя на GLIBCXX_FORCE_NEW.

Также обсуждается в Вопросы GCC

Ответ 2

Я бы не стал слишком беспокоиться о утечке STL.

Распределитель STL по умолчанию (для gcc) использует умные трюки, чтобы максимизировать эффективность, которую Valgrind часто сообщает о утечке. Примечательно, что он объединяет память, а это означает, что он сохраняет память, когда вы очищаете string и можете повторно использовать ее при следующем вставке в map или vector, например.

Я не думаю, что сам пул правильно утилизирован в конце программы, возможно, чтобы избежать Fiatco Static Destruction Order (т.е. представьте, что пул удален, а затем вы запрашиваете память, urk). Таким образом, он течет... прямо перед тем, как закончится ваша программа, и ОС вернет память назад.

Ответ 3

Я подозреваю, что происходит, когда компилятор использует NRVO, чтобы поместить вашу временную строку в свое реальное место возврата. Эта возвращаемая строка затем сохраняется внутри объекта, который выделяется и выгружается из кучи.