Что произойдет при исключении внутри транзакции?

Транзакция — это последовательность операций с базой данных, которая должна быть выполнена как единое целое. Ключевое свойство атомарности (из ACID) гарантирует, что при возникновении любой ошибки (исключения) внутри транзакции все уже выполненные изменения могут быть отменены, возвращая базу в состояние, которое было до начала транзакции. Это предотвращает частичное обновление данных, которое могло бы привести к несогласованности.

Поведение при исключении

Конкретное поведение зависит от:

• Настроек СУБД и драйвера: Например, в режиме автокоммита каждая команда выполняется как отдельная транзакция, и исключение обычно не затрагивает предыдущие коммиты. Но при явном начале транзакции (BEGIN) исключение часто приводит к её "сломанному" состоянию, требующему ROLLBACK.
• Обработки исключения в коде: Если исключение перехвачено и обработано, разработчик может сам решить — откатить транзакцию или попытаться продолжить (что часто не рекомендуется). Если исключение не перехвачено, фреймворк или драйвер обычно выполняет автоматический откат.
• Уровня изоляции и типа ошибки: Некоторые ошибки (например, нарушение ограничений UNIQUE) могут приводить к откату только текущей команды, а не всей транзакции, если это разрешено настройками.

Пример на Python с SQLAlchemy

from sqlalchemy import create_engine
from sqlalchemy.orm import Session

engine = create_engine('sqlite:///mydb.db')

# Сессия начинает транзакцию неявно
with Session(engine) as session:
    try:
        # Добавляем объекты
        session.add(User(name='Alice'))
        session.add(User(name='Bob'))
        # Имитируем ошибку
        raise ValueError('Что-то пошло не так!')
        # Если бы ошибки не было, коммит сохранил бы изменения
        session.commit()
    except Exception:
        # При исключении откатываем изменения
        session.rollback()
        print('Транзакция откатана из-за ошибки')
    # По окончании контекста, если не было коммита,
    # SQLAlchemy также выполнит откат автоматически.

Где это применяется

Механизм отката при исключении критически важен в финансовых операциях, регистрации пользователей, обновлении связанных данных в нескольких таблицах — везде, где требуется целостность. Фреймворки (Django ORM, Hibernate, Entity Framework) часто предоставляют шаблоны (например, транзакции на уровне HTTP-запроса), которые автоматически откатывают изменения при необработанном исключении.

Вывод: Исключение внутри транзакции обычно приводит к её откату, что защищает данные от частичных изменений. При разработке важно либо полагаться на автоматический откат фреймворка, либо явно обрабатывать исключения и вызывать ROLLBACK, чтобы не оставлять "висячих" транзакций, блокирующих ресурсы.