erase_if для std :: map (и других контейнеров)

Я использую следующий шаблон для этой самой вещи.

namespace stuff {
  template< typename ContainerT, typename PredicateT >
  void erase_if( ContainerT& items, const PredicateT& predicate ) {
    for( auto it = items.begin(); it != items.end(); ) {
      if( predicate(*it) ) it = items.erase(it);
      else ++it;
    }
  }
}

Это ничего не вернет, но удалит элементы из std :: map.

Пример использования:

// 'container' could be a std::map
// 'item_type' is what you might store in your container
using stuff::erase_if;
erase_if(container, []( item_type& item ) {
  return /* insert appropriate test */;
});

Второй пример (позволяет передать тестовое значение):

// 'test_value' is value that you might inject into your predicate.
// 'property' is just used to provide a stand-in test
using stuff::erase_if;
int test_value = 4;  // or use whatever appropriate type and value
erase_if(container, [&test_value]( item_type& item ) {
  return item.property < test_value;  // or whatever appropriate test
});

Я получил эту документацию от превосходной ссылки SGI STL :

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

Таким образом, имеющийся у вас итератор, указывающий на удаляемый элемент, будет, конечно, недействительным. Сделайте что-то вроде этого:

if (some condition)
{
  iterator here=iter++;
  aMap.erase(here)
}

Исходный код имеет только одну проблему:

for(; iter != endIter; ++iter)
{
    if(Some Condition)
    {
        // is it safe ?
        aMap.erase(iter++);
    }
}

Здесь значение iterувеличивается один раз в цикле for, а другое - в стирании, что, вероятно, приведет к некоторому бесконечному циклу.

Теперь std::experimental::erase_ifдоступно в шапке <experimental/map>.

Смотрите: http://en.cppreference.com/w/cpp/experimental/map/erase_if

Снизу ноты:

http://www.sgi.com/tech/stl/PairAssociativeContainer.html

Парный ассоциативный контейнер не может предоставить изменяемые итераторы (как определено в требованиях Trivial Iterator), потому что тип значения изменяемого итератора должен быть Assignable, а pair - Assignable. Однако парный ассоциативный контейнер может предоставлять итераторы, которые не являются полностью постоянными: итераторы, такие, что выражение (* i) .second = d является допустимым.

Первый

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

Во-вторых, следующий код хорош

for(; iter != endIter; )
{
    if(Some Condition)
    {
        aMap.erase(iter++);
    }
    else
    {
        ++iter;
    }
}

При вызове функции параметры оцениваются перед вызовом этой функции.

Таким образом, когда iter ++ вычисляется перед вызовом стирания, оператор ++ итератора возвращает текущий элемент и указывает на следующий элемент после вызова.

ИМХО нет remove_if()аналога.
Вы не можете изменить порядок карты.
Поэтому remove_if()нельзя ставить ваши пары интересов в тот конец, на который вы можете позвонить erase().

Основано на ответе Iron Savior. Для тех, кто хотел бы предоставить более широкий диапазон в соответствии с принципами работы стандартного стандартного оператора, использующего итераторы.

template< typename ContainerT, class FwdIt, class Pr >
void erase_if(ContainerT& items, FwdIt it, FwdIt Last, Pr Pred) {
    for (; it != Last; ) {
        if (Pred(*it)) it = items.erase(it);
        else ++it;
    }
}

Любопытно, есть ли какой-нибудь способ потерять ContainerTэлементы и получить их от итератора.

Ответ Стива Фолли, я чувствую себя более эффективным.

Вот еще одно простое, но менее эффективное решение :

Решение использует remove_copy_ifдля копирования значений, которые мы хотим, в новый контейнер, а затем заменяет содержимое исходного контейнера на новый:

std::map<int, std::string> aMap;

...
//Temporary map to hold the unremoved elements
std::map<int, std::string> aTempMap;

//copy unremoved values from aMap to aTempMap
std::remove_copy_if(aMap.begin(), aMap.end(), 
                    inserter(aTempMap, aTempMap.end()),
                    predicate);

//Swap the contents of aMap and aTempMap
aMap.swap(aTempMap);

Если вы хотите стереть все элементы с ключом больше 2, тогда лучше всего

map.erase(map.upper_bound(2), map.end());

Работает только для диапазонов, но не для предикатов.

Я использую как это

 std::map<int, std::string> users;    
 for(auto it = users.begin(); it <= users.end()) {
    if(<condition>){
      it = users.erase(it);
    } else {
    ++it;
    }
 }