C++: является ли push_back(new Object()) утечкой памяти?

Нет, вектор хранит указатели, а копия делается из указателя. Вы можете удалить объект в любое время позже.

(Вы можете получить утечку, если оператор вызовет исключение, а вы не поймаете и не обработаете его должным образом. Вот почему вы можете рассмотреть возможность использования интеллектуальных указателей.)

Да, но не по той причине, о которой вы думаете.

В зависимости от того, как 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;
}

В этом коде нет утечки, потому что содержащий класс отвечает за выделенную память и освободит ее в деструкторе.

ИЗМЕНИТЬ

Как указал aschepler, утечка все еще существует, если метод push_back выдает исключение.

Вы правы, если ничто не удаляет строку, когда она удаляется из списка.

Да, это утечка памяти, если вы не предпримете какие-либо шаги для удаления содержащихся в ней указателей.

И лучший способ добиться этого — использовать интеллектуальный указатель. Например, shared_ptr Boost или shared_ptr C++0x.

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

No.

Вы можете удалить объект, выполнив:

delete list[i];
list.erase(list.begin() + i);

или очистить весь список:

for (unsigned int i = 0; i < list.size(); ++i)
{
  delete list[i];
}
list.clear();