我需要遍历一组并删除符合预定义条件的元素。
这是我编写的测试代码:
#include <set>
#include <algorithm>
void printElement(int value) {
std::cout << value << " ";
}
int main() {
int initNum[] = { 0, 1, 2, 3, 4, 5, 6, 7, 8, 9 };
std::set<int> numbers(initNum, initNum + 10);
// print '0 1 2 3 4 5 6 7 8 9'
std::for_each(numbers.begin(), numbers.end(), printElement);
std::set<int>::iterator it = numbers.begin();
// iterate through the set and erase all even numbers
for (; it != numbers.end(); ++it) {
int n = *it;
if (n % 2 == 0) {
// wouldn't invalidate the iterator?
numbers.erase(it);
}
}
// print '1 3 5 7 9'
std::for_each(numbers.begin(), numbers.end(), printElement);
return 0;
}
最初,我认为在迭代过程中从集合中删除一个元素会使迭代器无效,并且for循环的增量将具有未定义的行为。即使我执行了此测试代码,但一切顺利,并且我无法解释原因。
我的问题: 这是标准集的已定义行为还是此实现特定?顺便说一下,我在ubuntu 10.04(32位版本)上使用gcc 4.3.3。
谢谢!
建议的解决方案:
这是从集中迭代和擦除元素的正确方法吗?
while(it != numbers.end()) {
int n = *it;
if (n % 2 == 0) {
// post-increment operator returns a copy, then increment
numbers.erase(it++);
} else {
// pre-increment operator increments, then return
++it;
}
}
编辑:首选解决方案
我找到了一个对我来说似乎更优雅的解决方案,即使它完全一样。
while(it != numbers.end()) {
// copy the current iterator then increment it
std::set<int>::iterator current = it++;
int n = *current;
if (n % 2 == 0) {
// don't invalidate iterator it, because it is already
// pointing to the next element
numbers.erase(current);
}
}
如果while内有多个测试条件,则每个条件必须增加迭代器。我更喜欢此代码,因为迭代器仅在一个位置递增,从而使代码不易出错且可读性更高。
++it
应该比it++
它更有效,因为它不需要使用迭代器的不可见临时副本。Kornel版本更长,可确保最有效地迭代未过滤的元素。