在我们用solidity的for循环时，大概是这样用的：

for (uint256 i = 0; i < length; ++i) {
        ...
}

其实在新版本的solidity中，由于uint类型在进行运算时会自动检测溢出，所以在for循环中，有一个改进的写法：

for (uint256 i = 0; i < length; ) {
        ...
        unchecked {
            ++i
        }
}

就是将++i从for循环表达式中移除，然后在循环体末尾加上unchecked关键词然后写上++i。因为for循环中已经有了i < length这个数值范围检测，所以没有必要每次都做溢出检测。这样会节约很多gas，我们将通过一个例子来说明：

// SPDX-License-Identifier: GPL-3.0

pragma solidity ^0.8.10;

contract Test {
    uint256[] arr = [1, 2, 3, 4, 5, 6, 7];
    uint256[] arrCopy;

    constructor() {
        arrCopy = new uint256[](arr.length);
    }

    function getArrCopy() external view returns(uint256[] memory) {
        return arrCopy;
    }

    function unset() external {
        arrCopy = new uint256[](arr.length);
    }

    function origin() external {
        uint256 length = arr.length;
        arrCopy = new uint256[](length);
        for (uint256 i = 0; i < length; ++i) {
            arrCopy[i] = arr[i];
        }
    }

    function optimize() external {
        uint256 length = arr.length;
        arrCopy = new uint256[](length);
        for (uint256 i = 0; i < length; ) {
            arrCopy[i] = arr[i];
            unchecked {
                ++i;
            }
        }
    }
}

这个合约就是将arr中的值拷贝到arrCopy中来。然后origin方法就是用最普通的for循环来写入，optimize就是用改进后用unchecked关键词的for循环来写入。gas消耗如下：

节约了比较细微的gas量。
这里的数组长度只有7，所以结果上可能不太明显；如果数组长度够长的话，应该能节约更多的gas。