Операторы цикла: с параметром, с предусловием, с постусловием

Для реализации циклических процессов используют операторы циклов. В теории программирования выделяют несколько основных видов циклов:

- цикм-пока;

- цикл-до;

- счетный цикл.

В Borland Pascal реализованы все три укачанных вида циклов. Цикл-пока и цикл-до используют для реализации итерационных циклических процессов. Счетный цикл - для реализации циклических процессов с заданным количеством повторений. Для реализации циклических процессов поискового типа используют циклы-пока или циклы-до со сложными условиями или неструктурные передачи управления.

Цикл-пока. Синтаксическая диаграмма оператора «цикл-пока» приведена на рис. 6. Условие представляет собой логическое выражение. Оператор тела цикла повторяется, пока условие истинно, условие проверяется на входе. Если при входе в цикл условие не выполняется, то оператор тела цикла игнорируется.

Если в тело цикла необходимо поместить несколько операторов, то используют составной оператор.

Рис. 6 Структура цикла-пока

Цикл-до. Операторы тела цикла повторяются до выполнения условия, условие проверяется на выходе, т.е. тело цикла всегда выполняется хотя бы один раз. Синтаксическая диаграмма оператора «цикл-до» приведена на рис. 7. В тело цикла можно поместить несколько операторов, разделив их точкой с запятй «;».

Рис. 7 Структура цикла-до

Счетный цикл. Цикл выполняется, пока переменная (параметр) цикла принимает значения в заданном диапазоне с определенным шагом. Синтаксическая диаграмма оператора приведена на рис. 8.

Рис. 9. Структура счетного цикла

Переменная чикладолжна иметь порядковый тип. Выражение 1 определяет начальное значение параметра цикла, выражение 2 - конечное значение параметра цикла. Соответственно начальное и конечное значения должны принадлежать к тому же типу, что и параметр цикла. Если используется служебное слово to, то при каждом выполнении цикла переменной цикла присваивается следующее значение порядкового типа переменной. Если используется служебное слово downto, то при каждом выполнении цикла переменной цикла присваивается предыдущее значение порядкового типа переменной. Если диапазон значений переменной цикла пуст, то цикл не выполняется.

Примечание. По сравнению с теоретическим представлением счетный цикл, реализованный в Borland Pascal, является менее мощным оператором, так как шаг данной конструкции ограничен только +1 и -1.