Является ли следующий код С++ утечкой памяти?
list.push_back(new String("hi"));
Как я понимаю, push_back из любой std collection/container всегда делает копию. Итак, если новая строка будет скопирована, ничто не сможет удалить строку new'd правильно? поскольку после push_back нет ссылки на него...
Я верен или ошибаюсь здесь?
Спасибо.
JBU
edit: Я думаю, что я ошибаюсь, поскольку new вернет указатель... мы всегда будем иметь указатель, чтобы иметь возможность удалить новую строку
Нет, указатели векторных магазинов и копия сделаны из указателя. Вы можете удалить объект в любое время позже.
(Вы можете получить утечку, если в заявлении произойдёт выброс исключения, и вы не поймаете и не обработаете его должным образом. Поэтому вы можете использовать интеллектуальные указатели.)
Да, но не по той причине, о которой вы думаете.
В зависимости от того, как list определяется и инициализируется, push_back может вызвать исключение. Если это так, указатель, возвращаемый из new, будет потерян и никогда не сможет быть освобожден.
Но при условии, что push_back возвращается успешно, он сохраняет копию указателя, возвращаемого new, и поэтому мы можем освободить память позже, вызвав delete на этой копии, чтобы не было утечки памяти, если вы правильно звоните delete.
Если бы я увидел этот код, я был бы очень подозрительным, возможно утечка памяти. На поверхности, по-видимому, добавляется выделенный String* в list<String*>. По моему опыту, за этим часто следует плохой код обработки ошибок, который неправильно освобождает выделенную память.
Хотя это опасно во многих случаях, это не обязательно утечка памяти. Рассмотрим следующий пример:
class Container {
~Container() {
std::list<String*>::iterator it = list.begin();
while (it != list.end()) {
delete *it;
it++;
}
}
void SomeMethod() {
...
list.push_back(new String("hi"));
}
std::list<String*> list;
}
В этом коде нет утечки, потому что содержащий класс отвечает за выделенную память и освободит ее в деструкторе.
ИЗМЕНИТЬ
Как заметил асеплер, все еще существует утечка, если метод push_back выдает исключение.
Вы правы, если ничто не удаляет строку, когда она удалена из списка.
Да, это утечка памяти позволяет вам как-то предпринять шаги для удаления содержащихся указателей.
И лучший способ добиться этого - использовать интеллектуальный указатель. Например, Boost shared_ptr или С++ 0x shared_ptr.
Нет.
Вы можете удалить объект, выполнив следующие действия:
delete list[i];
list.erase(list.begin() + i);
или очистить весь список:
for (unsigned int i = 0; i < list.size(); ++i)
{
delete list[i];
}
list.clear();
list.push_back(new String("hi"));
Почему вы выделяете динамические строки в первую очередь? Если вы не хотите общаться между различными частями вашей программы, изменяя строки (что было бы довольно необычно), избавьтесь от указателя:
std::list<std::string> list; // note: no pointer!
list.push_back(std::string("hi")); // explicitly create temporary
list.push_back("hi"); // alternative: rely on coercion