Solidity 存储和内存管理:深入理解与高效优化
在 Solidity 中,存储和内存管理是编写高效智能合约的关键组成部分。合约执行的每一步操作都可能涉及到数据的存储和读取,而这些操作对 gas 的消耗有很大影响。因此,理解 Solidity 的存储模型以及如何优化数据的管理对于合约的安全性、性能和成本至关重要。
1. Solidity 中的存储模型概述
Solidity 的存储模型主要由三个关键概念组成:存储(storage)、内存(memory) 和 数据传递(calldata)。这三者负责智能合约中的数据存储与管理,它们有不同的用途和特性,对 gas 的消耗也不同。
1.1 存储(storage)
storage 是 Solidity 中持久化的数据存储位置。所有在合约中定义的状态变量(即合约的成员变量)都存储在 storage 中。这意味着即使合约执行结束或区块链状态发生变化,storage 中的数据依然保持不变,直到合约显式修改它。
- 永久存储:状态变量存储在
storage中,数据不会在函数执行完毕后丢失。 - 较高的 gas 消耗:因为存储在区块链的永久存储中,读写操作会消耗较多的 gas,特别是写操作。
示例:
contract StorageExample {uint256 public data; // 存储在 storage 中的状态变量function updateData(uint256 _data) public {data = _data; // 修改 storage 中的数据,消耗较多 gas}
}
1.2 内存(memory)
memory 是用于临时存储数据的非持久化存储区域。函数调用时,局部变量、函数参数等可以存储在 memory 中。memory 中的数据只在函数执行期间存在,函数返回后数据会被清除。
- 临时存储:
memory中的数据不会在函数执行结束后保留。 - 相对较低的 gas 消耗:相较于
storage,memory的读写操作消耗较少的 gas。
示例:
contract MemoryExample {function process(uint256 _input) public pure returns (uint256) {uint256 temp = _input * 2; // 临时存储在 memory 中return temp; // 函数执行完毕后,temp 将被清除}
}
1.3 数据传递(calldata)
calldata 是一个特殊的存储区域,用于存储函数的外部调用参数。calldata 是不可修改的(只读),而且 gas 消耗更低,因此常用于处理外部输入的数据。
- 只读存储:
calldata中的数据不能被修改,通常用于传递外部函数调用参数。 - 最低的 gas 消耗:由于它的只读属性,
calldata的读写操作 gas 消耗最低。
示例:
contract CalldataExample {function processCalldata(uint256[] calldata data) public pure returns (uint256) {return data[0] * 2; // 只读访问 calldata 中的数据}
}
2. 存储、内存和数据传递的区别
2.1 生命周期
- 存储(storage):与合约的生命周期一致,数据在合约的整个生命周期内都保留,直到显式修改或删除。
- 内存(memory):仅在函数调用期间存在,函数结束后内存会自动释放,数据不再保留。
- 数据传递(calldata):函数调用期间的只读数据存储,用于外部合约调用参数传递,函数执行完毕后数据消失。
2.2 可读写性
- 存储(storage):可读可写,适用于需要长期存储和操作的数据。
- 内存(memory):可读可写,适用于临时数据处理,但不能用于永久存储。
- 数据传递(calldata):只读,适用于只需要读取外部传递的数据场景。
2.3 gas 消耗
- 存储(storage):写操作消耗最高,读操作次之,主要用于需要长期保存数据的场景。
- 内存(memory):读写操作的 gas 消耗比
storage低,适合函数内部临时处理数据。 - 数据传递(calldata):消耗最少,特别适合只需要传递和读取外部数据的场景。
3. 如何高效管理数据?
3.1 优化存储访问
- 减少
storage写操作:由于写入storage的操作非常昂贵,应该尽可能减少不必要的storage写入。可以通过局部变量临时保存值,并在所有计算完成后再更新storage。
示例:
contract OptimizedStorage {uint256 public data;function updateData(uint256 _input) public {uint256 temp = data; // 读取 storage 到局部变量temp += _input; // 在内存中处理data = temp; // 完成处理后再更新 storage}
}
在上面的代码中,我们将 storage 中的 data 读取到 memory 中,并在所有处理完成后再写回 storage。这样减少了多次 storage 写入,从而节省 gas。
3.2 使用 calldata 传递数据
如果函数参数是外部传入的数组或字符串,尽量使用 calldata,因为它的 gas 消耗最少。如果数据只用于读取,而不需要修改,calldata 是最佳选择。
示例:
contract UseCalldata {function sumArray(uint256[] calldata data) public pure returns (uint256) {uint256 sum = 0;for (uint256 i = 0; i < data.length; i++) {sum += data[i]; // 只读访问 calldata 数据}return sum;}
}
3.3 合适的数据类型选择
Solidity 中不同的数据类型占用的存储空间不同,选择合适的数据类型可以节省存储空间。例如,尽量使用 uint8、uint16 等小类型代替 uint256,如果数据范围允许的话。
3.4 减少复杂数据结构的存储
复杂的数据结构(如数组、映射等)在 storage 中占用更多的存储空间并且消耗更多的 gas。在设计合约时,应尽量减少复杂数据结构的使用,或者将其临时保存在 memory 中处理。
4. 存储、内存和数据传递的常见误区
4.1 将数组保存在 storage 中
将数组保存在 storage 中并进行频繁操作是一个常见的低效操作。数组的长度会影响读取、修改等操作的 gas 消耗,尤其是对于大数组,频繁操作会显著增加成本。因此,建议将数组数据尽量在 memory 中处理,并在必要时再将结果写回 storage。
4.2 不当的 calldata 使用
虽然 calldata 消耗最低,但它只能用于外部调用的参数。如果尝试在函数内部创建或修改 calldata,编译器会报错。因此,calldata 只能用于只读场景,开发者需要清楚它的限制。
5. 总结
理解 Solidity 中的存储模型和数据管理对于优化合约性能和降低 gas 成本至关重要。存储(storage)用于持久化数据,操作消耗较高;内存(memory)适用于临时数据处理,消耗较低;而数据传递(calldata)是用于函数参数的高效只读存储。为了编写高效的合约,开发者应根据具体需求合理选择存储区域,并尽量减少不必要的 storage 写操作。
相关文章:
Solidity 存储和内存管理:深入理解与高效优化
在 Solidity 中,存储和内存管理是编写高效智能合约的关键组成部分。合约执行的每一步操作都可能涉及到数据的存储和读取,而这些操作对 gas 的消耗有很大影响。因此,理解 Solidity 的存储模型以及如何优化数据的管理对于合约的安全性、性能和成…...
机器学习篇-day02-KNN算法实现鸢尾花模型和手写数字识别模型
一. KNN简介 KNN思想 K-近邻算法(K Nearest Neighbor,简称KNN)。比如:根据你的“邻居”来推断出你的类别 KNN算法思想:如果一个样本在特征空间中的k 个最相似的样本中的大多数属于某一个类别,则该样本也属…...
【C++】STL--vector
1.vector的介绍 我们先来看看vector的文档介绍,实际中我们只要熟悉相关接口就好了。 成员函数 使用STL的三个境界:能用,明理,能扩展 ,那么下面学习vector,我们也是按照这个方法去学习 2 vector的使用 v…...
Java使用Redis的详细教程
Redis是一个基于内存的key-value结构数据库,即非关系型数据库,具有高性能、丰富的数据类型、持久化、高可用性和分布式等特点。在Java项目中,Redis通常用于缓存、分布式锁、计数器、消息队列和排行榜等场景。以下是在Java中使用Redis的详细教…...
严重 Zimbra RCE 漏洞遭大规模利用(CVE-2024-45519)
攻击者正在积极利用 CVE-2024-45519,这是一个严重的 Zimbra 漏洞,该漏洞允许他们在易受攻击的安装上执行任意命令。 Proofpoint 的威胁研究人员表示,攻击始于 9 月 28 日,几周前,Zimbra 开发人员发布了针对 CVE-2024-…...
php函数积累
对称函数 isset 判断数组arr中是否存在键key 返回值true/false isset(name,$arr) unset 删除数组中的键 需存在key不然抛出异常 unset($arr[name]) json_encode 数据转json格式 json_encode($arr) 一般形式 指定字符编码形式 json_decode json格式转原有数据格式 json_d…...
前端项目场景相关的面试题,包含验证码、图片存储、登录鉴权、动态路由、组件划分等项目场景实际的面试题
项目场景面试题 如何防止短信验证码被刷 问题场景 添加倒计时和图片滑动验证,避免不必要的资源浪费 发送短信验证码需要费用发送短信消耗服务器资源 公司的图片、视频、文件资源如何存储的 传统模式 分开存储到数据服务器,托管服务器到云端 缺点&…...
uniapp 上了原生的 echarts 图表插件了 兼容性还行
插件地址:echarts - DCloud 插件市场 兼容性这块儿不知道后期会不会支持其他浏览器 H5 的话建议可以用原生的不用这个插件...
共享单车轨迹数据分析:以厦门市共享单车数据为例(八)
副标题:基于POI数据的站点综合评价——以厦门市为例(三) 什么是优劣解距离法(TOPSIS)? 优劣解距离法(Technique for Order Preference by Similarity to Ideal Solution,简称TOPSI…...
sentinel原理源码分析系列(二)-动态规则和transport
本文是sentinel原理源码分析系列第二篇,分析两个组件,动态配置和transport 动态规则 Sentinel提供动态规则机制,依赖配置中心,如nacos,zookeeper,组件支持动态配置,模板类型为规则,支…...
ubuntu切换源方式记录(清华源、中科大源、阿里源)
文章目录 前言一、中科大源二、清华源三、阿里源 前言 记录ubunut切换各个源的方式。 备注:更换源之后使用sudo apt-get update更新索引。 提示:以下是本篇文章正文内容,下面案例可供参考 一、中科大源 地址:https://mirrors.u…...
【10】纯血鸿蒙HarmonyOS NEXT星河版开发0基础学习笔记-泛型基础全解(泛型函数、泛型接口、泛型类)及参数、接口补充
序言: 本文详细讲解了关于ArkTs语言中的泛型,其中包含泛型函数、泛型接口、泛型约束、泛型类及其中参数的使用方法,补充了一部分接口相关的知识,包括接口的继承和具体实现,也写到了一些边边角角的小知识,剩…...
2024年09月CCF-GESP编程能力等级认证C++编程一级真题解析
本文收录于专栏《C++等级认证CCF-GESP真题解析》,专栏总目录:点这里。订阅后可阅读专栏内所有文章。 一、单选题(每题 2 分,共 30 分) 第 1 题 据有关资料,山东大学于1972年研制成功DJL-1计算机,并于1973年投入运行,其综合性能居当时全国第三位。DJL-1计算机运算控制…...
基于多维统计分析与GMM聚类的食品营养特征研究
1.项目背景 在当今社会,随着人们对健康和营养的日益关注,深入了解食品的营养成分及其对人体的影响变得越来越重要,本研究采用了多维度的分析方法,包括营养成分比较分析、统计检验、营养密度分析和高斯混合模型(GMM&am…...
SkyWalking 告警功能
SkyWalking 告警功能是在 6.x 版本新增的,其核心由一组规则驱动,这些规则定义在config/alarm-settings.yml文件中。 告警规则 告警规则:它们定义了应该如何触发度量警报,应该考虑什么条件。Webhook(网络钩子):定义当警告触发时,哪些服务终端需要被告知。常用告警规则 …...
国内旅游:现状与未来趋势分析
在当今社会快速发展的背景下,国内旅游更是呈现出蓬勃的发展态势。中国,这片拥有悠久历史、灿烂文化和壮丽山河的广袤土地,为国内旅游的兴起与发展提供了得天独厚的条件。 本报告将借助 DataEase 强大的数据可视化分析能力,深入剖…...
西电25考研 VS 24考研专业课大纲变动汇总
01专业课变动 西安电子科技大学专业课学长看到953网络安全基础综合变为 893网络安全基础综合,这是因为工科要求都必须是8开头的专业课,里面参考课本还是没变的,无非就是变了一个名字 对于其他变动专业课也是同理的 02专业课考纲内容变化 对于…...
【Linux】进程管理:状态与优先级调度的深度分析
✨ 山海自有归期,风雨自有相逢 🌏 📃个人主页:island1314 🔥个人专栏:Linux—登神长阶 ⛺️ 欢迎关注:👍点赞 …...
同轴电缆笔记
同轴电缆笔记 射频同轴电缆的阻抗标准为什么是50Ω或75Ω呢? 在PCB设计中,在合理的范围内,传输线阻抗的具体数值并不重要。只要控制好整条传输线的阻抗,不要出现阻抗不连续的情况就好了。设计中的其他因素往往决定了我们用什么样…...
【Verilog学习日常】—牛客网刷题—Verilog企业真题—VL74
异步复位同步释放 描述 题目描述: 请使用异步复位同步释放来将输入数据a存储到寄存器中,并画图说明异步复位同步释放的机制原理 信号示意图: clk为时钟 rst_n为低电平复位 d信号输入 dout信号输出 波形示意图: 输入描…...
使用VSCode开发Django指南
使用VSCode开发Django指南 一、概述 Django 是一个高级 Python 框架,专为快速、安全和可扩展的 Web 开发而设计。Django 包含对 URL 路由、页面模板和数据处理的丰富支持。 本文将创建一个简单的 Django 应用,其中包含三个使用通用基本模板的页面。在此…...
【Linux】shell脚本忽略错误继续执行
在 shell 脚本中,可以使用 set -e 命令来设置脚本在遇到错误时退出执行。如果你希望脚本忽略错误并继续执行,可以在脚本开头添加 set e 命令来取消该设置。 举例1 #!/bin/bash# 取消 set -e 的设置 set e# 执行命令,并忽略错误 rm somefile…...
应用升级/灾备测试时使用guarantee 闪回点迅速回退
1.场景 应用要升级,当升级失败时,数据库回退到升级前. 要测试系统,测试完成后,数据库要回退到测试前。 相对于RMAN恢复需要很长时间, 数据库闪回只需要几分钟。 2.技术实现 数据库设置 2个db_recovery参数 创建guarantee闪回点,不需要开启数据库闪回。…...
React Native 开发环境搭建(全平台详解)
React Native 开发环境搭建(全平台详解) 在开始使用 React Native 开发移动应用之前,正确设置开发环境是至关重要的一步。本文将为你提供一份全面的指南,涵盖 macOS 和 Windows 平台的配置步骤,如何在 Android 和 iOS…...
逻辑回归:给不确定性划界的分类大师
想象你是一名医生。面对患者的检查报告(肿瘤大小、血液指标),你需要做出一个**决定性判断**:恶性还是良性?这种“非黑即白”的抉择,正是**逻辑回归(Logistic Regression)** 的战场&a…...
STM32+rt-thread判断是否联网
一、根据NETDEV_FLAG_INTERNET_UP位判断 static bool is_conncected(void) {struct netdev *dev RT_NULL;dev netdev_get_first_by_flags(NETDEV_FLAG_INTERNET_UP);if (dev RT_NULL){printf("wait netdev internet up...");return false;}else{printf("loc…...
linux 下常用变更-8
1、删除普通用户 查询用户初始UID和GIDls -l /home/ ###家目录中查看UID cat /etc/group ###此文件查看GID删除用户1.编辑文件 /etc/passwd 找到对应的行,YW343:x:0:0::/home/YW343:/bin/bash 2.将标红的位置修改为用户对应初始UID和GID: YW3…...
三体问题详解
从物理学角度,三体问题之所以不稳定,是因为三个天体在万有引力作用下相互作用,形成一个非线性耦合系统。我们可以从牛顿经典力学出发,列出具体的运动方程,并说明为何这个系统本质上是混沌的,无法得到一般解…...
Map相关知识
数据结构 二叉树 二叉树,顾名思义,每个节点最多有两个“叉”,也就是两个子节点,分别是左子 节点和右子节点。不过,二叉树并不要求每个节点都有两个子节点,有的节点只 有左子节点,有的节点只有…...
AspectJ 在 Android 中的完整使用指南
一、环境配置(Gradle 7.0 适配) 1. 项目级 build.gradle // 注意:沪江插件已停更,推荐官方兼容方案 buildscript {dependencies {classpath org.aspectj:aspectjtools:1.9.9.1 // AspectJ 工具} } 2. 模块级 build.gradle plu…...
