在基于范围的for循环内擦除容器中的元素

Question

我想从当前在基于范围的for循环中使用的容器中擦除元素。这会导致未定义的行为吗？或者element之后erase()的下一个值是否是下一个元素应该是什么，如果我没有调用erase()？

示例：

std::map<int, int> someMap;
/* Fill in someMap */
for (auto& element : someMap)
{
    /* ... */
    if ( /* Some condition */ )
        someMap.erase(element.first);
}

Answer 1

它应该是未定义的行为。因为根据14882/2011，基于范围的for语句相当于：

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