尝试递增 std::map 迭代器时出现 SIGBUS

Question

我正在调试一个大的 C++98 应用程序，当一个方法试图递增 std::map::iterator 时，我得到一个 SIBGUS 错误。

通过跟踪，我发现有问题的方法从提到的映射中删除了元素（间接地，通过调用调用其他方法的其他方法等等......），所以我怀疑问题是在删除其元素时遍历地图。

我一直在寻找迭代 std::map 并安全删除项目的正确方法，我发现了这个：

for (auto it = m.cbegin(); it != m.cend() /* not hoisted */; /* no increment */)
{
  if (must_delete)
  {
    m.erase(it++);    // or "it = m.erase(it)" since C++11
  }
  else
  {
    ++it;
  }
}

代码引用自 How to remove from a map while iterating it?

我对此有一些疑问：

考虑到迭代器在任何情况下都会增加，是否真的有必要区分是否删除元素？

就安全性而言，以下代码片段是否等同于上述代码片段？

for (auto it = m.cbegin(); it != m.cend() /* not hoisted */; /* no increment */)
{
  if (must_delete)
  {
    m.erase(it);
  }
  it++;
}

生成 SIGBUS 的方法遵循以下模式：

std::map<..., ...>::iterator it = myMap.begin(); // myMap is an instance attribute and can be accessed by any class method.

while(it != myMap.end() {
  if(somethingHappens())
    doSomethingThatMightDeleteMapElements(); // this can (or not) delete 'myMap' elements.
  it++; // The error occurs here
}

由于删除是由其他人执行的 method/s，我无法区分元素是否已被删除（除非我 return 布尔值或类似值）。 这可能不安全吗？

Answer 1

Is the following code snippet equivalent to the above one, in terms of safety?

不，当然不是，在将 it 传递给 map.erase() 之后，您不能增加它，因为该迭代器已因该调用而失效。区别是：

 map.erase(it++);

在逻辑上等同于：

iterator tmp = it;
++it;
map.erase( tmp );

所以在这种情况下tmp是无效的，但是it仍然有效。

考虑这段代码：

while(it != myMap.end() {
  if(somethingHappens())
    doSomethingThatMightDeleteMapElements(); // this can (or not) delete 'myMap' elements.
  it++; // The error occurs here
}

我认为唯一可行的方法是：

while(it != myMap.end() {
  if(somethingHappens()) {
    key_type key = it->first();
    doSomethingThatMightDeleteMapElements(); // this can (or not) delete          'myMap' elements.
    it = myMap.upper_bound( key );
  } else
     it++;
}

Answer 2

Since the deletion is performed by other method/s, I cannot distinguish if an element has been deleted or not (unless I return a boolean value or similar).

当然可以。在调用 doSomethingThatMightDeleteMapElements 之前保持地图的大小。调用 doSomethingThatMightDeleteMapElements 后获取地图的大小。然后根据它们是否相等采取适当的行动。

while(it != myMap.end() {
  size_t size_before = myMap.size();
  size_t size_after = size_before;
  if(somethingHappens())
  {
    doSomethingThatMightDeleteMapElements(); // this can (or not) delete myMap  elements.
    size_after = myMap.size();
  }

  if ( size_before != size_after )
  {
    // Be safe. Iterate from the start again.
    it = myMap.begin();
  }
  else
  {
    it++; // The error occurs here
  }
}

尝试递增 std::map 迭代器时出现 SIGBUS

SIGBUS when trying to increment a std::map iterator

c++

c++98