Unchecked

We know that before the Solidity version 0.8, it was necessary to manually import the SafeMath library to ensure data safety and avoid overflow, thereby preventing overflow attacks.

After Solidity version 0.8, Solidity performs a check every time there is a data change to determine whether there is an overflow, thus deciding whether to throw an exception.

This also means that the check incurs additional gas costs. By using unchecked wisely, it is possible to effectively remove the intermediate checking step, thus achieving the purpose of saving gas.

Learn more: Checked or Unchecked Arithmetic

代码演示

Below, we demonstrate using both a conventional for-loop and an unchecked for-loop. 请注意，由于 iterations 已经是 uint256 类型，因此不会有溢出问题。

contract UncheckedExample {
    // gas: 1910309 
    function conventionalForLoop(uint256 iterations) external pure returns (uint256 result) {
        for (uint256 index = 0; index < iterations; index++) {
            result = index + 1;
        }
    }

    // gas: 570287 
    function uncheckedForLoop(uint256 iterations) external pure returns (uint256 result) {
        for (uint256 index = 0; index < iterations; ) {
            unchecked {
                result = index + 1;
                index++;
            }
        }
    }
}

关于 gas 优化的建议：

🌟 In situations where security is controllable, the unchecked block can be used to save gas.