在 Solidity 中 ++i 为什么比 i++ 更省 Gas?
前言
作为一个初学者,“在 Solidity 中 ++i 为什么比 i++ 更省 Gas?” 这个问题始终在每个寂静的深夜困扰着我。也曾在网上搜索过相关问题,但没有得到根本性的解答。最终决定扒拉一下它们的字节码,从较为底层的层面看一下它们的差别究竟在哪里。
Solidity 代码选择
Solidity 版本选用了 0.8.4
(随手选的没啥说法),代码选用了两个简单的合约,分别是 Test(i++)
和 Test2(++i)
,两个合约都有一个全局变量 i
,修改值的时候从 storage
中取值然后进行修改。选择全局变量的这个形式是想要通过定位 SLOAD
和 SSTORE
两个比较有特征的操作码来进行比较。当然,这个只是我知识浅薄的脑瓜子想出来的一个代码形式,如果有更好的更直接明了的代码形式也十分欢迎各位师傅提出来交流交流。
Solidity Code:
pragma solidity 0.8.4;
contract Test{
uint256 i = 0;
// 0xfb5343f3
function t1() public {
i++;
}
}
contract Test2{
uint256 i = 0;
// 0xbaf2f868
function t2() public {
++i;
}
}
RuntimeCode 分析
Solidity 代码经过编译以后,截取两个合约的 RuntimeCode,注意是 RuntimeCode 而不是包括 CreationCode 的所有代码。否则在后面看地址转跳的时候会对不上号。
OK,拿到了字节码。我们简单地从长度比较上面就可以看出两个合约的字节码是不一样的,但是具体怎么不一样,不一样发生在什么地方,就需要进行进一步的分析。
Test Contract RuntimeCode:
6080604052348015600f57600080fd5b506004361060285760003560e01c8063fb5343f314602d575b600080fd5b60336035565b005b6000808154809291906045906056565b9190505550565b6000819050919050565b6000605f82604c565b91507fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff821415608f57608e609a565b5b600182019050919050565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052601160045260246000fdfea264697066735822122036565a2f31dfc56ec3a1576d52790574b00eea2721561ecdc6581a7c865a382564736f6c63430008040033
Test2 Contract RuntimeCode:
6080604052348015600f57600080fd5b506004361060285760003560e01c8063baf2f86814602d575b600080fd5b60336035565b005b60008081546041906054565b91905081905550565b6000819050919050565b6000605d82604a565b91507fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff821415608d57608c6098565b5b600182019050919050565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052601160045260246000fdfea2646970667358221220a395400661088056760f04d1c0d531d36c787fe81f654b35987819f5b3a4e36564736f6c63430008040033
Operation Code 分析
当然也不至于手撕字节码,所以下一步就是把字节码翻译成操作码(Operation Code)来分析。推荐去 dedaub(https://library.dedaub.com/decompile)上面反编译一下。由于OP Code太长,考虑到文章篇幅就不贴上来了,朋友们可以自己去操作一下。
但是!我根据 OP Code 做了两个图,去掉了一些不重要的结束分支,保留了主干。其中标有红蓝两种颜色的代码块表示此处出现不同的操作。其余没有标记颜色的代码块操作基本相同。(说基本相同是因为红蓝颜色代码块的长度不同,导致整体的地址发生了一些偏移。操作是一样的,只是跳转的地址相应地存在一点偏移。)而且刚刚好, SLOAD
和 SSTORE
两个操作码正好处于这两个不一样的代码块中,那说明 i++
和 ++i
这两个操作在取值后和赋值前这两个地方会出现差异。
现在两个合约的不同点已经找出来了。接下来我们把标有颜色的代码块取出来,结合运行到此处时堆栈的变化,进行进一步的对比分析。
堆栈的分析工具可以用 evm.codes (https://www.evm.codes/playground),把字节码贴上去,配置好函数选择器就可以单步调试了。但是这里还有一个问题,就是用 remix 的 debug 调试的时候操作码的地址与反编译出来的地址对不上号,用 evm.codes 倒是完美对上。希望有头绪的师傅可以指点一下这到底是怎么回事。
接下来看对比图。为了更好地分析堆栈的变化,选择了当 i = 1
时的状态来进行 +1 操作对比。这是为了避免当 i = 0
时读取进来的 0
值不够显眼,容易与堆栈中的其他 0
值混淆。0x3a Stack
代表当代码运行完 0x3a
这个位置的操作码后,堆栈 Stack
中的情况。
先看左边,当 i = 1
时,进行 i++
操作。从左上角的代码块可以看出,0x3a
处的 SLOAD
指令从 solt
中取出 i
的值存放在堆栈顶。然后 0x3b
处的 DUP1
将栈顶 i
的值进行复制。随后的几个 SWAP
操作把复制出来的值交换到堆栈的第 4 位处。随后程序运行到左下的代码块中。当程序运行到 0x48
处时,此时栈顶的 0
为 i
的 slot
位置,堆栈第 2 位为 i++
后的值,堆栈第 3 位是在 0x3b
处 i
进行 +1 操作前复制出来的 i
值。随后 0x49
处的 SSTORE
操作将 2
存放到 solt 0
中。
然后右边,当 i = 1
时,进行 ++i
操作。从右上角的代码块可以看出,0x3a
处的 SLOAD
指令从 solt
中取出 i
的值存放在堆栈顶。随后程序运行到左下的代码块中。当程序运行到 0x44
处,此时栈顶的 0
为 i
的 slot
位置,堆栈第 2 位为 i++
后的值。随后 0x45
处的 DUP2
操作将堆栈第 2 位的 2
值复制并存放的栈顶。随后 0x46
的 SWAP1
操作将其堆栈 1, 2 位的值调换。此时堆栈的第 3 位是 i
进行 +1 后的值。0x47
处的 SSTORE
指令将 2
值存放到 solt 0
中。
上面的解释可能稍微有点绕,有简单版的。
简单的理解可以把 i++
的操作类似于:
uint256 j = i;
i = i + 1;
// store 'i', keeep 'j'
因为我们可以通过堆栈中的情况看到,在执行完 0x3a: SLOAD
这个操作后,马上执行 0x3b: DUP1
对取出来的 i
值进行一个复制,就相当于 uint256 j = i;
,而随后对 i
的值进行 +1 操作,并不影响复制出来 j
的值。当执行完 0x49: SSTORE
后,堆栈顶的 1
值就是 0x3b: DUP1
复制出来的 j
。
而 ++i
的操作则类似于:
i = i + 1;
// store 'i', keep 'i' copy value
当代码运行到 0x44
处时,栈顶的 0
为 i
的 slot
位置,堆栈第 2 位为 i++
后的值。然后 0x45: DUP2
对 i
值进行了复制,利用 0x46: SWAP1
调整完顺序以后执行 0x47: SSTORE
保存。此时,栈顶的 2
值就是 0x45: DUP2
复制出来的进行过 +1 操作后的 i
值。
好!话说回来!
那么到底为什么在 Solidity 中 ++i
为什么比 i++
更省 Gas 呢?我们看代码对比(比较图中的黄色代码)可以看出,当执行 i++
的时候,要比 ++i
多执行一个 SWAP2
和一个 SWAP3
,而每个 SWAP*
固定的消耗为 3 gas。
所以可以得出,以本文的案例 Test
合约与 Test2
合约为例,执行一遍 i++
要比 ++i
多消耗 6 gas,如下图所示:
就是这样。
后记
诶终于把这篇文章写出来了,疑问是一直的疑问,但是搜出来的答案也流于表面没有具体讲明白。然后就自己分析着玩吧,分析之前也不知道能不能搞得懂。但在分析的过程中还是挺兴奋的,一直慢慢摸索,也踩了很多坑(有些坑现在还没搞明白)。最终还是把想知道的东西弄明白了,也希望能够把它分享给你~能看到最后的你很棒哦:D!然后,也是希望自己能够继续抱有热情继续学习下去吧,在捣弄这些玩意的时候确实能够将自己从现实的失落中暂时的抽离出来。最后,下一篇文章也不知道是什么时候了,想写,但是也不知道写什么,总觉得自己没啥东西,还是要多学点东西吧写个博客都把自己写得江郎才尽了。
在 Solidity 中 ++i 为什么比 i++ 更省 Gas?的更多相关文章
- Solidity 中文文档 —— 第一章:Introduction to Smart Contracts
第一章:智能合约简介 粗略地翻译了 Ethereum 的智能合约开发语言的文档:Solidity.欢迎转载,注明出处. 有任何问题请联系我,本人微信:wx1076869692,更多详情见文末. 我是 ...
- Solidity中的基本类型转换
Solidity中的基本类型转换(十四)|入门系列 2017/4/29 posted in Solidity入门系列 点击查看原文,获得优化的排版. 隐式转换 如果一个运算符能支持不同类型.编译器会隐 ...
- C#中的快捷键,可以更方便的编写代码 (转载)
C#中的快捷键,可以更方便的编写代码 CTRL + SHIFT + B 生成解决方案 CTRL + F7 生成编译 CTRL + O 打开文件 CTRL + SHIFT + O 打开项目 CTRL + ...
- Solidity中uint转string
在<Solidity中uint转bytes>中,我们知道unit如何转换成bytes,其实把uint转换成string,就是在最后加上string(bytes变量)即可,如下所示: pra ...
- Solidity中uint转bytes
Solidity中uint转bytes方法如下: pragma solidity ^0.4.2; contract Test { function toBytesNickJohnson(uint256 ...
- C#中的快捷键,可以更方便的编写代码
C#中的快捷键,可以更方便的编写代码 CTRL + SHIFT + B 生成解决方案 CTRL + F7 生成编译 CTRL + O 打开文件 CTRL + SHIFT + O 打开项目 CTRL + ...
- Solidity中如何判断mapping中某个键是否为空呢?
Solidity中如何判断mapping中某个键是否为空呢? 一.比较标准的做法是建立一个专门和value相关的结构体,用一个布尔型变量来看是否这个key所对应的value被赋过值 代码如下: pra ...
- 在 Snoop 中使用 PowerShell 脚本进行更高级的 UI 调试
原文:在 Snoop 中使用 PowerShell 脚本进行更高级的 UI 调试 版权声明:本作品采用知识共享署名-非商业性使用-相同方式共享 4.0 国际许可协议进行许可.欢迎转载.使用.重新发布, ...
- 文件的权利和sudoers中规定的权限哪个更大?
文件的权利和sudoers中规定的权限哪个更大? 当然是文件的权限更大!!! 这也是linux的 更安全的根本所在! 就是它的每一个文件都有严格的 rwxr--r-- 权限规定. 只有文件权限规定了的 ...
- 如何在Android开发中让你的代码更有效率
最近看了Google IO 2012年的一个视频,名字叫做Doing More With Less: Being a Good Android Citizen,主要是讲如何用少少的几句代码来改善And ...
随机推荐
- 第一行代码Android(第3版).pdf下载
2020年人民邮电出版社出版的图书 <第一行代码Android(第3版)>是2020年4月人民邮电出版社出版的图书,作者是郭霖. 封面: 内容简介: <第一行代码 Android 第 ...
- Git Rebase-提交整洁之道
git rebase git rebase是一个非常有用的命令,但知道和用的人非常少,今天介绍一下其作用 git rebase -i 作用:常用来合并多个相同目的的提交. 交互式有下面几个命令,常用命 ...
- keycloak~资源的远程授权
17.1远程资源授权准备 17.1.1认证和访问流程图 参考:http://www.zyiz.net/tech/detail-141309.html 17.1.2为用户指定角色 可以使用ROLE_US ...
- Kubernetes 存储系统 Storage 介绍:PV,PVC,SC
要求:先了解数据docker容器中数据卷的挂载等知识 参考网址: https://www.cnblogs.com/sanduzxcvbnm/p/13176938.html https://www.cn ...
- 第六章:Django 综合篇 - 10:消息框架 message
在网页应用中,我们经常需要在处理完表单或其它类型的用户输入后,显示一个通知信息给用户. 对于这个需求,Django提供了基于Cookie或者会话的消息框架messages,无论是匿名用户还是认证的用户 ...
- MySQL集群搭建(4)-MMM+LVS+Keepalived
1 LVS 介绍 1.1 简介 LVS 是 Linux Virtual Server 的简写,意即 Linux 虚拟服务器,是一个虚拟的服务器集群系统.本项目在 1998 年 5 月由章文嵩博士成立, ...
- Mapping
dynamic针对的是新增的字段,不是对mapping中已有的字段 (原有mapping中的字段不受影响,只影响新增的字段) 当dynamic被设置成false的时候,存在新增字段可以被写入到索引文件 ...
- 实战---在Portainer中编排docker-compose.yml文件
选择要部署容器的主机上,不用事先安装配置docker-compose 官方示例文档地址,2.0版本的:https://docs.docker.com/compose/compose-file/comp ...
- 使用python连接elasticsearch
官方文档地址:https://www.elastic.co/guide/en/elasticsearch/client/python-api/current/overview.html 安装的时候注意 ...
- C++面向对象编程之point-like classes的智能指针和迭代器、function-like classes即仿函数
1.智能指针 智能指针里面包含其他指针的形式和 委托 感觉比较像; 智能指针一定都需要重载 * 和 -> 操作符 ; 这个符号它作用后还能再继续作用下去; 2.迭代器: 这里主要关注 * 和 - ...