STL 컨테이너의 지속 참조

Question

C++ STL 컨테이너를 사용할 때 어떤 조건에서 참조 값에 액세스해야합니까? 예를 들어 컨테이너에 대한 다음 함수 호출 후에 무효화 된 참조가 있습니까?

{ 
std::vector<int> vector; 
vector.push_back (1); 
vector.push_back (2); 
vector.push_back (3); 

vector[0] = 10;  //modifies 0'th element 

int& ref = vector[0]; 
ref = 10;    //modifies 0'th element 

vector.push_back (4); 
ref = 20;    //modifies 0'th element??? 

vector.clear(); 
ref = 30;    //clearly obsurd 
} 

stl의 대부분의 구현에서 이것이 작동한다는 것을 알고 있지만 표준 선언에 필요한 것에 관심이 있습니다.

--edit : 나는 C에 대한 (http://stxxl.sourceforge.net/) 라이브러리 ++ STXXL을 원했고,하지만 난 컨테이너에 의해 반환되는 참조를 변경하지 않고, 따라서 호환되지 여러 읽기를 통해 지속되지 있었고, 실현 becuase 임 관심 (그러나 피상적 인) 내 기존의 stl 코드. 예 : 난 그냥이 그 STXXL 용기를 의미 있는지 알고 싶어

{ 
std::vector<int> vector; 
vector.push_back (1); 
vector.push_back (2); 


int& refA = vector[0]; 
int& refB = vector[1]; //refA is not gaurenteed to be valid anymore 
} 

경우 100 % 호환, 또는 실제로 나는 안전하지 않은/구현에 의존 방식으로 전체 시간을 STL 컨테이너를 사용하고 있었다면.

Answer 1

는 표준 23.2.4.3/1 말한다 다음 새로운 크기가 이전 용량보다 큰 경우

는 [insert()] 재 할당을 야기한다. 재 할당이 발생하지 않으면 모든 이터레이터와 참조점 이 삽입 포인터가 으로 유효하게 유지되기 전에 참조하십시오. 이 사실이 이야기이지만

(약 insert() 표 68 a.push_back(x) 모든 벡터 a 가치 x위한 a.insert(a.end(), x) 동등해야한다는 것을 나타낸다.) 즉, reserve() 메모리가 충분한 경우 미리 또는 push_back() 개 항목을 추가하면 반복기 및 참조가 무효화되지 않습니다.

항목은 제거 대해서는 23.2.4.3/3 말한다 :

[erase()]

은 소거의 시점 이후의 모든 반복자 및 참조를 무효화한다.

표 68, 각각의 표 67에 의하면, pop_back() 및 clear()erase()는 적절한 호출 동등하다.

Answer 2

나는 참조가 (또한 max_size, capacity 및 reserve 방법 참조) 명시 적 또는 resize() 암시 만이 무효화 될 것이라고 기대한다.

Answer 3

벡터는 현재 용량에 따라 재 할당 할 때 iterator와 참조를 무효화합니다. 위의 코드가 작동하는 경우도 있지만, push_back (4) 호출 후에 참조가 무효화 될 수 있으므로이 방법을 사용해서는 안됩니다. 벡터

Answer 4

몇 가지 기본 규칙 :

• 재 할당이 벡터의 요소에 대한 모든 참조, 포인터, 반복자 을 무효화합니다.
• 삽입 참조, 포인터 및 이터레이터 을 무효화 할 수 있습니다.
• 요소 삽입 또는 제거 은 요소를 참조하는 참조 자, 포인터 및 반복기를 무효화합니다.
• 삽입으로 인해 재 할당이 발생하는 경우 은 모든 참조, 반복자 및 포인터를 무효화합니다. 벡터 내로 삽입하는 방법에 대한