在以太坊智能合约开发中，处理数据是核心操作之一，字节数组（bytes）是一种常见的数据类型，用于存储原始二进制数据，与许多编程语言中的数组不同，以太坊 Solidity 中的 bytes 类型本身是动态大小的，这意味着它占用的存储空间会根据实际存储的数据量变化，但在某些场景下，我们需要固定长度的字节数组，例如存储哈希值（如 keccak256 的 32 字节输出）、加密密钥、地址或其他特定格式的固定长度数据，Solidity 为此提供了专门的类型：bytes1 到 bytes32。

本文将详细介绍以太坊（Solidity）中如何定义和使用固定长度的字节数组。

什么是固定字节数组

固定字节数组是指数组长度在编译时就已经确定，并且在合约的整个生命周期内保持不变的字节数组，Solidity 提供了从 bytes1（1 字节，8 位）到 bytes32（32 字节，256 位）共 12 种固定长度的字节数组类型。

与动态字节数组 bytes 相比,固定字节数组具有以下特点：

  1. 固定大小：一旦声明,其长度不可更改。
  2. 存储效率：由于大小固定，编译器可以更精确地计算存储和内存开销，通常比动态字节数组更节省 gas。
  3. 类型安全：编译器会在编译时进行类型检查,确保不会发生长度不匹配等错误。
  4. 直接操作：可以像操作整数一样对固定字节数组的单个字节或整体进行位运算和比较。

如何定义和声明固定字节数组

在 Solidity 中，声明固定字节数组非常简单，只需指定所需的长度即可,语法如下：

// 声明一个长度为 4 的字节数组
bytes4 public myBytes4 = "0xabcd"; // 或 hex"abcd"
// 声明一个长度为 32 的字节数组，通常用于存储哈希值
bytes32 public myHash = keccak256(abi.encodePacked("hello"));
// 声明一个长度为 20 的字节数组，虽然地址类型更常用，但 bytes20 也可用
bytes20 public someBytes20;

初始化方式：

  1. 字面量赋值：

    • 十六进制字面量：bytes4 myBytes = 0x12345678; 或 bytes4 myBytes = hex"12345678";
    • 字符串字面量（会被自动截断或填充以匹配数组长度）：bytes4 myBytes = "abcd"; // 存储的是 ASCII 码对应的十六进制 0x61626364
    • 注意：字符串字面量会转换为对应的 ASCII 字节的十六进制表示。"ab" 会被转换为 0x6162。

  2. 通过运算结果赋值：

    • keccak256 哈希函数总是返回 bytes32 类型。
      bytes32 hash = keccak256("Solidity");

  3. 通过类型转换赋值：

    • 可以从其他固定字节数组或特定类型转换（需注意长度和兼容性）。
      address addr = 0x1234567890123456789012345678901234567890;
bytes20 addrBytes20 = bytes20(addr); // 将地址转换为 bytes20

固定字节数组的常用操作和方法

固定字节数组支持多种操作，类似于无符号整数（uint）的操作,因为它们在底层都是二进制数据。

  1. 访问和修改元素： 可以通过索引访问和修改单个字节（索引从 0 开始）：

    bytes4 myBytes = 0x12345678;
uint8 firstByte = uint8(myBytes[0]); // 获取第一个字节，值为 0x12
myBytes[1] = 0xff; // 修改第二个字节为 0xff

  2. 长度获取： 固定字节数组的长度是固定的，可以通过 .length 属性获取（虽然这个值是常量）：

    bytes4 myBytes = 0x1234;
uint len = myBytes.length; // len 的值恒为 4

  3. 比较操作： 固定字节数组可以直接使用 , , <=, >=, <, > 进行比较（按字典序/字节序比较）。

    bytes4 a = 0x1234;
bytes4 b = 0x5678;
bool isEqual = (a == b); // false

  4. 位操作： 支持位与 (&), 位或 (), 位异或 (^), 位非 (), 左移 (<<), 右移 (>>) 等操作。

    bytes4 a = 0x1234;
bytes4 b = 0x5678;
bytes4 c = a & b; // 按位与

  5. 类型转换和转换函数：

    • 可以转换为 uint（注意大小匹配，如 bytes32 可以转换为 uint256，bytes8 可以转换为 uint64 等）。
      bytes4 myBytes = 0x12345678;
uint256 myUint = uint256(myBytes); // 转换为 uint256
    • 可以转换为其他固定长度的字节数组（长度需兼容，即目标长度不能小于源长度，否则会截断）。随机配图