Разберите ситуацию: указатель или итератор на элемент std::vector сохранён, затем вектор увеличивается через push back . При каком условии сохранённый объект становится недействительным, почему это происходит и как минимальный пример кода демонстрирует риск?

Question

Accepted Answer

Если при добавлении элемента текущей ёмкости недостаточно, std::vector выделяет новый непрерывный блок памяти и перемещает либо копирует в него все элементы. После такого перераспределения недействительны все указатели, ссылки и итераторы на элементы прежнего блока. Если места в ёмкости достаточно, указатели, ссылки и итераторы на существующие элементы остаются действительными, но итератор end становится недействительным. Практическое следствие: нельзя хранить долгоживущие ссылки или итераторы на элементы вектора, который может расти; при известном максимальном размере стоит заранее вызвать reserve . std::vector<int v{1, 2}; int p = &v 0 ; v.push back 3 ; // может вызвать перераспределение p = 42; // неопределённое поведение, если адрес изменился В этом примере p указывает на старый блок памяти, если push back вызвал перераспределение. Гарантировать отсутствие перераспределения можно, заранее зарезервировав достаточную ёмкость.