Лекции

Разбираем, почему в C++ ресурсы автоматически освобождаются при исключениях (размотка стека и вызов деструкторов), чем RAII спасает от утечек, но не спасает от «частично применённых» изменений, как формулировать и удерживать инварианты класса, и почему порядок действий в методе критичен для исключений (на примерах с std::vector, push_back, счётчиком next_id_ и рассинхронизацией индексов). В конце — практические приёмы и типичные ошибки, включая правило: деструкторы не должны выбрасывать исключения.

Разбираем, что именно обещает метод при исключении: валидность объекта ( basic guarantee ), “либо всё, либо ничего” ( strong guarantee ) и запрет на выход исключений наружу ( no‑throw guarantee ). На примерах в стиле TaskTracker показываем, как поддерживать инварианты между std::vector и индексами, как делать откат через try/ catch и зачем аккуратно использовать noexcept.

Разбираем, почему RAII спасает ресурсы, но не гарантирует сохранность инвариантов объекта при исключениях, и как идиома commit/rollback помогает получить «либо всё, либо ничего». Учимся разделять метод на prepare → commit → rollback, применять временные объекты и swap как короткий шаг коммита, строить сильную гарантию исключений и понимать copy-and-swap как частный случай этого подхода на примере TaskStore.

Разбираем noexcept как жёсткий контракт «исключения не выходят наружу»: что именно считается границей функции, почему нарушение приводит к std::terminate, где пометка уместна (геттеры, swap, деструкторы) и где опасна (парсинг, рост контейнеров). Отдельно рассматриваем условный вариант noexcept(expr), проверки через static_assert и практику на примере TaskBook.

Разбираем «взрослый» взгляд на ошибки в C++: контракт метода (предусловия, постусловия и гарантия при исключении), инварианты объекта и техники prepare/ commit для получения сильной гарантии («либо всё, либо ничего»). На примере мини-класса TaskList учимся валидировать вход до изменений, проверять инварианты через validate_invariant() и тестировать крайние сценарии, включая «падение посередине операции».