11

I want to erase an element from a container which is being currently used within a ranged-based for loop. Will this cause undefined behaviour? Or will the next value of element after erase() be what the next element is supposed to be if I didn't call erase()?

Example:

std::map<int, int> someMap;
/* Fill in someMap */
for (auto& element : someMap)
{
    /* ... */
    if ( /* Some condition */ )
        someMap.erase(element.first);
}
ildjarn
  • 62,044
  • 9
  • 127
  • 211
小太郎
  • 5,510
  • 6
  • 37
  • 48

1 Answers1

11

It should be a undefined behavior. Because according to 14882/2011 the range-based for statement is equivalent to:

auto && __range = range-init;
for ( auto __begin = begin-expr(__range),
   __end = end-expr(__range);
   __begin != __end;
   ++__begin ) {
   for-range-declaration = *__begin;
   statement
}
Shawnone
  • 850
  • 5
  • 17