strong guarantee: pełna gwarancja
W języku C++ jest to udzielane przez funkcję zapewnienie, że w przypadku wystąpienia wyjątku zostaną zachowane podstawowe niezmienniki i nie wystąpi utrata ani wyciek pamięci oraz wszystkie wartości, które nie są lokalne dla tej funkcji będą po awarii takie same, jak przed wywołaniem tej funkcji.