다른 세트에서 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 

나는 s의 요소가 (S2)에서 메소드를 호출에 의해 삭제 될 수 있음을 매우 이상한 발견, 그래서 나는 내 프로그램을 실행 valgrind. 오류가 없습니다. 어떤 세트에 요소가 들어 있는지 확인할 필요가 없기 때문에 실제로이 동작의 이점을 얻을 것이라고 생각합니다. 그러나 이것이 정상적인 동작인지 아닌지 궁금합니다.

감사합니다!

Answer 1

이것은 공급 업체가 std::set<T> 및 std::set<T>::iterator을 구현하는 방법으로 인해 작동하지만 보장 할 수 없습니다.

표준 섹션 23.1.2 단락 7 및 표 69 a는 연관 컨테이너 클래스 타입의 객체 (set는 연관 컨테이너) 및 "q가 a 유효한 dereferenceable 반복기를 나타내고"인 경우 식 a.erase(q) 유효라고 .

반복기가 컨테이너에 있지 않으면 정의되지 않은 동작이 발생합니다. 일을하는 것은 정의되지 않은 행동의 한 가지 유효한 결과입니다.

Answer 2

표준에 로컬 포인터를 사용하는 방법 :: set < Obj>?

std::set<Obj> set_a; 
std::set<Obj> set_b; 
std::set<Obj>* current_set = &set_a; 

std::set<Obj>::iterator it = current_set->find(o); 
std::set<Obj>::iterator end = current_set->end(); 

if (it == end) { 
    current_set = &set_b; 
    it = current_set->lower_bound(); 
    end = current_set->end(); 

    if (it == end || *it != o) { 
     it = current_set->insert(it, o); 
    } 
} 

// do calculations with it 
if (/* condition met */) { 
    current_set->erase(it); 
} 

Answer 3

나는 다른 컨테이너에서 반복자는이 방법으로 혼합되어서는 안된다는 상당히 확신, 그것은 지칠대로 지친 정의되지 않은 동작 결과 있음.

그래서, 당신이 보는 것은 순수한 운과 기회입니다. 이것은 컴파일러의 STL 구현과 달의 현재 단계에서 작동합니다. 언제 어디서나 다른 곳에서 일하는 것에 내기를 걸지는 않을 것입니다.