通过在另一个集上调用erase(iterator)来从一个集合中删除元素.这是正常的行为吗？

Question

我发现可以使用接受迭代器的erase方法从另一个集合中删除一个集合中的元素.我无法解释为什么会发生这种情况,我想知道这是否是正常行为.

所以,让我们设置场景:

由于逻辑原因(即,它们是不相交的集合),我有一组在两个STL集中分隔的对象.

std::set<Obj> set_a;
std::set<Obj> set_b;

set_a包含我想要的对象.如果在set_a中找不到此对象,则创建一个空对象并将其插入set_b.然后我对所需对象执行一些计算,如果满足某个条件,我将其删除.

std::set<Obj>::iterator it = set_a.find(o);
std::set<Obj>::iterator end = set_a.end();

if (it == end) {
    it = set_b.lower_bound();
    end = set_b.end();

    if (it == end || *it != o) {
        it = set_b.insert(it, o);
    }
}

// do calculations with it
if (/*condition is met*/) {
    // erase it
}

所以我想知道如何删除这个对象.由于我有迭代器,我想删除直接使用它.但是当你使用擦除迭代器"指向"另一组中的对象时会发生什么？我使用的文档中没有任何内容(http://www.cplusplus.com/reference/stl/set/erase/),所以我做了以下测试.

#include <iostream>
#include <iterator>
#include <algorithm>
#include <set>
#include <sstream>

// streams
using std::cout;
using std::ostream_iterator;
using std::ostringstream;
// data structures
using std::set;
// algorithms
using std::copy;

int main() {
    set<int> s, s2;
    s.insert(1);
    s.insert(2);
    s.insert(4);

    cout << "Initial set\n";
    // print set elements
    copy(s.begin(), s.end(), ostream_iterator<int> (cout, " "));
    cout << "\n";

    set<int>::iterator s_it = s.lower_bound(3);

    if (s_it == s.end() || *s_it != 3) {
        s_it = s.insert(s_it, 3);
    }

    cout << "Set after insertion\n";
    // print set elements
    copy(s.begin(), s.end(), ostream_iterator<int> (cout, " "));
    cout << "\n";

    // erase element from another set
    s2.erase(s_it);

    cout << "Set after erasure\n";
    // print set elements
    copy(s.begin(), s.end(), ostream_iterator<int> (cout, " "));
    cout << "\n";

    return 0;
}

此测试导致以下退出:

Initial set
1 2 4 
Set after insertion
1 2 3 4 
Set after erasure
1 2 4 

我发现很奇怪,通过从s2调用方法可以删除s中的元素,所以我用valgrind执行了我的程序.没有错误.我想我实际上会受益于这种行为,因为我不需要检查哪个集合包含该元素,但我想知道这是否是正常行为.

谢谢!

Answer 1

这可能因为您的供应商实施的方式std::set<T>而有效std::set<T>::iterator,但不能保证.

标准部分23.1.2第7段和表69表示当表达式a.erase(q)是a关联容器类类型的对象(set是关联容器)并且" q表示有效的可解除引用的迭代器a" 时,表达式是有效的.

当迭代器不是来自容器时,您将获得未定义的行为.看似工作是未定义行为的一个有效结果.