Почему стирание End-Iterator не приводит к сбою сегментации с shared_ptr?

Question

Следующий код работает без сброса ошибки сбоя segemntation. Однако вызов vec.erase стирает последний элемент, то есть удаляет «указатель 1», уменьшает размер vec на один и оставляет «указатель 0» позади.

std::vector<std::shared_ptr<int>> vec; 
vec.push_back(std::make_shared<int>(0)); 
vec.push_back(std::make_shared<int>(1)); 

vec.erase(vec.end()); 

std::cout << vec.size() << std::endl 

Тот же код, который содержит только int, вызывает ошибку ошибки сегментации, как и предполагалось.

В чем причины этого?

PS: испытано с GCC 5.2.1

Answer 1

Тот же код с только INT генерирует ошибку ошибки сегментации, как и ожидалось.

Ваши ожидания ошибочны. Неопределенное поведение не гарантирует, что ваша программа потерпит крах. Это может быть сюрпризом для вас, но поведение не определено.