Эффективное использование STL

После выполнения remove_if и erase ситуация выглядит следующим образом:

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

Если без remove никак не обойтись, одно из решений проблемы заключается в освобождении указателей на несертифицированные объекты и присваивании им null перед применением идиомы erase-remove с последующим удалением из контейнера всех null-указателей:

void delAndNullifyUncertified(Widget*& pWidget) // Если объект *pWidget

{                                               // не сертифицирован,

 if (!pWidget->isCertified) { //удалить указатель

  delete pWidget; //и присвоить ему null

  pWidget = 0;

}

 for_each(v.begin, v.end, // Удалить и обнулить все указатели на

  delAndNullifyUncertified);  // все указатели на объекты, не прошедшие

                              // сертификацию

v.erase(remove(v.begin, v.end, // Удалить из v указатели null;

 static_cast(0)),         // 0 преобразуется в указатель, чтобы C++

 v.end);                         // правильно определял тип третьего параметра

Приведенное решение предполагает, что вектор не содержит null-указателей, которые бы требовалось сохранить. В противном случае вам, вероятно, придется написать собственный цикл, который будет удалять указатели в процессе перебора. Удаление элементов из контейнера в процессе перебора связано с некоторыми тонкостями, поэтому перед реализацией этого решения желательно прочитать совет 9.

Если контейнер указателей заменяется контейнером умных указателей с подсчетом ссылок, то все трудности, связанные с remove, исчезают, а идиома erase-remove может использоваться непосредственно:

template

class RCSP{…}; // RCSP = "Reference Counting Smart Pointer"

typedef RCSP RCSPW; // RCSPW = "RCSP to Widget"

vector<RCSPW> v;                // Создать вектор и заполнить его

…                               // умными указателями на динамически

v.push_back(RCSPW(new Widget)); // созданные объекты Widget

v.erase(remove_if(v.begin, v.end,  // Удалить указатели на объекты

 not1(mem_fun(&Widget::isCertified))), // Widget, не прошедшие

 v.end);                             // сертификацию.

                                       // Утечка ресурсов отсутствует!

Чтобы этот фрагмент работал, тип умного указателя (например, RCSP) должен преобразовываться в соответствующий тип встроенного указателя (например Widget*). Дело в том, что контейнер содержит умные указатели, но вызываемая функция (например Widget::isCertifed) работает только со встроенными указателями. Если автоматическое преобразование невозможно, компилятор выдаст сообщение об ошибке.

Если в вашем программном инструментарии отсутствует шаблон умного указателя с подсчетом ссылок, попробуйте шаблон shared_ptr из библиотеки Boost. Начальные сведения о Boost приведены в совете 50.

Независимо от того, какая методика будет выбрана для работы с контейнерами динамически созданных указателей — умные указатели с подсчетом ссылок, ручное удаление и обнуление указателей перед вызовом remove-подобных алгоритмов или другой способ вашего собственного изобретения — главная тема данного совета остается актуальной: будьте внимательны при использовании remove-подобных алгоритмов с контейнерами указателей. Забывая об этой рекомендации, вы своими руками создаете предпосылки для утечки ресурсов.

Совет 34. Помните о том. какие алгоритмы получают сортированные интервалы