- Зацикливание
-
В программировании бесконечным циклом называется цикл, написанный таким образом, что условие выхода из него никогда не выполняется.
О программе, вошедшей в бесконечный цикл, иногда говорят, что она зациклилась. Использование этого глагола вышло далеко за пределы программирования, и он зачастую применяется с совершенно другим смыслом.
Среди пользователей различных поколений сверхскоростных компьютеров ходит стандартная шутка: «Крей-3 настолько быстр, что выполняет бесконечный цикл менее, чем за 2 секунды».
Содержание
Роль бесконечных циклов в Тьюринг-полноте языков
Любой цикл можно представить как бесконечный цикл, в теле которого есть проверка условия выхода и команда выхода из цикла.
Любая программа может быть написана при помощи:
- бесконечных циклов;
- команд выхода из цикла;
- операторов ветвления (
if-then); - последовательностью команд, исполняемых одна после другой;
Примечание: обратите внимание, что оператор
Примеры
Для Си-подобных языков
while(true) { // что-нибудь делаем }
либо
for (;;) { // что-нибудь делаем }
Руби
Язык содержит специальную конструкцию бесконечного цикла:
loop { # что-нибудь делаем }
Пакетный файл
:loop rem что-нибудь делаем goto loop
Практика
В написании программ, решающих реальные задачи пользователей, бесконечные циклы, как правило, являются одним из источников неустойчивой работы программы. Между тем, при написании алгоритмических программ, то есть программ, решающих определённые задачи прикладной информатики и не имеющих прямого отношения к практическим задачам, использование бесконечных циклов — это очень хороший профессиональный приём.
Так, например, при решении задач на олимпиадах по информатике (программированию) различных уровней основная задача участника — за отведённое время написать программы, решающие предложенные алгоритмические задачи. Как правило, такие задачи решаются с использованием циклов.
Очевидно, что времени на обдумывание условия выхода из цикла (которое должно указываться в так называемом while-цикле) у участника недостаточно. Поэтому очень полезным приёмом является использование модифицированных бесконечных циклов.
Приём этот основан на том факте, что каждый современный язык программирования предлагает ряд операторов, позволяющих прервать выполнение тела цикла не после очередной итерации, а во время очередного выполнения (например, Break в EXIT FOR в Бейсике и т. д.). Для экономии времени участник олимпиады пишет бесконечный цикл while с условием выполнения True (while True do ...), а затем по мере необходимости в теле цикла записывает операторы проверки условий, которые в случае необходимости прерывают выполнение цикла Break-подобными операторами.
Также такого рода циклы позволяют решать врождённый недостаток языка Паскаль — недостаточную мощность оператора for. Например, в Си цикл прохода по некоему набору элементов с использованием абстрактного класса (итератора) выглядит как
Element& el; SomeIterator it(); for (el=it.get(); el!=NULL; el=it.get()) { ... }
Пожалуй, единственный способ реализовать такое же в Паскале (с сохранением возможности использовать оператор continue, то есть, без el:=it.Get; в конце цикла) таков.
it := SomeIterator.Create; repeat el := it.Get; if el=nil then break; ... until false;
Программы, из которых нет выхода (например, операционные системы, прошивки микроконтроллеров), также обычно представляют собой бесконечный цикл. Например:
//Инициализация МК, первоначальная настройка регистров while(1){ //Основной цикл программы };
Wikimedia Foundation. 2010.
