Solidity 中的映射是什么？它如何存储键值对？

了解 Solidity 中的映射

1. Solidity中的映射是一种引用类型，用于以键值对的形式存储数据，类似于其他编程语言中的哈希表或字典。它允许开发人员将唯一键与特定值关联起来，从而实现高效的查找和更新。

2. 声明映射的语法是mapping(keyType => valueType) ，其中 keyType 几乎可以是任何基本类型，例如 uint、地址或字节，但不能是数组或其他映射等引用类型。 valueType 可以是任何类型，包括结构体、数组，甚至其他映射。

3. 映射在合约内声明，通常用于维护状态变量。由于它们存储在存储中，因此它们的值在函数调用和事务中持续存在。

4. 映射的一个定义特征是它们不能迭代。没有内置机制来检索键或值列表。这种限制源于以太坊存储模型的工作方式——映射是为通过键而不是枚举来快速访问而设计的。

5. 创建映射时，所有可能的键均使用 valueType 的默认值进行初始化（例如，整数为 0，布尔值为 false）。这意味着访问不存在的键会返回默认值而不是抛出错误。

映射背后的存储机制

1. 映射不以传统的表格格式存储数据。相反，Solidity 使用 keccak256 哈希函数来动态计算存储槽。每个键都使用 keccak256 以及映射变量的存储槽位置进行哈希处理。

2. 对于位于存储槽n 的状态变量映射，与给定键关联的值存储在keccak256(key . slot)中，其中 '.'表示串联。这可确保每个键映射到存储中唯一的、确定性的位置。

3. 由于哈希函数是单向的，因此在计算上无法对已设置的密钥进行逆向工程。这导致无法迭代映射。

4. 嵌套映射遵循相同的原则。在像映射（地址=>映射（uint=>bool））这样的映射中，内部映射的槽是通过对外部键和外部映射的槽进行散列确定的，然后使用该结果作为内部键查找的基础。

5. 这种基于散列的存储布局使读取和写入操作的映射非常高效，这两种操作都在恒定时间内执行，而与条目数量无关。

智能合约的实际用例

1. 映射的一种常见用途是跟踪 ERC-20 代币中的用户余额。像mapping(address => uint256) private _balances这样的映射允许快速检索和更新任何钱包地址的代币持有量。

2. 访问控制系统通常使用映射来识别角色或权限。例如，mapping(address => bool) public isAdmin可以有效地验证地址是否具有管理权限。

3. 在去中心化交易所或 NFT 市场中，映射将订单 ID 或代币 ID 链接到结构化数据，例如价格、所有者或列表状态。这使得无需扫描大型数据集即可即时查找交易详细信息。

4. 映射还用于通过在函数执行期间标记地址来防止重入攻击。输入的简单映射（地址 => bool）私有可以充当锁定机制。

5. 由于其gas效率高的访问模式，当需要通过标识符频繁查找时，尤其是在高吞吐量协议中，映射比数组更受青睐。

常见问题解答

映射可以完全删除吗？是的，在映射上使用删除关键字会通过将每个写入的槽重置为其默认值来清除所有条目。但是，由于映射实际上是使用所有键的默认值进行初始化的，因此此操作仅影响显式分配的键。

是否可以从函数返回映射？不，映射不能直接从函数返回，因为它们不是 Solidity 中的有效返回类型。只能返回通过键访问的特定值。

字符串或动态数组可以用作映射键吗？字符串和动态字节数组不能用作映射键。仅允许固定大小的数据类型，例如 bytes32、uint 和地址。如果需要，字符串必须转换为固定大小的格式，例如 bytes32。

映射如何影响天然气成本？从具有未初始化键的映射中读取消耗的气体较少，因为它返回默认值而不修改存储。由于以太坊的状态增长成本规则，写入或更新值会产生更高的gas，特别是如果将零值更改为非零值。