Бесконечный цикл

Бесконечный цикл на языке Паскаль:

//Вариант 1
while true do
   begin
      {что-нибудь делаем}
      if {условие выхода из бесконечного цикла} then break
   end;

//Вариант 2
repeat
{что-нибудь делаем}
until false;

Для си-подобных языков:

//вариант 1
for (;;) {
   /* что-нибудь делаем */
}

// вариант 2
while(true) {
   /* что-нибудь делаем */
}

Язык Ада (а также ряд его потомков) имеют специальную конструкцию, описывающую бесконечный цикл:

loop
   -- что-нибудь делаем
end loop;

Кроме того, Ада позволяет осуществить выход сразу из нескольких вложенных циклов, а также имеет условную форму оператора выхода, позволяющую избежать использования оператора ветвления:

Out_Cycle:
loop
   ...
   loop
      ...
      exit Out_Cycle when Logic_Exp;
      -- равносильно 
      if Logic_Exp then 
         exit Out_Cycle; 
      end if;
      ...
   end loop;
   ...
end loop Out_Cycle;
--отсюда продолжится выполнение программы
--после выполнения инструкции exit Out_Cycle;

Программы, из которых нет выхода (например, операционные системы, прошивки микроконтроллеров), обычно представляют собой бесконечный цикл.

В написании программ, решающих реальные задачи пользователей, бесконечные циклы, как правило, являются одним из источников неустойчивой работы программы. Между тем, при написании алгоритмических программ, то есть программ, решающих определённые задачи прикладной информатики и не имеющих прямого отношения к практическим (или скорее теоретическим) задачам, использование бесконечных циклов — это очень хороший профессиональный приём.

Так, например, при решении задач на олимпиадах по информатике (программированию) различных уровней основная задача участника — за отведённое время написать программы, решающие предложенные алгоритмические задачи. Как правило, такие задачи решаются с использованием циклов. Очевидно, что времени на обдумывание условия выхода из цикла (которое должно указываться в так называемом while-цикле) у участника недостаточно. Поэтому очень полезным приёмом является использование модифицированных бесконечных циклов.

Приём этот основан на том факте, что каждый современный язык программирования предлагает ряд операторов, позволяющих прервать выполнение тела цикла не после очередной итерации, а во время очередного выполнения (например, Break в Delphi, EXIT FOR в Бейсике и т. д.). Для экономии времени участник олимпиады пишет бесконечный цикл while с условием выполнения True (while True do ...), а затем по мере необходимости в теле цикла записывает операторы проверки условий, которые в случае необходимости прерывают выполнение цикла Break-подобными операторами.

Иногда (например, в скриптах управления персонажами компьютерных игр) выход из программы — это остановка интерпретатора. Так что разработчик не должен явно записывать условие выхода — а значит, программа превращается в бесконечный цикл. Такой принцип принят, например, в Game Maker, в некоторых играх для программистов.