如何解决在delete之后保持有效的vector :: iterator
| 编辑:我有很多答案,告诉我应该将删除内容分成另一个循环。也许我没有说得足够清楚,但是我在上一段中说过,我想找到其他解决方案。即保持当前的代码结构,但使用一些鲜为人知的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。
版权声明:本文内容由互联网用户自发贡献,该文观点与技术仅代表作者本人。本站仅提供信息存储空间服务,不拥有所有权,不承担相关法律责任。如发现本站有涉嫌侵权/违法违规的内容, 请发送邮件至 dio@foxmail.com 举报,一经查实,本站将立刻删除。