以太坊技术 | Solidity 函数修改器以及异常处理_RICE:Frax Price Index Share

链闻ChainNews:

Solidity是以太坊上最主流的函数修改器。本篇文章从技术角度展示了如何针对异常情况在代码层面进行详细分析,最后总结出异常情况最易出现的一些场景,并给出相对应的建议。

来源|矩阵数字经济智库作者|闫莺等

函数修改器

Solidity提供了一个函数修改器的特性。函数修改器与Python中的装饰器类似,可以在一定程度上改变函数的行为,比如可以自动在函数执行前检查参数是否合法。函数修改器是可以被继承的,同时可以被派生类覆盖重写。

下面代码展示了如何声明并使用函数修改器。

contractowned{functionowned(){owner=msg

CoinEx发布《关于永久回购销毁CET》的官方公告:CoinEx官方消息,2021年3月12日,CoinEx发布《关于永久回购销毁CET》的官方公告。

公告中表示,根据此前《关于CET流通及未来应用的信息披露》的约定,CoinEx每天将平台手续费收入的50%用于回购CET,并在每个自然季度结束时将当季回购的CET全部销毁,直至CET总量减至30亿,目前CET总量为46.18亿CET。

经过慎重考虑,CoinEx决定在CET总量减至30亿后,继续将平台手续费收入的20%用于回购并销毁CET,直至CET全部销毁。[2021/3/12 18:39:03]

addressowner;//这个合约定义了一个在派生合约中使用的函数修改器//";"指代被修改函数的函数体。//当这个函数执行前,先检查msg

公告 | GDEX将开放EOSDAC和EOS充提:据GDEX官方公告称,EOS钱包版本已更新完毕,GDEX将开放EOSDAC和EOS充提,用户可在GDEX官网、鼓鼓钱包、比特股官网等渠道进行充值、提现和交易。

提示:GDEX承兑的资产均有“GDEX”前缀,如EOSDAC,显示资产名称为GDEX.EOSDAC,

GDEX承兑的资产均有“GDEX”前缀,如EOS,显示资产名称为GDEX.EOS。[2018/8/13]

}contractContractisowned{//从owned合约继承了onlyOwner函数修改器并且将其作用于close函数//确保了这个函数只有在调用者为合约创建者时才会生效functionclose()onlyOwner{selfdestruct(owner);}}

HHT.ONE交易平台推迟上线U链(UCC)公告:HHT.ONE交易平台原计划将在2018年4月21日14:00开通U链(UCC)交易,为了保证用户交易顺畅,目前全面测试U链(UCC)交易,上线时间将推迟至2018年4月22日14:00正式开通充值和交易功能。[2018/4/21]

下面代码进一步展示了函数修改器是如何接收参数的,函数修改器的参数可以是上下文中存在的任意变量组成的表达式。

contractpriced{//函数修改器可以接收参数modifiercosts(uintprice){if(msg

}}contractRegisterispriced,owned{mapping(address=>bool)registeredAddresses;uintprice;functionRegister(uintinitialPrice){price=initialPrice;}//这里需要payable修饰词,否则无法通过该方法转账以太币//函数修饰器costs接收参数price//使用costs修饰器确保registe函数在msg

动态 | 以太坊钱包MetaMask移动应用程序已发布beta测试版:据官方消息,7月23日,以太坊钱包MetaMask移动应用程序已发布beta测试版本。[2019/7/23]

functionchangePrice(uint_price)onlyOwner{price=price;}}

下面的例子展示了如何使用函数修改器实现一个重入锁机制。

contractMutex{boollocked;modifiernoReentrancy(){require(!locked);locked=true;;locked=false;}//这个函数使用了noReentrancy修改器,这保证了在f函数内部无法再次调用f函数//在执行return7时也执行了函数修改器中的locked=false语句functionf()noReentrancyreturns(uint){require(msg

动态 | 以太坊未确认交易77332?笔:根据etherscan.io数据显示,目前以太坊的网络未确认交易笔数为77332笔,相较此前网络拥堵仍较为严重。[2018/11/22]

}异常处理以太坊使用状态回退机制处理异常。如果发生了异常,当前消息调用和子消息调用产生的所有状态变化都将被撤销并且返回调用者一个报错信号。Solidity语言提供了两个方便的函数assert和require来检查条件,并且当条件不满足的时候抛出一个异常。assert函数通常用于检查变量和内部错误,require函数用于确保程序执行的必要条件是成立的。一个正常运行的程序不应该遇到assert和require失败,否则程序代码中一定存在需要修复的问题。revert函数和throw关键词会标识发生了错误并且回退当前的消息调用产生的状态改变。当前调用收到子消息调用产生的异常时会自动抛出,所以异常会一层层上浮直到最上层的根调用,代码会立刻终止执行并回退状态改变。但是,

}

一个assert类型的异常会在下述场景抛出:

访问数组越界,下标为负数或者超出长度。访问固定长度的bytesN越界,下标为负数或者超出长度。对0做除法或者对0取模,比如5/0,5%0。移位操作使用了一个负数做操作数。转换一个特别大的数或者负数到枚举类型变量。使用移位操作时给一个负数值。使用枚举时将过大值或赋值转为枚举类型变量。调用assert函数并且参数值为false。一个require类型的异常会在下述场景抛出:

调用throw。调用require并且参数值为false。发起一个消息调用,但是这个调用没有正常完成,比如Gas耗尽、被调用函数不存在或者函数本身抛出一个异常。使用new创建一个合约,但是和3中提到的原因一样构造函数没有正常完成。调用外部函数时指向一个不包含代码的地址。合约通过一个没有payable修辞词的函数接收以太币,包括构造函数和fallback函数。合约通过一个公开的访问函数接收以太币。.transfer()失败。在require类型的异常发生时会执行回退操作,对于一个assert类型的异常执行一个无效操作。在这两种情况下,以太坊虚拟机都会撤销所有的状态改变。这样做是因为发生了意料之外的情况,交易无法安全执行下去,为了保证交易的原子性,最安全的操作就是撤销该交易对状态造成的影响。

在编写合约代码时,我们需要合理使用assert和require来保证代码能够按我们预期的设计进行。

更多精彩内容,关注链闻ChainNews公众号,或者来微博**@链闻ChainNews**与我们互动!转载请注明版权和原文链接!

来源链接:mp.weixin.qq.com

本文来源于非小号媒体平台:

链闻研究院

现已在非小号资讯平台发布1篇作品,

非小号开放平台欢迎币圈作者入驻

入驻指南:

/apply_guide/

本文网址:

/news/3626956.html

以太坊ETH

免责声明:

1.资讯内容不构成投资建议,投资者应独立决策并自行承担风险

2.本文版权归属原作所有,仅代表作者本人观点,不代表非小号的观点或立场

上一篇:

文摘|Schnorr签名:比特币的最新升级

郑重声明: 本文版权归原作者所有, 转载文章仅为传播更多信息之目的, 如作者信息标记有误, 请第一时间联系我们修改或删除, 多谢。

金宝趣谈

[0:0ms0-3:58ms