ECMAScript规范中对For循环的定义明确了它的完整执行流程，和普通开发者的直觉认知可能存在一些差异，了解这些细节能帮助我们更准确地使用For循环处理各类迭代场景。
For循环的规范语法结构
ECMAScript规范中For循环的完整语法形式如下：
for ( [初始化表达式]; [条件表达式]; [迭代表达式] ) 语句
其中三个表达式都是可选的，但是分号必须保留。初始化表达式在循环开始前执行一次，条件表达式在每次循环迭代前执行，迭代表达式在每次循环体执行完成后执行。
For循环的执行阶段拆解
初始化阶段
初始化表达式会在循环第一次执行条件判断之前被求值，如果初始化表达式存在，它的执行结果会被忽略，主要作用是完成变量的声明和初始赋值。如果初始化部分使用let或者const声明变量，那么该变量会被绑定到循环的作用域中，每次迭代都会创建一个新的词法环境。
条件判断阶段
每次进入循环迭代前，都会先对条件表达式求值。如果条件表达式不存在，会被当作始终为true处理。如果条件表达式的结果不是布尔值，会被转换为布尔值再判断。如果结果为true，就执行循环体；如果结果为false，循环终止。
迭代执行阶段
循环体执行完成后，会执行迭代表达式，然后重新回到条件判断阶段，开始下一次迭代。迭代表达式的执行结果同样会被忽略，主要作用是更新循环相关的变量状态。
规范中的特殊逻辑说明
- 如果循环体是
var声明的变量，不会形成块级作用域，变量会提升到包含For循环的函数或者全局作用域中。 - 使用
break语句中断循环时，会直接跳过迭代表达式的执行，直接终止整个循环。 - 使用
continue语句跳过本次循环时，会先执行迭代表达式，再进入下一次条件判断。 - 初始化表达式中如果声明了变量，该变量的作用域仅存在于For循环的整个执行过程中，外部无法访问。
代码示例验证执行逻辑
下面的代码可以验证For循环的初始化、条件判断、迭代的执行顺序：
// 验证执行顺序
for (console.log("初始化阶段"); console.log("条件判断阶段") || true; console.log("迭代阶段")) {
console.log("循环体执行");
break; // 中断循环，不会执行迭代阶段
}
// 输出顺序：初始化阶段 -> 条件判断阶段 -> 循环体执行
再看一个变量作用域的示例：
for (let i = 0; i < 3; i++) {
setTimeout(() => {
console.log(i); // 每次迭代的i都是独立的，输出0 1 2
}, 0);
}
// 如果使用var声明i，输出会是3 3 3
常见误区提醒
For循环的条件表达式会在每次迭代前重新求值，所以如果在条件判断中调用函数，每次迭代都会执行该函数，需要注意性能影响。
另外，不要在迭代表达式中修改条件判断用到的变量时产生逻辑混乱，比如下面的情况很容易导致死循环：
let i = 0;
for (; i < 3; i++) {
i++; // 迭代时又自增，会导致循环次数不符合预期
console.log(i);
}
// 实际只会输出1 3，循环执行2次就终止
ECMAScriptFor循环JavaScript执行流程修改时间：2026-06-24 02:45:25