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

Question

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

例子：

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
}