Пустой для петли - for (;;)

Question

Я изучал Google Closure Compiler, и одна вещь, которую я заметил, это то, что он преобразует while(true) в for(;;).

Оба действительно поддерживают браузер, но почему пустая петля for не выходит из себя сразу? Вторая его часть пуста и, следовательно, ложна. Не правда ли, что когда вторая часть ложна, цикл for останавливается и выполнение продолжается с кодом, который приходит после цикла for?

Может ли кто-нибудь дать объяснение этому?

Answer 1

Нет, это неправда.

См: https://developer.mozilla.org/en/JavaScript/Reference/Statements/for

состояние

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

Возможно, я должен указать ссылку на ссылку ECMAScript, но я уверен, что она содержит более или менее то же самое.

Answer 2

Пустую среднюю часть следует интерпретировать как true, так что это не фальшь. Он имеет ту же семантику на C и других языках с таким циклом (например, C#, Java и т. Д.). Это была бы настоящая ловушка, которая изменила бы ее для JavaScript.

Answer 3

Из ECMAScript language specification:

ИнструкциюИтерации: для (ExpressionNoIn_opt; Expression_opt; Expression_opt) Заявление

Если первое выражение присутствует, то

1. Пусть testExprRef быть результатом оценки первой Expression.
2. Если GetValue (testExprRef) является ложным, верните (нормальный, V, пустой).

Поскольку первого выражения (второго аргумента для) нет, этот раздел никогда не запускается, поэтому цикл for не выходит.

Answer 4

Существует оценку algorothm из цикла в стандартной ECMA-262 сценария, который говорит, что есть только две ситуаций, в которых цикл закончится:

1. заявление перерыва
2. значения среднего заявления равно ложный , , но только в том случае, если этот оператор присутствует, поэтому он не обязательно должен быть оценен как true (возможно, это мозаика js engine).