使用内联汇编staticcall返回bytes数据遇异常：返回0x0或回退

一、staticcall返回0x0的核心问题 #

你的内联汇编代码存在两个关键错误：

1. 输入长度硬编码错误：staticcall的第四个参数是输入数据的字节长度，你写死为4，但实际data是完整的函数签名+参数的bytes，正确长度应该从data的内存头读取（bytes memory的前32字节存储长度），即mload(data)。
2. 返回内存未正确初始化：result是未分配内存的bytes变量，直接传入staticcall无法正确存储返回值。正确流程是先执行staticcall，通过returndatasize获取返回数据的长度，再分配对应内存后用returndatacopy复制数据到result。

二、修复后的函数代码 #

function getUintAnswer(address _contractAddress, bytes memory data) public view returns (bytes memory result) {
    assembly {
        // 执行staticcall，输入长度用data的实际长度，输出先不指定（用0占位）
        let success := staticcall(
            gas(), // 用剩余gas，比硬编码64000更灵活省gas
            _contractAddress,
            add(data, 32), // bytes内存起始是长度，实际数据从+32开始
            mload(data),   // 输入数据的实际长度
            0, 0 // 先不指定输出位置和长度，后续用returndatacopy处理
        )

        // 调用失败则回滚
        if iszero(success) {
            revert(0, 0)
        }

        // 获取返回数据的长度
        let returnSize := returndatasize()
        // 分配内存存储返回结果：先预留内存，result指向分配的起始位置
        result := mload(0x40)
        // 更新内存指针（0x40是空闲内存指针）
        mstore(0x40, add(result, returnSize))
        // 复制返回数据到result
        returndatacopy(result, 0, returnSize)
        // 写入result的长度（bytes内存的前32字节是长度）
        mstore(result, returnSize)
    }
}

三、提取第二个int256转uint256的省gas方案 #

返回的bytes数据中，第一个int256从第33字节开始（bytes长度占32字节），第二个int256则从第65字节开始（32+32）。直接通过内存读取转换，避免多余的bytes操作：

方案一：在原函数内直接返回目标值（最省gas） #

如果不需要完整的bytes结果，直接在汇编里提取，避免内存复制整个返回数据：

function getSecondUint(address _contractAddress, bytes memory data) public view returns (uint256) {
    assembly {
        let success := staticcall(gas(), _contractAddress, add(data, 32), mload(data), 0, 0)
        if iszero(success) { revert(0, 0) }

        // 确保返回数据至少包含2个int256（即至少64字节）
        if lt(returndatasize(), 64) { revert(0, 0) }

        // 复制第二个int256到内存临时位置，转成uint返回
        let temp := mload(0x40)
        returndatacopy(temp, 32, 32) // 从偏移32的位置复制32字节（第二个int256）
        return(temp, 32) // 返回该uint256
    }
}

方案二：从已获取的bytes结果中提取 #

如果需要保留完整bytes结果，再提取目标值：

function extractSecondUint(bytes memory result) public pure returns (uint256) {
    require(result.length >= 64, "Insufficient data");
    assembly {
        // 第二个int256的起始位置：result + 32（长度） + 32（第一个int256）
        return(add(result, 64), 32)
    }
}

关键优化点说明 #

• 用gas()代替硬编码gas值，既灵活又避免浪费或gas不足。
• 直接操作内存提取目标值，跳过完整bytes的内存复制，大幅节省gas。
• 检查返回数据长度，避免读取越界导致的回滚。

内容的提问来源于stack exchange，提问作者Matt Jaf