如何绕过Solidity汇编return阻止后续函数执行的问题

核心问题根源 #

当通过内部调用（包括继承后的直接调用）执行带有汇编return opcode的函数时，return会直接终止整个EVM执行流程，导致调用后的代码（比如require、return）完全不可达。而外部调用（通过合约地址的call/staticcall）会创建独立的执行上下文，子上下文中的return仅会终止自身执行，并将返回数据传递给主上下文，主合约代码可以继续执行。

可行解决方案 #

方案1：使用外部调用+手动解析返回值

如果无法修改Bar合约的代码，必须通过外部调用的方式获取返回值，同时手动处理返回数据：

// 方式一：传入Bar合约实例
contract Foo {
    Bar immutable bar;

    constructor(Bar _bar) {
        bar = _bar;
    }

    function foo() public view returns(bool) {
        // 用staticcall调用pure/view函数，避免修改状态
        (bool success, bytes memory retData) = address(bar).staticcall(
            abi.encodeWithSignature("blockingFunction()")
        );
        require(success, "Call to blockingFunction failed");
        
        // 解析返回的bool值（ABI中bool以32字节存储）
        bool result = abi.decode(retData, (bool));
        require(result, "msg");
        return result;
    }
}

// 方式二：通过this调用（仅当Foo继承Bar时可用）
contract Foo is Bar {
    function foo() public pure returns(bool) {
        (bool success, bytes memory retData) = address(this).staticcall(
            abi.encodeWithSignature("blockingFunction()")
        );
        require(success, "Call failed");
        
        bool result = abi.decode(retData, (bool));
        require(result, "msg");
        return result;
    }
}

方案2：修复原函数的汇编逻辑（如果有权限修改）

将原函数中的汇编return opcode替换为符合Solidity内部函数返回约定的逻辑，避免直接终止整个执行：

contract Bar {
    function blockingFunction() public pure returns (bool) {
        bool result;
        assembly {
            // 执行你的业务逻辑，计算结果（示例中直接设为true）
            let res := 0x1
            // 将结果赋值给Solidity变量，而非直接用return opcode终止执行
            result := res
        }
        // 用Solidity原生return语句返回，确保函数正常结束，不终止整个合约执行
        return result;
    }
}

// 此时Foo合约可以正常内部调用
contract Foo is Bar {
    function foo() public pure returns(bool) {
        bool result = blockingFunction();
        require(result, "msg");
        return result;
    }
}

关于测试网问题的排查提示 #

如果外部调用在测试网仍出现异常，建议排查：

• 原函数blockingFunction的汇编代码是否正确将bool值（32字节格式，0x00为false，0x01为true）写入内存0x0到0x20区域；
• 测试网中合约地址是否正确，调用权限是否正常；
• staticcall的返回数据是否符合ABI规范，避免解析错误。

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