Solidity合约执行回滚问题排查：编译正常但交易失败求助

问题情况 #

我正在学习Solidity，编写的代码可正常编译，且与题目给出的解决方案一致，但执行时交易不断回滚且无输出。题目要求：将amount数组对应索引的金额转账至to数组同索引的地址中。执行时出现错误信息：

‘The transaction has been reverted to the initial state. Note: The called function should be payable if you send value and the value you send should be less than your current balance.’

合约代码如下：

//SPDX-License-Identifier: UNLICENSED
pragma solidity >=0.5.0 <0.9.0;

contract Day4 {
    address owner;

    constructor() {
        owner = msg.sender;
    }

    function send(address payable[] memory to, uint256[] memory amount)
        public
        payable
        ownerOnly
    {
        require(to.length == amount.length, "to must be same length as amount");
        for (uint256 i = 0; i < to.length; i++) {
            to[i].transfer(amount[i]); //to array  - 0x00 0x01 0x02
            //amount array - 10 20 30
        }
    }

    modifier ownerOnly() {
        require(msg.sender == owner,"You are not the owner");
        _;
    }
}

错误原因及解决方法 #

• 合约余额不足：transfer()方法是从合约地址转出ETH，而非调用者的地址。当前代码中send函数标记为payable仅允许调用者向合约转ETH，但如果调用时未转入足够金额，或合约本身没有余额，执行transfer就会因余额不足触发回滚。
• 调用时未附带足额ETH：调用send函数时，必须在交易中附带与amount数组总和相等的ETH。比如示例中要转的总金额是60 wei，调用时就需要向合约转入至少60 wei。
• 建议增加总金额校验：在函数开头添加逻辑，校验调用时传入的ETH总额与需要转账的总金额一致，避免金额不足的问题：

  function send(address payable[] memory to, uint256[] memory amount)
        public
        payable
        ownerOnly
    {
        require(to.length == amount.length, "to must be same length as amount");
        // 新增总金额校验
        uint256 totalAmount;
        for (uint256 i = 0; i < amount.length; i++) {
            totalAmount += amount[i];
        }
        require(msg.value == totalAmount, "Sent value doesn't match total transfer amount");
        
        for (uint256 i = 0; i < to.length; i++) {
            to[i].transfer(amount[i]);
        }
    }
  

• 注意transfer的gas限制：Solidity中transfer固定发送2300 gas，若接收地址是合约且需要更多gas处理回调（比如触发receive或fallback函数），会导致转账失败。这种情况可以改用call方法，并处理返回值（需注意重入风险）：

  (bool success, ) = to[i].call{value: amount[i]}("");
  require(success, "Transfer failed");
  

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