深入浅出,以太坊智能合约返回值编码解析

返回值编码的基本原则

以太坊ABI对返回值的编码遵循以下基本原则：

1. 有序打包：如果函数返回多个值，这些值会按照它们在函数声明中出现的顺序依次打包。
2. 动态与静态类型：
   • 静态类型：其大小在编译时就是确定的，如uint256（32字节）、address（20字节）、bool（1字节）、int8等，静态类型的值直接编码为固定长度的字节数组。
   • 动态类型：其大小在运行时才能确定，如string、bytes、bytes[]（字节数组）、uint[]（整数数组）以及所有复杂类型（如结构体、数组），动态类型的值在编码时会有特殊的偏移量标记。
3. 偏移量与数据分离：对于包含动态类型或多返回值的复杂情况，编码数据通常分为两部分：
   • 头部（Offsets）：一个或多个32字节的区块，每个区块存储一个指向对应动态类型数据或后续静态数据起始位置的偏移量（相对于数据起始位置的偏移）。
   • 数据（Data）：实际的数据内容，按照一定顺序排列。

简单返回值编码示例

让我们通过几个简单的Solidity函数示例来理解返回值的编码过程。

示例1：单个静态类型返回值

function getSingleStatic() public pure returns (uint256) {
    return 42;
}

• 编码解释：uint256是静态类型，固定32字节。
• 编码结果：0x000000000000000000000000000000000000000000000000000000000000002a
  • 这是42的32字节十六进制表示，高位在前（大端序）。

示例2：多个静态类型返回值

function getMultipleStatics() public pure returns (uint256 a, bool b, address c) {
    a = 100;
    b = true;
    c = 0x1234567890123456789012345678901234567890;
}

• 编码解释：
  • uint256 a：32字节
  • bool b：1字节，但会填充到32字节
  • address c：20字节，同样填充到32字节
  • 总共：32 + 32 + 32 = 96字节。
• 编码结果：
  • a (100): 0x0000000000000000000000000000000000000000000000000000000000000064
  • b (true): 0x0000000000000000000000000000000000000000000000000000000000000001
  • c (地址): 0x0000000000000000000000001234567890123456789012345678901234567890
  • 拼接后：0x000000000000000000000000000000000000000000000000000000000000006400000000000000000000000000000000000000000000000000000000000000010000000000000000000000001234567890123456789012345678901234567890

示例3：包含动态类型返回值

function getDynamic() public pure returns (string memory, uint256[] memory) {
    return ("hello", new uint256[](2){1, 2});
}

• 编码解释：
  • 返回两个值：string memory（动态）和uint256[] memory（动态）。
  • 编码结构：
    1. 第一个32字节：指向第一个动态类型（string）数据的偏移量。
    2. 第二个32字节：指向第二个动态类型（uint256[]）数据的偏移量。
    3. 第一个动态类型数据（string "hello"）：
       • 前32字节：字符串的字节长度（"hello"的UTF-8编码是5字节，所以是0x0000000000000000000000000000000000000000000000000000000000000005）。
       • 接下来的N字节：字符串的实际内容（0x68656c6c6f，"hello"的十六进制），不足32字节补0。
    4. 第二个动态类型数据（uint256[] [1,2]）：
       • 前32字节：数组的长度（2，所以是0x0000000000000000000000000000000000000000000000000000000000000002）。
       • 接下来的32字节：第一个元素1。
       • 再接下来的32字节：第二个元素2。
• 编码结果（简化示意，实际计算需精确）：
  • 偏移量1（指向string数据）：假设数据从第64字节开始，偏移量为0x0000000000000000000000000000000000000000000000000000000000000040（64的十六进制）。
  • 偏移量2（指向array数据）：假设array数据从第96字节开始，偏移量为0x0000000000000000000000000000000000000000000000000000000000000060（96的十六进制）。
  • String数据：
    • 长度：0x0000000000000000000000000000000000000000000000000000000000000005
    • 内容：0x68656c6c6f0000000000000000000000000000000000000000000000000000
  • Array数据：
    • 长度：0x0000000000000000000000000000000000000000000000000000000000000002
    • 元素1：0x0000000000000000000000000000000000000000000000000000000000000001
    • 元素2：0x0000000000000000000000000000000000000000000000000000000000000002
  • 完整编码（偏移量部分 + 数据部分）： `0x000000000000000000000000000000000000000000000000000000000000004000000000000000000000000000000000000000000000000000000000000006000000000000000000000000000000000000000000000000000000000000000500000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000