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

Базовая гарантия исключений (Basic Exception Guarantee) в C++ означает, что при выбросе исключения из функции:

• Ресурсы, которыми функция владела на момент выброса исключения (например, память, файловые дескрипторы), не будут утекать.
• Объекты, состояние которых было изменено до выброса исключения, будут находиться в валидном, хотя и неопределенном состоянии. Дальнейшее использование таких объектов возможно, но их значение предсказать нельзя.

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

Применение:

1. RAII (Resource Acquisition Is Initialization): Классы-обёртки, которые управляют ресурсами в своем конструкторе и освобождают их в деструкторе. Это основной механизм обеспечения базовой гарантии. Деструкторы таких классов должны быть noexcept.

   c