单分号for循环含义及ECMAScript规范第三种for循环示例解析

1. 仅包含一个分号的for循环是什么含义？ #

在ECMAScript中，仅含一个分号的for循环属于规范定义的合法语法变体，核心是将循环的多个逻辑部分通过单个分号分隔，常见两种场景：

• 场景1：词法声明结合in表达式
  结构为for (let/const 变量 in 对象; 条件表达式) { ... }，单个分号分隔“词法声明+遍历逻辑”与“条件判断”，增量部分可省略。循环时先遍历对象的可枚举属性并赋值给变量，再判断条件表达式，为真则执行循环体，之后直接进入下一轮遍历。
• 场景2：合并条件判断与增量
  结构为for (初始化语句; 条件+增量表达式) { ... }，比如for(let i=0; i<10 && i++) { ... }，单个分号分隔初始化与合并后的表达式。循环时先执行初始化，再计算合并表达式：若条件成立则执行增量，同时进入循环体；若条件不成立则终止循环，无单独的增量步骤。

2. ECMAScript规范中第三种for循环的示例与解释 #

根据ECMAScript规范定义，第三种for循环语法为：

for ( 词法声明[~In, ?Yield, ?Await] 可选表达式[+In, ?Yield, ?Await] ; 可选表达式[+In, ?Yield, ?Await] ) 语句

示例代码 #

const product = { id: 101, name: "Laptop", price: 5999 };
// 遍历属性，直到遇到price属性时停止
for (let key in product; key !== "price") {
  console.log(`${key}: ${product[key]}`);
}

含义解释 #

1. 词法声明+遍历部分：let key in product是带in表达式的let声明，每次循环会自动获取product的下一个可枚举属性名，赋值给key；
2. 条件判断部分：分号后的key !== "price"是循环的终止条件，每次执行循环体前会检查该表达式，当key等于"price"时，条件为假，循环终止；
3. 增量部分：此示例中省略了增量表达式，因此循环体执行完毕后，直接进入下一轮属性遍历；
4. 整个循环会输出id和name对应的属性值，遇到price属性时停止。

另一种省略条件判断的变体示例：

let total = 0;
for (let num of [1,2,3,4]; ; total += num) {
  console.log(num);
  if (total >= 10) break;
}

注：这里的let num of [1,2,3,4]是带of表达式的词法声明，属于第三种语法的扩展场景，循环会遍历数组元素，直到total累加至10时通过break终止。

内容的提问来源于stack exchange，提问作者EzioMercer