Операторы цикла

В Паскале циклические алгоритмы (см. раздел “Алгоритм и его свойства”) могут быть записаны с помощью следующих операторов.

Арифметический цикл (или цикл с увеличивающимся параметром):

for параметр:= выражение1 to выражение2 do оператор;

for, to, do - служебные слова. Выражение1 и выражение2 вычисляются только один раз при входе в цикл и в процессе выполнения цикла не изменяются. В начале выполнения цикла параметру присваивается значение выражения1. Затем проверяется значение параметра £ выражения2. Если да, то выполняется оператор тела цикла, после чего значение параметра автоматически получает значение, следующее за текущим значением параметра в соответствии с его типом. Если параметр целого типа, то значение параметра увеличивается на единицу. Если параметр символьного типа, то выбирается следующий символ из кодовой таблицы. Если параметр логического типа, то выбирается следующее логическое значение. Отсюда следует, что параметр должен быть порядкового типа и не может быть вещественного типа. Параметр, выражение1, выражение2 должны быть одного типа. Если выражение1 > выражение2, то тело цикла не выполнится ни разу. Нельзя явным образом менять значение параметра в теле цикла. Если тело цикла содержит более одного оператора, то оно оформляется как составной оператор с использованием операторных скобок begin... end.

Арифметический цикл (или цикл с уменьшающимся параметром).

for параметр:= выражение1 downto выражение2 do оператор;

for, downto, do - служебные слова. Выражение1 и выражение2 вычисляются только один раз при входе в цикл и в процессе выполнения цикла не изменяются. В начале выполнения цикла параметру присваивается значение выражения1. Затем проверяется значение параметра ³ выражения2. Если да, то выполняется оператор тела цикла, после чего значение параметра автоматически получает значение, предшествующее текущему значению параметра в соответствии с его типом. Если параметр целого типа, то значение параметра уменьшается на единицу. Если параметр символьного типа, то выбирается предыдущий символ из кодовой таблицы. Если параметр логического типа, то выбирается предыдущее логическое значение. Отсюда следует, что параметр должен быть порядкового типа и не может быть вещественного типа. Параметр, выражение1, выражение2 должны быть одного типа. Если выражение1 < выражение2, то тело цикла не выполнится ни разу. Нельзя явным образом менять значение параметра в теле цикла. Если тело цикла содержит более одного оператора, то оно оформляется как составной оператор.

Цикл с предусловием:

while логическое_выражение do оператор;

while, do - служебные слова. Оператор тела цикла выполняется до тех пор, пока значение логического_выражения истинно. Для того, чтобы цикл не стал бесконечным (не зациклился), необходимо наличие в теле цикла оператора, влияющего на значение логического выражения. В качестве оператора может быть любой оператор Паскаля. Если тело цикла содержит более одного оператора, то оно оформляется как составной оператор. Тело цикла может ни разу ни выполниться, если при первой проверке логическое_условие ложно.

Цикл с постусловием:

repeat операторы тела цикла until логическое_выражение;

repeat, until - служебные слова. Операторы тела цикла выполняются до тех пор, пока логическое выражение ложно. В теле цикла можно указывать любые операторы Паскаля без использования операторных скобок. Для выхода из цикла необходимо, чтобы операторы тела цикла изменили значение логического_выражения на истинное, иначе произойдет зацикливание. Тело цикла выполнится хотя бы один раз.

Поиск по сайту: