imported>Mercury: /* Практика */

2023-01-20T17:31:36Z

Практика

Новая страница

'''Бесконечный цикл''' в [[программирование|программировании]] — [[цикл (программирование)|цикл]], написанный таким образом, что условие выхода из него никогда не выполняется. О программе, вошедшей в бесконечный цикл, иногда говорят, что она ''зациклилась''<ref> Использование этого глагола вышло далеко за пределы программирования, и он зачастую применяется по отношению к субъектам в смысле характеристики некорректного поведения.</ref>.

Представление о бесконечном цикле играет важную роль в понятии о [[Тьюринг-полнота|тьюринг-полноте]] языков программирования: с одной стороны, любой цикл можно представить как бесконечный цикл, в теле которого есть проверка условия выхода и команда выхода из цикла, с другой — любая программа может быть написана при помощи:
* бесконечных циклов,
* команд выхода из цикла,
* [[Оператор ветвления|операторов ветвления]] (<code>if-then</code>),
* последовательности команд, исполняемых одна после другой.

Бесконечный цикл на языке [[Паскаль (язык программирования)|Паскаль]]:
<source lang="pascal" start="1">
//Вариант 1
while true do
begin
{что-нибудь делаем}
if {условие выхода из бесконечного цикла} then break
end;

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

Для [[Си (язык программирования)|си]]-подобных языков:<ref>{{Cite web|lang=en-US|url=https://ask-dev.ru/info/18260/endless-loop-in-cc|title=Бесконечный цикл в C/C++ - программирование|access-date=2022-04-02}}</ref>
<source lang="c">
//вариант 1
for (;;) {
/* что-нибудь делаем */
}

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

Язык [[Ада (язык программирования)|Ада]] (а также ряд его потомков) имеют специальную конструкцию, описывающую бесконечный цикл:<ref>{{Cite web|url=https://ru.bmstu.wiki/index.php?title=Ada_(%D1%8F%D0%B7%D1%8B%D0%BA_%D0%BF%D1%80%D0%BE%D0%B3%D1%80%D0%B0%D0%BC%D0%BC%D0%B8%D1%80%D0%BE%D0%B2%D0%B0%D0%BD%D0%B8%D1%8F)&mobileaction=toggle_view_mobile#.D0.9E.D1.80.D0.B3.D0.B0.D0.BD.D0.B8.D0.B7.D0.B0.D1.86.D0.B8.D1.8F_.D1.86.D0.B8.D0.BA.D0.BB.D0.B8.D1.87.D0.B5.D1.81.D0.BA.D0.B8.D1.85_.D0.B2.D1.8B.D1.87.D0.B8.D1.81.D0.BB.D0.B5.D0.BD.D0.B8.D0.B9|title=Ada (язык программирования) — Национальная библиотека им. Н. Э. Баумана|website=ru.bmstu.wiki|access-date=2022-04-02}}</ref>
<source lang="ada">
loop
-- что-нибудь делаем
end loop;
</source>
Кроме того, Ада позволяет осуществить выход сразу из нескольких вложенных циклов, а также имеет условную форму оператора выхода, позволяющую избежать использования оператора ветвления:
<source lang="ada">
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;
</source>

== Практика ==
Программы, из которых выход возможен только выключением устройства или остановкой интерпретатора, представляют собой бесконечный цикл. К таким программам относятся:
* [[операционная система|Операционные системы]], [[Встроенное программное обеспечение|прошивки]] [[микроконтроллер]]ов.
* Некоторые виды [[скрипт]]ов (например, в [[компьютерная игра|играх]]). Такой принцип принят, например, в [[Game Maker]], в некоторых [[игра для программистов|играх для программистов]].

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

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

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

== Примечания ==
{{примечания}}

{{нет ссылок|дата=2015-12-29}}

[[Категория:Ошибки программирования]]

Бесконечный цикл - История изменений

imported>Mercury: /* Практика */