Исключительный сейф контейнеров в C++

Question

Я столкнулся с этим понятием безопасности контейнеров. Я хочу понять, что именно означает безопасное исключение? Есть ли для этого сравнение для разных контейнеров?

Answer 1

Если вы посмотрите на алгоритмы для различных структур данных, вы увидите, что они включают в себя последовательность шагов. Структура данных имеет некоторую целостность (постоянный внутренний смысл) в начале шагов и в конце.

Например, рассмотрите vector, который включает в себя dynamically growing array. Обычно это включает массив, целое число, описывающее размер массива, и целое число, описывающее количество используемых элементов. Когда элемент вставлен, может быть выделен новый массив в два раза по размеру, элементы скопированы в новое, целое число, описывающее размер, будет умножено на два, число, описывающее количество используемых элементов, будет увеличено на 1 и т. Д.

Исключение, созданное в этой точке (например, конструктором копирования элементов), может привести к последовательности шагов, которые должны быть завершены посередине. Например, если вы небрежно сначала обновите целые числа, только тогда выполните выделение и копии (и не поймайте исключения), тогда структура данных потеряет свою внутреннюю согласованность.

Смысл исключение безопасности для контейнеров STL заключается в том, что у них есть гарантии, что такие окончания оставят структуру данных в согласованном состоянии.