세트의 엄격한 약한 순서 매기기 감소

Question

STL 컨테이너 세트 및 맵은 엄격한 약한 순서로 요소를 제공한다고 생각했습니다. 그러나, 역 참조를 통해 요소의 값을 찾고 변경하여 반복기를 얻는다면 순서를 복원하지 못하는 것으로 밝혀졌습니다. 이는 23.1.2.2 및 23.3.3.2를 위반합니다. 그것은 (2008 년 MS VS) STL의 내 버전의 버그

5 10 20 30 
5 3 20 30 
5 3 20 30 40 

가 : 여기

int nv = 3; 
set<int> s = set<int>(); 
s.insert(5); 
s.insert(10); 
s.insert(20); 
s.insert(30); 
for(set<int>::const_iterator cit = s.begin(); cit != s.end(); ++cit) 
    cout<<*cit<<" "; 
cout <<endl; 
set<int>::iterator it = s.find(10); 
*it = nv; 
for(set<int>::const_iterator cit = s.begin(); cit != s.end(); ++cit) 
    cout<<*cit<<" "; 
cout <<endl; 
s.insert(40); 
for(set<int>::const_iterator cit = s.begin(); cit != s.end(); ++cit) 
    cout<<*cit<<" "; 
cout <<endl; 

가 생성하는 코드는? 아니면 내가 틀렸어?

Answer 1

집합의 iterator와 const_iterator는 모두 상수 반복기입니다. 세트의 값은 수정하고 삽입 및 제거 만 할 수 있습니다.

Answer 2

std::map 및 std::set은 삽입시에만 순서 지정을 수행합니다. 기존 항목의 키/값을 변경하면 마술은 일어나지 않으며 결과는 정의되지 않은 것입니다.

원하는 효과를 얻으려면 원래 요소를 제거하고 새 요소를 삽입해야합니다.

Answer 3

std::map 및 std::set는 가가 엄격한 약한 주문, 그들은 하나를 필요로 제공하지 않습니다. 주문을 제공해야합니다 (기본값은 에 해당하는 std::less입니다).

set 또는 map의 요소가 변경되는 방식을 변경하면 주문이 안정적이지 않아 요구 사항을 위반하게됩니다.

Answer 4

해당 STL 버전의 버그처럼 보입니다.
이 t2.cpp:18:8: error: assignment of read-only location ‘it.std::_Rb_tree_const_iterator<_Tp>::operator* [with _Tp = int, const _Tp& = const int&]()’

Answer 5

일반적인 경우에 당신이 반복자를 통해 연관 컨테이너 요소의 키 부분을 수정할 수 없습니다 : 나는 다음과 같은 오류가 발생 ++ 내 g에

. 코드는 컴파일되지 않습니다.

귀하의 표준 라이브러리 구현에서 *it = nv 할당을 허용하는 경우 해당 구현의 버크이어야합니다. AFAIK,이 할당이 컴파일되도록 허용하는 것은 엄격히 불법이 아닙니다. 그것은 구현의 품질 문제입니다.

Comeau 구현으로 할당이 컴파일되지 않습니다. MS 구현은 분명히 덜 제한적입니다.

Answer 6

std::set의 요소를 변경하면 내부 순서가 위반되고 데이터 구조가 손상 될 수 있습니다. 일부 STL 구현 만이 iterator이 가리키는 것을 수정하지 못하도록 방지하므로이 제약 조건을 직접 적용해야합니다. 당신이 그것을 할 수 있지만, 그것은 당신의 std::vector 손상거야 -

그것은 reserve은 (공간을 만들기 위해) 호출하여 std::vector의 논리적 끝을지나 작성 및 포인터 연산을 사용하는 것과 같습니다.당신이 세트의 요소를 변경하려면

이 작동합니다 :

std::set<int> my_set; 

// initialize my_set ... 

std::set<int>::iterator itr = my_set.find(10); 
if (itr != my_set.end()) { 
    my_set.erase(itr++); // ++ avoids invalidating iterator 
    my_set.insert(3); 
} 

는 당신은 후행 증가하는 itr을 당신이 그것을 계속 사용하려는 경우 필요합니다.

(출처 : 효과적인 STL "항목 (22)는,"스콧 마이어스)는 '쌍 `로 반복자를 역 참조하기 때문에