Миран Липовача - Изучай Haskell во имя добра!

handler :: IOException -> IO ()

handler e

| isDoesNotExistError e =

case ioeGetFileName e of

Just fileName -> putStrLn $ "Файл " ++ fileName ++

" не существует!"

Nothing -> putStrLn "Файл не существует!"

| otherwise = ioError e

where fileName = ioeGetFileName e

В охранном выражении, если предикат isDoesNotExistErrorвернёт значение True, мы использовали выражение case, чтобы вызвать функцию ioeGetFileNameс параметром e; затем сделали сопоставление с образцом по возвращённому значению с типом Maybe. Выражение caseчасто используется в случаях, когда вам надо сделать сопоставление с образцом, не создавая новую функцию. Посмотрим, как это сработает:

$ ./linecount dont_exist.txt

Файл dont_exists.txt не существует!

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

main = do

action1 `catch` handler1

action2 `catch` handler2

launchRockets

Функция action1использует функцию handler1в качестве обработчика, а функция action2использует handler2. Функция launchRocketsне является параметром функции catch, так что любое сгенерированное в ней исключение обрушит нашу программу, если только эта функция не использует tryили catchвнутри себя для обработки собственных ошибок. Конечно же, action1, action2и launchRockets– это действия ввода-вывода, которые «склеены» друг с другом блоком doи, вероятно, определены где-то в другом месте. Это похоже на блоки try–catchв других языках: вы можете поместить всю вашу программу в один блок try–catchили защищать отдельные участки программы и перехватывать различные исключения для разных участков.

Ранее в этой главе мы уже познакомились с функциями bracketи bracketOnError, которые реализуют наиболее часто используемый сценарий обработки исключений, когда работа с ресурсом состоит из трёх стадий:

• получение ресурса;

• использование ресурса;

• освобождение ресурса.

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

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

Модуль Control.Exceptionсодержит ещё несколько подобных функций. Функция finallyобеспечивает гарантированное выполнение некоторого действия по завершении другого действия. Это всего навсего упрощённый вариант функции bracket. Вот её сигнатура:

finally :: IO a -> IO b -> IO a

В следующем примере текст "Готово!"печатается в каждом из двух случаев, несмотря на возникновение исключения во втором:

ghci> print (20 `div` 10) `finally` putStrLn "Готово!"

2

Готово!

ghci> print (2 `div` 0) `finally` putStrLn "Готово!"

Готово!

*** Exception: divide by zero

Функция onExceptionпозволяет выполнить заключительное действие только в случае возникновения исключения:

ghci> print (20 `div` 10) `onException` putStrLn "Ошибка!"

2

ghci> print (2 `div` 0) `finally` putStrLn "Ошибка!"

Ошибка!

*** Exception: divide by zero

Заметьте, что обе эти функции, в отличие от tryили catch, не обрабатывают исключения – они лишь гарантируют выполнение указанных действий. Все эти функции нетрудно реализовать вручную, пользуясь лишь tryили catch. Фактически они устанавливают свой обработчик, перехватывают исключение, выполняют заданные действия, а после этого повторно генерируют то же самое исключение. Тем не менее, если ваша задача соответствует одному из приведённых сценариев, стоит воспользоваться уже существующей функцией.

В этой главе мы рассмотрим пару интересных задач и узнаем, как мыслить функционально для того, чтобы решить их по возможности элегантно. Скорее всего, мы не будем вводить новых концепций, а просто используем вновь приобретённые навыки работы с языком Haskell и попрактикуем методы программирования. Каждый раздел представляет отдельную задачу. Мы будем давать её описание и предложим поиск лучшего (или не самого худшего) решения.