Solidity中for循环的increment部分作用及与循环体的区别

先给你理清楚for循环的完整执行流程，你就能明白increment的角色了：

1. 首先执行initialization（初始化），这部分只会在循环开始时跑一次；
2. 检查condition（条件），如果结果为true，就执行花括号{}里的循环体代码；
3. 循环体执行完毕后，自动执行**increment（变量更新）**部分；
4. 回到步骤2，重新检查条件，直到条件为false，循环结束。

increment部分的具体作用 #

increment是专门用来更新循环控制变量的步骤，比如常见的i++（i自增1）、i -= 1（i自减1）这类操作。它的核心目的是让循环控制变量朝着“让条件变为false”的方向变化，避免出现无限循环。

举个Solidity的简单例子：

function countTo5() public pure returns (uint[] memory) {
    uint[] memory nums = new uint[](5);
    // 初始化i=0，条件i<5，每次循环后i自增1
    for (uint i = 0; i < 5; i++) {
        nums[i] = i; // 循环体：把i的值存入数组
    }
    return nums; // 返回[0,1,2,3,4]
}

这个循环里，i++就是increment，每次循环体存完值后，i自动加1，直到i=5时，条件i<5不成立，循环停止。

increment与循环体代码的区别 #

1. 执行时机不同 #

increment是循环体执行完成后自动触发的步骤，不需要你在循环体里手动调用；而如果把变量更新的代码写在循环体里，它的执行时机完全取决于你写的位置（循环体开头、中间、结尾）。

比如下面这个错误的例子，把i++写在循环体开头：

function wrongCount() public pure returns (uint[] memory) {
    uint[] memory nums = new uint[](5);
    uint i = 0;
    for (; i < 5; ) {
        i++; // 先自增再存值
        nums[i-1] = i; // 最终数组会是[1,2,3,4,5]，和预期的[0,1,2,3,4]不一样
    }
    return nums;
}

这里的变量更新时机和用increment的情况完全相反，导致结果出错。

2. 语法角色与可读性不同 #

increment是for循环语法的固定组成部分，专门负责循环的迭代控制，读代码的人一眼就能看出这是控制循环次数的变量更新；而循环体内的更新只是普通语句，可能用于其他逻辑，不一定是控制循环，可读性会差很多——别人需要在循环体里找半天，才知道变量是在哪里更新的。

3. 与break/continue的交互不同 #

• break（退出循环）：如果循环体里用了break，increment部分不会执行；但如果变量更新代码写在break之前，就会执行，写在break之后则不会。
• continue（跳过循环体剩余部分）：continue会直接跳到increment步骤，所以increment仍然会执行；但如果变量更新代码写在continue之后，就会被跳过，甚至可能导致无限循环。

比如这个continue的反例：

function infiniteLoop() public pure {
    uint i = 0;
    for (; i < 5; ) {
        if (i == 2) {
            continue; // 跳过循环体剩余部分，包括i++
        }
        i++; // 这行在continue之后，i=2时永远不会执行
    }
}

这个循环会无限运行，因为i=2时触发continue，i++永远没机会执行，条件i<5永远成立。但如果用increment的写法：

function normalLoop() public pure {
    for (uint i = 0; i < 5; i++) {
        if (i == 2) {
            continue; // 跳过循环体，但i++仍然会执行
        }
    }
}

这里i会正常自增到5，循环正常结束。

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