「例外が発生してもプログラムの状態を一切変更しない(失敗前の状態に戻す)」保証レベルはどれか。

強い保証(Strong Guarantee)は、操作が成功するか、さもなくば元の状態を維持する。