在delete之后保持有效的vector

问题描述

| 编辑：我有很多答案，告诉我应该将删除内容分成另一个循环。也许我没有说得足够清楚，但是我在上一段中说过，我想找到其他解决方案。即保持当前的代码结构，但使用一些鲜为人知的C ++ fu使其工作。好吧，我知道在向量上调用“ 0”会使元素及其之后的所有元素的迭代器无效，并且“ 0”将迭代器返回至下一个有效迭代器，但是如果擦除发生在其他地方该怎么办？我有以下情况（简化）：警告：不要以为这是完整的代码。下面显示的内容非常简化，以说明我的问题。下面显示的所有类和方法实际上要复杂得多。

class Child {
   Parent *parent;
}

class Parent {
   vector<Child*> child;
}

void Parent::erase(Child* a) {
   // find an iterator,it,that points to Child* a
   child.erase(it);
}

int Child::update() {
   if(x()) parent.erase(*this) // Sometimes it will; sometimes (most) it won\'t
   return y;
}

void Parent::update() {
   int i = 0;
   for(vector<A>::iterator it = child.begin(); it != child.end(); it++)
      i += (*it)->update();
}

因此，很明显，如果x()返回true，它将在运行(*it)->update()之后崩溃，因为这样做的时候，Child将告诉Parent将其从向量中删除，从而使迭代器无效。除了使Parent::erase()通过迭代器一直返回到Parent::update()之外，还有其他方法可以解决此问题吗？这将是有问题的，因为并不是每次都对ѭ7called的调用都被调用，因此该函数将需要一种每隔一次将迭代器返回其自身的方法，并且当前它还返回另一个值。我还希望避免使用其他类似方法将擦除过程与更新循环分开。

解决方法

您不能真正地同时迭代和变异std :: vector，除非该变异的迭代之间存在某种联系。我已经看到其他“非标准”容器通过“智能”迭代器来简化此过程，这些迭代器知道何时删除了它们的值（并且可能会自动跳转到下一个项目）。但是，记帐要多得多。 ,我建议您重组代码，以免将更新（通过删除某些元素）和聚合（通过将值相加）这两种不同的操作混合在一起。您可以通过将Child::update的返回值更改为std::pair<int,bool>这样的方式来实现，其中int是值，而bool指示是否应删除此元素。如果您可以使Child::update成为const方法（意味着它不会修改对象，而仅调用其他const方法），则可以编写一个可以与std::remove_if一起使用的简单函子。像这样：

class update_delete {
public:
    update_delete() : sum(0) {}
    bool operator()(const Child & child) {
        std::pair<int,bool> result = child.update();
        sum += result.first;
        return result.second;
    }
private:
    int sum;
}

如果不能使update变为const，只需将元素与后面的某个元素交换（您必须保留一个始终指向可交换的最后一个元素的迭代器）。聚合完成后，只需使用ѭ19丢弃向量的结尾（现在包含所有要删除的元素）。这类似于使用std::remove_if，但是我不确定是否有可能/有效地将其与修饰序列中对象的谓词一起使用。 ,如果您可以在更新功能中同时传达擦除意图和ID，那么您可以这样做：

std::tuple<int,bool> Child::update() {
   auto erase = x();
   return {y,erase};
}

void Parent::update() {
   int i = 0;

   for(vector<A>::iterator it = child.begin(); it != child.end();) {
      auto [y,erase] += (*it)->update();
      i += y;

      if (erase) {
         it = child.erase(it); // erase returns next iterator
      } else {
         ++it;
      }
   }
}

,如何添加要删除的子级到列表中，并在更新每个子级后将其删除。实际上，您将删除操作推迟到第一个循环之后。 ,我不确定您的设计约束/目标是什么，但是您可能需要通过其公共API删除子项，而只需22岁就可以有条件地进行删除。

void Parent::update()
{
    int i = 0;
    for( vector<A>::iterator it = child.begin();
         it != child.end(); /* ++it done conditionally below */ )
    {
        i += (*it)->update();
        if( (*it)->should_erase() )
        {
            it = child.erase( it );
        }
        else
        {
            ++it;
        }
    }
}

bool Child::should_erase() const
{
    return x();
}

int Child::update()
{
    // Possibly do other work here.
    return y;
}

然后，您可以删除Parent::erase。 ,解决方案的一个基础（正如其他人所说的）是从std :: vector切换到std :: list，因为这样您就可以从列表中删除节点，而不会使对其他节点的引用无效。但是由于引用的位置要好得多，向量的性能往往比列表好得多，并且还增加了很多内存开销（在每个节点的上一个和下一个指针中，而且还以系统中每个分配的块的开销形式）分配器）。然后，在有一些类似要求的情况下，我所做的就是坚持使用矢量，但是当元素被删除时，允许矢量中出现孔或“死入口”。您将需要能够在有序迭代期间检测并跳过向量中的无效条目，但是您可以折叠向量以定期删除这些无效条目（或在删除元素的特定迭代循环完成之后）。您也可以（如有必要）包括一个空闲列表，以便为新的孩子重新使用无效条目。我在以下博客文章中更详细地描述了此设置： http://upcoder.com/12/vector-hosted-lists/ 我在该博客文章中谈到的其他几种可能与这些要求相关的设置是“向量托管”链接列表和带有自定义内存池的链接列表。 ,请尝试以下修改后的版本：

   for(vector<A>::iterator it = child.begin(); it != child.end();)
      i += (*it++)->update();

编辑：这当然很糟糕，但是，如果您可以将容器更改为std::list，它将起作用。如果没有更改，您可以尝试反向迭代器（如果顺序无关紧要），即

   for(vector<A>::reverse_iterator it = child.rbegin(); it != child.rend();)
      i += (*it++)->update();

,我认为问题在于，您的方法“ update”也以与std :: vector :: erase完全相同的方式使迭代器无效。因此，我建议您做完全相同的事情：返回新的有效迭代器，并相应地对调用循环进行apdapt。

delete vector vector 之后之后保持

在delete之后保持有效的vector :: iterator

问题描述

解决方法