Устойчивые ссылки в контейнерах STL

Question

При использовании контейнеров STL 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: Im заинтересованы потому что я хотел бы попробовать STXXL (http://stxxl.sourceforge.net/) библиотеки для C++, но я понял, что ссылки, возвращаемые контейнеры не были постоянными в течение нескольких операций чтения, и, следовательно, не совместимы без внесения изменений (хотя и поверхностно) к моему существующему stl-коду. Пример:

{ 
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 
} 

Я просто хотел бы знать, если это означало, что STXXL контейнеры, не 100% совместимость, или в самом деле, если бы я использовал STL контейнеров в небезопасном/реализации зависимого пути все время.

Answer 1

О вставки в векторах, стандарт говорит в 23.2.4.3/1:

[insert()] приводит к перераспределению, если новый размер больше, чем старый мощности. Если перераспределение не происходит, все итераторы и ссылки перед тем, как точка ввода останется действительна.

(Хотя это на самом деле это говорит о insert(), таблица 68 показывает, что a.push_back(x) должно быть эквивалентно a.insert(a.end(), x) для любого вектора a и значением x.) Это означает, что если вы заранее сохранили память reserve(), то (и только тогда) итераторы и ссылки гарантированно не будут аннулированы, если вы insert() или push_back() других предметов.

Что касается удаления предметов, 23.2.4.3/3 говорит:

[erase()] аннулирует все итераторы и ссылки после точки стирания.

Согласно таблице 68 и таблице 67 соответственно, pop_back() и clear() эквивалентны соответствующим вызовам erase().

Answer 2

Я ожидаю, что ссылки будут признаны недействительными только какой-либо явной или неявной resize() (см также max_size, capacity и reserve методы).

Answer 3

Вектор аннулирует его итератор и ссылки при его перераспределении, что зависит от его текущей емкости. Хотя приведенный выше код может работать в некоторых случаях, вы не должны полагаться на это, поскольку ссылка может быть недействительной после вызова push_back (4).

Answer 4

Некоторые основные правила для вектора:

• Перераспределение недействительными все референции, указатели и итераторы для элементов вектора.
• Вставки may недействительные ссылки, указатели и итераторы.
• Вставка или удаление элементов отменяет ссылки, указатели и итераторы, которые ссылаются на следующие элементы: .
• Если вставка вызывает перераспределение, аннулирует все ссылки, итераторы и указатели.