Условие цикла
Условие цикла — это логическое выражение, по значению которого определяется, выполнять ли очередной повтор цикла. Если условие истинно, цикл продолжается или начинается, а если ложно — прекращается; точный момент проверки зависит от вида цикла.
В цикле с предусловием условие проверяется до выполнения тела. Если оно сразу ложно, тело не выполнится ни разу. Например, при условии \(x > 0\) цикл начнётся только тогда, когда \(x\) положительно.
В цикле с постусловием сначала выполняется тело, а затем проверяется условие выхода. Поэтому такой цикл выполняется хотя бы один раз. В записи «повторять до тех пор, пока \(x = 0\)» повторение продолжается, пока условие выхода ложно, и прекращается, когда оно становится истинным.
Логика проверки
Важно различать условие продолжения и условие выхода. Для цикла с предусловием обычно формулируют именно условие продолжения: пока \(i \le 10\), увеличить \(i\). Для постусловия часто задают условие выхода: повторять до \(i > 10\). Эти выражения могут быть противоположными по смыслу.
Пусть дано: «пока \(n < 5\), увеличить \(n\) на 1». При \(n=3\) условие истинно, поэтому выполняется тело и получается \(n=4\). Затем проверка повторяется: при \(n=4\) цикл выполняется ещё раз, после чего \(n=5\). Теперь условие \(5 < 5\) ложно, и цикл прекращается.
Условие цикла — не то же самое, что условие условного оператора. Ветвление выбирает один из вариантов и обычно проверяется один раз, а условие цикла может проверяться многократно — перед каждой итерацией или после неё. Также изменение переменной условия выполняет оператор присваивания, а не само условие.
Сколько раз выполнится тело цикла с предусловием «пока \(x > 0», если в начале\)x=0$?
Главное
- Условие цикла принимает значение «истина» или «ложь» и управляет повторением.
- В цикле с предусловием ложное условие может не допустить ни одной итерации; в цикле с постусловием тело выполняется хотя бы один раз.
- Нужно отличать условие продолжения от условия выхода и учитывать момент проверки.