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