Условные выражения и безусловные переходы

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

Рис. 10..5. Продолжение вычислений после команды Interrupt[]

Функция IF

Как у большинства языков программирования, условные выражения задаются с помощью оператора или функции IF. Система Mathematica имеет функцию If, формы которой представлены ниже:

• If [condition, t, f] — возвращает t, если результатом вычисления condition является True, и f, если результат равен False;
• If [condition, t, f, u ]—то же, но дает и, если в результате вычисления condition не было получено ни True, ни False.

Следующий пример показывает создание программной процедуры с циклом Do, выход из которой реализуется с помощью функции I f и директивы прерывания Aborted! ]:

х := 1; Print["i x"];

Do[{If [i == 5, Abort[], None],

i += 1; x += 2*i; Print[i, " ", N[x]]},

{i, 1, 100}]

i x

2 5

3 11.

4 19.

5 29.

$Aborted

Return[x]

Return[1]

Тот же пример, но с применением директивы выхода из цикла Break [] в функции If показан ниже:

х := 1; Print["i x"];

Do[{If [i == 5, Break[], None],

i += 1; x += 2*i; Print[i, " ", N[x]]},

{i, 1, 100}]

i x

2 5.

3 11.

4 19.

5 29.

Return[x]

Return[29]

В данном случае никаких специальных сообщений о выходе из цикла не выдается. Функция If обеспечивает ветвление максимум по двум ветвям программы. Для ветвления по многим направлениям можно использовать древовидные структуры программ с множеством функций If. Однако это усложняет исходный текст программы.

Функции-переключатели

Для организации ветвления по многим направлениям в современных языках программирования используются операторы-переключатели. В системе Mathematica множественное ветвление организовано с помощью функций Which и Switch:

If[q < 7, Goto[start]])

2

4

6

Здесь с помощью оператора Goto [start] организован цикл с возвратом на метку Label [start], действующий до тех пор, пока значение q меньше 7. При этом q меняется от начального значения 2 с шагом 2, причем добавление 2 к текущему значению q осуществляется укороченным оператором сложения q+=2.

Интересной особенностью языка программирования Mathematica является возможность создания переходов по значению вычисляемого выражения. Например, Goto [2+3] дает переход к метке Label [5] или даже Label [1+4], что видно из следующего примера:

Goto[2 + 3];

Print["ааааа"];

Label[1 + 4];

Print["bbbbb"]

bbbbb

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

Для языка программирования системы Mathematica, ориентированного на безупречное и строгое структурное программирование, введение оператора Goto может расцениваться как отступничество от основополагающих идей структурного программирования. Поэтому на применение этого оператора в методах структурного программирования наложено табу. Тем не менее, этот оператор есть, а применять его или нет — дело пользователя.



Содержание раздела

---

---