6.5.3 The for statement 3

书籍：《ISO/IEC 14882 2014》

说明：以上内容大部分来自腾讯元宝。

如何理解以下内容

3 If the for-init-statement is a declaration, the scope of the name(s) declared extends to the end of the for statement. 

[Example:
int i = 42;
int a[10];
for (int i = 0; i < 10; i++)
a[i] = i;
int j = i; // j = 42
— end example ]

一、作用域规则

1. ​​标准规定​​

• ​​作用域范围​​：在for循环的初始化语句中声明的变量，其作用域​​仅限于for循环语句内部​​（包括条件判断和循环体），循环结束后变量自动销毁。

  int i = 42;
  for (int i = 0; i < 10; i++) { // 循环内的i是局部变量
      // ...
  }
  // 此处i仍为42，循环内的i已销毁

2. ​​编译器差异​​

• ​​VC6及早期版本​​：未完全遵循标准，初始化变量作用域扩展到for所在的最内层代码块（如函数或大括号块）。

  // VC6中以下代码合法（非标准行为）
  for (int i = 0; i < 5; i++) {
      // ...
  }
  cout << i; // 编译通过，但i的值未定义（可能为0或残留值）

• ​​标准兼容性​​：通过编译器选项（如VC的/Zc:forScope）可强制遵循标准行为。

---

二、执行流程与变量生命周期

1. ​​代码示例解析​​

int i = 42;       // 外层i，作用域全局或函数内
int a[10] = {0};
for (int i = 0; i < 10; i++) { // 循环内i，作用域仅限于循环
    a[i] = i;      // 使用循环内i
}
int j = i;        // j = 42（外层i未被修改）

• ​​变量隐藏​​：循环内声明的i会隐藏外层同名变量i。
• ​​生命周期隔离​​：循环内i在每次迭代中重新构造，循环结束后销毁。

2. ​​作用域边界​​

• ​​起始点​​：变量声明语句int i = 0处。
• ​​结束点​​：for循环语句的右花括号}或分号;（若循环体为空）。

---

三、设计意图与实际应用

1. ​​避免变量污染​​

• ​​作用域限制​​：防止循环变量意外影响外部代码。

  for (int k = 0; k < 5; k++) { /* ... */ }
  // k在此处不可访问，避免与后续代码冲突

2. ​​资源管理​​

• ​​自动释放​​：循环变量在作用域结束时自动销毁，适用于临时资源（如锁、文件句柄）。

  for (LockGuard lock(mutex); condition; update()) {
      // 锁在循环结束后自动释放
  }

3. ​​与C99的对比​​

• ​​C99特性​​：允许在for初始化语句中声明变量，但作用域扩展到包含该for的最内层块。
• ​​C++标准​​：严格限制变量作用域至for循环结束，更安全。

---

四、常见问题与注意事项

1. ​​变量隐藏风险​​

• ​​外层变量覆盖​​：若循环内外同名，内层变量会隐藏外层变量。

  int x = 10;
  for (int x = 0; x < 5; x++) { // 隐藏外层x
      cout << x; // 输出0-4
  }
  cout << x; // 输出10（外层x未被修改）

2. ​​循环变量修改​​

• ​​禁止在条件中修改​​：若循环变量在条件表达式中被修改，可能导致逻辑错误。

  for (int i = 0; i < 10; i++) {
      if (i == 5) i = 3; // 跳过i=5的迭代
      cout<< i << " ";  // 输出0 1 2 3 4 5 6 7 8 9（i=5被重置为3）
  }

---

五、总结

for循环中初始化声明的作用域规则核心在于：

1. ​​作用域隔离​​：确保循环变量仅存活于循环内部，避免命名冲突。
2. ​​生命周期控制​​：变量在循环结束后自动销毁，减少内存泄漏风险。
3. ​​标准兼容性​​：遵循C++标准可提高代码可移植性。

​​最佳实践​​：

• 使用大括号明确循环体范围（即使循环体为空）。
• 避免在循环内外使用同名变量。
• 在需要跨循环使用的变量时，应在循环外部声明。