for (MyMap::iterator i = m.begin(), e = m.end(); i != e; /* здесь пусто */ )
{
   if ( . . . )
     m.erase(i++);
   else
     ++i;
}

for (it = map.begin();i != map.end();it++)
{
  if (условие)
  {
     it = map.erase(it); // it будет переброшен на первый верхний неизмененный елемент 
  }
}

m.erase(it);//ну нужен новый итератор

vector<key_type> vs;
for(it = map.begin(); it != map.end();++it)
{
  if (MustRemove((*it).second))
      vs.push_back((*it).first);
}

for(i = vs.begin(); i != vs.end();++i)
  map.erase(*i);

 m.erase(i++);

 i = m.erase(i);

Удалено излишнее цитирование

ПК>>>for (MyMap::iterator i = m.begin(), e = m.end(); i != e; /* здесь пусто */ )
ПК>>>{
ПК>>>   if ( . . . )
ПК>>>     m.erase(i++);
ПК>>>   else
ПК>>>     ++i;
ПК>>>}
ПК>>>

__>"Скотт Майрес", Эффективное использование STL, страница 52

for (MyMap::iterator i = m.begin(), e = m.end(); i != e; /* здесь пусто */ )
{
 if ( . . . )
  i = m.erase(i);
 else
  ++i;
}

m.erase(i++);

EX>Как ты себе представляешь смену map на vector?

//вставка
cont.insert(lower_bound(cont.begin(),cont.end(),value,KeyLess()),value);

//поиск
pair<key_t,value_t> value = { key, value_t() };
cont_t::iterator i = lower_bound(cont.begin(),cont.end(),value,KeyLess());
if ( i != cont.end() && i->first == value.first ) // нашли

//удаление
pair<key_t,value_t> value = { key, value_t() };
pair<cont_t::iterator> e = equal_range(cont.begin(),cont.end(),value,KeyLess());
cont.remove(e.first,e.second);

struct no_action
{
  template<class T> void operator()(T& t) const {}
};

template<class C, class P, class U>
void erase_if(C& cont, P pred, U utilize = no_action())
{
  C::iterator i=cont.begin(), j, e=cont.end();
  while(i!=e)
  {
    if(pred(*i))
    {
      j=i; // запомним итератор на текущий элемент
      ++i; // вскоре текущая позиция будет невалидна, поэтому спешим оттуда убраться
      utilize(*j);
      cont.erase(j);
    }
    else
      ++i;
  }
}

S>>for (it = map.begin();i != map.end();it++)
S>>{
S>>  if (условие)
S>>  {
S>>     it = map.erase(it); // it будет переброшен на первый верхний неизмененный елемент 
S>>  }
S>>}

MAP coll; //MAP - тайпдеф мепа.
MAP::iterator pos;

for(pos = coll.begin(); pos!=coll.end(); ++pos)
    if(pos->second==value)
        coll.erase(pos); //ошибка времени выполнения

Полсе вызова erase() для элемента, на который ссылается итератор, итератор становится не действительным. Любые попытки использовать этот итератор после удаления элемента без повторной инициализации — даже команда ++pos — приведет к непредсказуемым последствиям.

Правильный способ удаления элемента, на который ссылается итератор, выглядит так:

MAP coll; //MAP - тайпдеф мепа.
MAP::iterator pos;

for(pos = coll.begin(); pos!=coll.end(); )
    if(pos->second==value)
        coll.erase(pos++);
    else
        ++pos;

T T::operator++(int)
{
   T temp(*this);
   ++(*this);
   return temp; (*)
}

coll.erase(pos++);

// твой код
pos = coll.begin();
while(pos != coll.end())
{
  if( to_be_deleted(*pos) )
    coll.erase(pos);
  ++pos; // если мы только что инвалидировали итератор (стерев элемент), то не можем его инкрементировать
}

// правильный код
pos = coll.begin();
while(pos != coll.end())
{
  if( to_be_deleted(*pos) )
    coll.erase(pos++);
  else
    ++pos;
}

// поскольку там фигурирует постинкремент, распишем его
pos = coll.begin();
while(pos != coll.end())
{
  if( to_be_deleted(*pos) )
  {
    temp = pos; ++pos; // вот что такое постинкремент
    coll.erase(temp); // тем самым мы никогда не будем иметь дело с инвалидным pos
  }
  else
    ++pos;
}

    std::map <int,СЛОЖНАЯ_СТРУКТУРА>::iterator e;
    e = std::remove(a.begin(),a.end(),some_map_element); ///если на совпадение
    /// e = std::remove_if(a.begin(),a.end(),predicate(...));   ///если по условию
        a.erase(e,a.end());

iterator i=begin();

while( i != end() ) 
{
     if(i->second->must_die()) {
          delete i->second; // В деструкторе могут удаляться еще несколько объектов map'a ( вызывается erase( key ) )
          P::erase( i++ );
     } else {
          ++i;
     }
}