- Охрана (программирование)
-
Охра́на (охраня́ющее выраже́ние) — логическое выражение, которое предназначено для ограничения вычислительных процессов и направления их по определённому направлению в зависимости от условия охраны. Обычно, используется в функциональных языках программирования (например, Haskell).
Содержание
Примеры охраняющих выражений
Все последующие охраняющие выражения приведены на функциональном языке Haskell, в котором эта технология используется очень часто. Все такие выражения выделены в кодах полужирным начертанием.
Пример 1 — Списочные включения
Функция
divisors
возвращает список делителей заданного числаn
. Во второй строке определения показана охрана, которая ограничивает выбор элемента списка делителейx
только таким значением, которое делит исходный параметрn
без остатка.divisors n = [x | x <- [1..(n - 1)], n `mod` x == 0]
Пример 2 — Охрана в теле функции
Функция
sign
возвращает знак заданного числаx
. Охраняющие выражения записаны после символов (|
). Они позволяют выбрать ту или иную альтернативу при вычислении знака числа. Такой способ охранения часто используется вместо механизма сопоставления по образцу, когда в функции нет возможности явно описать образец (например, в случае, если функция является обобщённой прикладной функцией для обработки значений некоторого типа, являющегося экземпляром какого-либо класса).sign x | x < 0 = -1 | x == 0 = 0 | x > 0 = 1
Оформление в виде охраны позволяет в случае недопустимого выражения для сопоставления перейти к следующему. В случае, если предыдущий пример будет оформлен как клоз, в котором произходит сопоставление с образцами, то при
x = 0
первое сопоставление (x < 0
) вызовет ошибку, обработчик которой прекратит дальнейшие попытки на сопоставление. Кроме того, для случая неистинности всех выражений, удобно отлавливать такие ситуации установкой непосредственного значения истиностиTrue
. Для удобочитаемости, в стандартной библиотеке Prelude имеется константа otherwise, что внешне ещё более напоминает переключатель в алгоритмических языках.См. также
Литература
- Душкин Р.В. Охрана // Приёмы программирования // Функции // Синтаксис и идиомы языка // Справочник по языку Haskell / Гл. ред. Д. А. Мовчан. — М.: ДМК Пресс, 2008. — С. 37-38. — 554 с. — 1500 экз. — ISBN 5-94074-410-9, ББК 32.973.26-018.2, УДК 004.4
Категории:- Формальные методы
- Концепции языков программирования
- Haskell
Wikimedia Foundation. 2010.