调用带返回值的Solidity合约函数时交易失败

我来帮你分析这个跨合约调用的异常问题，你遇到的情况是Bar合约调用Foo的test()（带返回值）时交易失败，但调用test2()（无返回值）成功，核心原因和Solidity函数的状态修饰符、测试环境的执行逻辑有关。

问题根源 #

你的Foo.test()函数定义如下：

function test() returns (uint) { return 1; }

在Solidity 0.4.x版本中，没有标记view修饰符的函数会被默认视为可修改状态的函数——哪怕它实际没有修改任何合约状态。当Bar合约调用这个函数时，你使用的eth-tester/pyethereum模拟测试环境在gas估计或执行阶段会触发异常；而无返回值的test2()因为没有返回值处理的额外逻辑，所以能正常执行。

另外，调用带返回值的函数但不接收返回值，在这类模拟环境中也可能触发隐性异常（虽然Solidity编译器允许这种写法，但测试环境的执行逻辑会更严格）。

解决方案 #

你可以通过以下两种方式修复这个问题：

方案1：给test()添加view修饰符

因为test()只是返回固定值，完全符合view函数的定义（只读、不修改状态），添加修饰符后测试环境会正确识别它的属性：

function test() view returns (uint) { return 1; }

方案2：在Bar合约中显式接收test()的返回值

如果你不想修改Foo合约的代码，可以在调用时接收返回值，避免测试环境的执行异常：

function run() {
    Foo foo = Foo(bar_address);
    uint result = foo.test(); // 显式接收返回值
}

修改后的完整代码示例 #

版本1：添加view修饰符的Foo.sol

pragma solidity ^0.4.0;
import "./Bar.sol";

contract Foo {
    Bar public bar;

    function Foo(){
        bar = new Bar();
    }

    function test() view returns (uint) {
        return 1;
    }

    function test2() {}

    function execute() {
        bar.run();
    }
}

版本2：接收返回值的Bar.sol（适配未修改的Foo合约）

pragma solidity ^0.4.0;
import "./Foo.sol";

contract Bar {
    address bar_address;

    function Bar(){
        bar_address = msg.sender;
    }

    function run() {
        Foo foo = Foo(bar_address);
        uint result = foo.test(); // 显式接收返回值
        // foo.test2();
    }
}

修复原理 #

• 添加view修饰符后，Solidity编译器会明确标记该函数为只读操作，测试环境在gas估计和执行时会正确处理这类调用，不会误判为状态修改操作。
• 显式接收返回值则符合测试环境对跨合约调用的执行逻辑要求，避免因未处理返回值导致的交易失败。

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