Змінна, ім'я якої стоїть після слова FOR, називається керуючою або параметром циклу. Якщо в циклі треба виконати кілька операторів, то їх слід об'єднати в один складений оператор так, як і в циклі WHILE. Виконання оператора FOR починається з обчислення виразів. Цикл-ДЛЯ забезпечує виконання оператора, який стоїть після слова DO (виконувати), для кожного значення параметра, починаючи від початкового значення, яке дорівнює значенню виразу 1, до кінцевого значення, яке дорівнює значенню виразу 2, включно. Значення параметра, початкове і кінцеве значення не повинні змінюватися всередині циклу (в операторі). Крім того, вони повинні бути одного й того самого скалярного типу. Причому тип може бути тільки такий, для якого визначена стандартна функція succ (pred). Тому використовувати управляючу змінну дійсного типу не можна. Якщо використовується специфікація ТО (до), то значення параметра «збільшується» від початкового до кінцевого значення, якщо ж DOWNTO (down to – вниз до) — то «зменшується». Таким чином, цикл виду
FOR v:=A1 TO A2 DO S
Дe A1, A2 — вирази, S — оператор, простий чи складений, рівносильний такій послідовності операторів:
v:=A1; S; v:=succ(v); S;…; v:=A2; S
Цикл виду
FOR v:=A1 DOWNTO A2 DO S рівносильний послідовності
v:=A1; S; v:=pred(v); S;…; v:=A2; S
Якщо до початку виконання циклу значення виразу 2 в операторі FOR...ТО «менше» значення виразу 1, а в операторі FOR... DOWNTO «більше» значення виразу 1, то оператор (тіло циклу) не виконується жодного разу.
Після завершення виконання циклу-ДЛЯ значення параметра не визначено.
Найчастіше значеннями параметра циклу є цілі числа. Проте вони можуть належати й до iнших впорядкованих типів. Наприклад, за командою
FOR letter:= 'A' TO 'Z’ DO оператор
cимвольна змінна letter послідовно буде набувати значень від 'Л’ до 'Z’ включно, при яких і виконуватиметься oneратор, що утворює тіло циклу.
Приклади
