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

• isAlreadyExistsError(файл уже существует);

• isDoesNotExistError(файл не существует);

• isAlreadyInUseError(файл уже используется);

• isFullError(не хватает места на диске);

• isEOFError(достигнут конец файла);

• isIllegalOperation(выполнена недопустимая операция);

• isPermissionError(недостаточно прав доступа).

Пользуясь этими предикатами, можно написать примерно такой обработчик:

handler :: IOException -> IO ()

handler e

| isDoesNotExistError e = putStrLn "Файл не существует!"

| isPermissionError e = putStrLn "Не хватает прав доступа!"

| isFullError e = putStrLn "Освободите место на диске!"

| isIllegalOperation e = putStrLn "Караул! Спасите!"

| otherwise = ioError e

Убедитесь, что вы перевызываете исключение, если оно не подходит под ваши критерии; в противном случае ваша программа иногда будет «падать» молча, что крайне нежелательно.

Модуль System.IO.Errorтакже экспортирует функции, которые позволяют нам получать атрибуты исключения, например дескриптор файла, вызвавшего исключение, или имя файла. Все эти функции начинаются с префикса ioe; их полный список вы можете найти в документации. Скажем, мы хотим напечатать имя файла в сообщении об ошибке. Значение fileName, полученное при помощи функции getArgs, напечатать нельзя, потому что в обработчик передаётся только значение типа IOExceptionи он не знает ни о чём другом. Функция зависит только от своих параметров. Но мы можем вызвать функцию ioeGetFileName, которая по переданному ей исключению возвращает Maybe FilePath. Функция пытается получить из значения исключения имя файла, если такое возможно. Давайте изменим обработчик так, чтобы он печатал полное имя файла, из-за которого возникло исключение (не забудьте включить функцию ioeGetFileNameв список импорта для модуля System.IO.Error):

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 и попрактикуем методы программирования. Каждый раздел представляет отдельную задачу. Мы будем давать её описание и предложим поиск лучшего (или не самого худшего) решения.

Обычно мы записываем математические выражения в инфиксной нотации, например: 10 – (4 + 3) * 2. Здесь +, *и –представляют собой инфиксные операторы, такие же, как инфиксные функции Haskell ( +, `elem`и т. д.). Так нам удобнее, потому что мы можем легко разобрать подобную формулу в уме. Но у такой записи есть и негативное свойство: приходится использовать скобки для обозначения приоритета операций.