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

Реализуется чаще всего с помощью идиомы Copy-and-Swap:

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

Принцип: все потенциально бросающие исключения операции выполняются на копии. Если исключение происходит, копия (недоделанная) уничтожается, а исходный объект остается в прежнем состоянии. Если операции на копии проходят успешно, состояние исходного объекта обновляется в одном атомарном, не бросающем исключений шаге (обычно swap).

Что такое строгая гарантия исключений и как она реализуется в C++?