Значение какого типа возвращает охраняющее выражение
Обновлено: 24.11.2024
На этом шаге мы рассмотрим этот способ определения функций .
Определение . Охраняющим выражением называется выражение, накладывающее ограничения на аргументы функции и возвращающее значение True или False .
Определение функций с помощью охраняющих выражений имеет следующий синтаксис:
При определении функции охраняющие выражения ( < Условие _i> , i∈N ; otherwise ) записываются после образцов (x 1 ,x 2 . x k ) , но перед выражениями, являющими собой описание вычислительного процесса ( < Выражение _i> , i∈N ). Символ "|" используется для разграничения образцов и охраняющих выражений.
Просмотр охраняющих выражений производится сверху вниз до первого выражения, значение которого истинно; в этом случае значением функции будет являться значение выражения, записанное после найденной охраны. На этом этапе вычислительный процесс останавливается и оставшиеся охраняющие выражения игнорируются.
Замечание . Вместо служебного слова otherwise можно использовать слово True , которое называется конструктором типа .
Файл с примерами можно взять здесь. Файл с примерами можно взять здесь.На следующем шаге мы рассмотрим определение функций с помощью сопоставления с образцом .
Читайте также: