Why should loop conditions be designed so that they eventually evaluate to false?

Условия циклов должны быть спроектированы так, чтобы они в конечном итоге оценивались в значение false, чтобы избежать бесконечного выполнения цикла. 13

Если условие никогда не становится ложным, цикл будет выполняться бесконечно, что может привести к тому, что программа станет неотзывчивой. 1

Кроме того, при таком подходе программа сможет выйти из цикла и перейти к следующей строке кода. 5