Обработка исключений

Проверка, которую невозможно записать кодом

• Программа открывает файл. Перед открытием вы могли бы проверить, существует ли файл, доступен ли он для чтения, подключен ли диск. Предположим, каждая проверка прошла успешно.
• Между последней проверкой и открытием пользователь извлекает USB-накопитель. Файл существовал, когда вы спрашивали, и не существует, когда вы пытаетесь его открыть, и никакое предварительное тестирование не могло устранить этот разрыв.
• Некоторые ошибки просто невозможно предотвратить, потому что мир меняется между проверкой и действием. Что может сделать программа — так это реагировать на них, когда они происходят.
• Этот урок посвящен исключению, структуре TRY, которая обрабатывает одно, и тому, где в программе следует перехватывать исключение.

Что такое исключение и зачем его обрабатывать

• Исключение — это ошибка, возникающая во время выполнения: деление на ноль, файл не найден, неверный ввод, ушедшая сеть.
• Обработка исключений позволяет программе обнаружить ошибку и отреагировать на нее контролируемым образом, вместо того чтобы аварийно завершиться и потерять работу пользователя.
• Реальные программы сталкиваются с ошибками, которые нельзя предотвратить заранее, как показывает пример. И без исключений каждая отдельная операция потребовала бы собственной проверки IF вокруг себя, зарывая реальный алгоритм в тесты ошибок.
• Третье преимущество — это именно то, о чем чаще всего спрашивают на экзамене: оно разделяет нормальный поток выполнения и обработку ошибок, благодаря чему основной путь читается легко.

Структура TRY

TRY
    OPENFILE "data.txt" FOR READ
    READFILE "data.txt", line
    CLOSEFILE "data.txt"
EXCEPT FileNotFound
    OUTPUT "Sorry, the file does not exist."
EXCEPT ReadError
    OUTPUT "Sorry, there was an error reading the file."
FINALLY
    OUTPUT "Finished attempting to read."
ENDTRY

• Блок TRY содержит код, который может вызвать ошибку. Если он выполняется без сбоев, блоки EXCEPT полностью пропускаются.
• Если происходит исключение, выполнение немедленно переходит к первому подходящему блоку EXCEPT. Остальная часть блока TRY не выполняется.
• Блок FINALLY выполняется в любом случае, независимо от того, произошло ли исключение, что делает его идеальным местом для очистки, например, закрытия файла.

Один путь, когда всё хорошо, другой — когда нет, и один, который выполняется всегда

Разобранный пример: проследите за потоком

Вызов исключения

• Подпрограмма, обнаружившая проблему, с которой она не может разумно справиться, может вызвать исключение, передавая ответственность тому, кто её вызвал:

IF b = 0 THEN RAISE DivideByZero

• Это правильное решение, когда подпрограмма знает, что что-то не так, но не знает, что следует сделать. Функция деления знает, что делитель равен нулю; только вызывающий код решает, спросить пользователя снова, использовать значение по умолчанию или отказаться от вычисления.

Где обрабатывать

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

Разобранный пример: чего не следует делать

Потерянные баллы

Вы поняли