草庐IT

以太坊智能合约开发2-Solidity语法学习

xiaohshi 2024-02-16 原文

solidity是一个面向对象的静态语言,很多语法与java等语言很像,都有继承,抽象、多态等概念,这里只重点记录Solidity中的特有的内容。ps:以下有什么说的不对的地方欢迎大家指正,共同进步!

合约(Contract)

​ 在solidity中,contract就是java等其它语言的对象的概念,称为合约,其中包含状态变量、方法、modifier方法、事件、异常、结构体、枚举。此外,也有抽象合约、库(libraries))、接口(interface)的对象,抽象合约和接口的使用和其它面向对象的语言完全一致。

​ 状态变量其实和java中的成员变量,如果为public方法,会默认为getter方法。

方法(Function)

​ 有构造函数:**constructor(uint){…}**和普通函数:function helper(uint x) public pure returns (uint) {},函数可以有多个返回值。一个合约只能由一个构造函数。其中函数的变量有有memory和storage两种类型。

  • storage的结构是在合约部署创建时,根据你的合约中状态变量的声明,就固定下来了,并且不能在将来的合约方法调用中改变这个结构。storage中的内容是可以通过交易来改变的。
  • memory关键字告诉solidity应当在该函数运行时为变量创建一块空间,使其大小和结构满足函数运行的需要。

​ memory就是值传递,storage就是引用传递,但是当我们的函数参数如果为storage类型时,函数的可见性必须为internal或者private

方法的可见性

​ 方法的可见性为四种,可以被定义为:external, public, internal和private。

  • external: 外部函数是合约接口的一部分,这意味着它们可以从其他合约调用。
  • public:公共函数是合约接口的一部分,可以通过内部调用或通过消息调用。
  • internal:这些函数和状态变量只能内部访问(即在当前合约或由它派生的合约),而不使用被外部合约访问。
  • private:私有函数和状态变量仅仅在定义该合约中可见, 在派生的合约中不可见。

方法的修饰符

​ 修饰符可用于以声明方式更改函数的行为

  • view:承诺该方法只读猪肝汤,不修改状态,但是不强制
  • pure:承诺该方法即不读取状态,也不会修改状态,编译器并没有强制执行pure方法不是从状态中读取的
  • payable:表示该合约可以接受eth
  • override:表示重写
  • virtual:允许在派生合约中更改函数或修饰符的行为
  • modifier修饰符:可以用来改变一个函数的行为。修改器是一种合约属性,可被继承,同时还可被派生的合约重写,也可以接受参数,也可以有多个modifier修饰符。(https://new.qq.com/rain/a/20220106a04xad00)

事件(Event)

​ 事件是以太坊EVM提供的一种日志基础设施。事件可以用来做操作记录,存储为日志。也可以用来实现一些交互功能,比如通知UI,返回函数调用结果等。emit关键字就是触发事件。

异常(Errors)

​ Solidity 使用状态恢复异常来处理错误。这样的异常会撤消对当前调用(及其所有子调用)中状态所做的所有更改,并向调用者标记错误。

  • assert(bool condition)
  • require(bool condition)、require(bool condition, string memory message)
  • revert()、revert(string memory message)
  • try/catch语句:使用 try/catch 语句捕获外部调用中的失败try关键字后面必须跟一个表示外部函数调用或合约创建的表达式 ( ) 。表达式内部的错误不会被捕获

​ 结构体和枚举都是和其他语言保持一致,不在过多描述。

类型(Types)

​ Solidity中类型有:

  • bool:布尔类型
  • byte:bytes0 ~ bytes32
  • int/uint:整数,int可以表示负数,有int8,int16等,int和uint就是int256和uint256
  • address
  • 数组:和golang中的数组很像
  • string
  • mapping类型:就是哈希表。无法枚举所有的键值

地址类型(address)

​ 地址类型有多个内置方法,有

  • balance:该地址的余额
  • transfer:合约向该地址转账多少钱
  • send:合约向该地址转账多少钱,单位默认是wei

语法的内置特性

  • bytes.concat(...) returns (bytes memory):将可变数量的参数连接到一个字节数组
  • string.concat(...) returns (string memory):将可变数量的参数连接到一个字符串数组
  • block.basefee( uint):当前区块的基本费用
  • block.chainid( uint): 当前链 id
  • block.coinbase( ): 当前区块矿工地址``
  • block.difficulty( uint): 当前区块难度
  • block.gaslimit( uint): 当前区块gas限制
  • block.number( uint): 当前区块号
  • block.timestamp( uint): 自 Unix 纪元以来的当前区块时间戳(以秒为单位)
  • gasleft() returns (uint256): 剩余气体
  • msg.data( bytes): 完整的通话数据
  • msg.sender( address): 当前消息的发送者
  • msg.sig( bytes4):calldata 的前四个字节(即函数标识符)
  • msg.value( uint): 随消息发送的 wei 数量
  • tx.gasprice( uint): 交易的gas价格
  • tx.origin( address): 交易的发送者(完整的调用链)
  • blockhash(uint blockNumber) returns (bytes32): 给定区块的哈希 - 仅适用于 256 个最近的区块
  • keccak256(bytes memory) returns (bytes32): 计算输入的 Keccak-256 哈希
  • sha256(bytes memory) returns (bytes32): 计算输入的 SHA-256 哈希
  • ripemd160(bytes memory) returns (bytes20): 计算输入的 RIPEMD-160 散列
  • ecrecover(bytes32 hash, uint8 v, bytes32 r, bytes32 s) returns (address):从椭圆曲线签名中恢复与公钥关联的地址,错误返回零
  • this(当前合约的类型):当前合约
  • super: 继承层次中更高一级的合约
  • selfdestruct(address payable recipient):销毁当前合约,将其资金发送到给定地址,只有所有者才能销毁
  • type(C).name( string): 合约名称
  • type(C).creationCode( ):给定合约的创建字节码
  • type(C).runtimeCode( ):给定合约的运行时字节码
  • type(I).interfaceId( bytes4):包含给定接口的 EIP-165 接口标识符的值
  • type(T).min( T):整数类型可表示的最小值T
  • type(T).max( T):整数类型可表示的最大值T

有关以太坊智能合约开发2-Solidity语法学习的更多相关文章

  1. ruby - 树顶语法无限循环 - 2

    我脑子里浮现出一些关于一种新编程语言的想法,所以我想我会尝试实现它。一位friend建议我尝试使用Treetop(Rubygem)来创建一个解析器。Treetop的文档很少,我以前从未做过这种事情。我的解析器表现得好像有一个无限循环,但没有堆栈跟踪;事实证明很难追踪到。有人可以指出入门级解析/AST指南的方向吗?我真的需要一些列出规则、常见用法等的东西来使用像Treetop这样的工具。我的语法分析器在GitHub上,以防有人希望帮助我改进它。class{initialize=lambda(name){receiver.name=name}greet=lambda{IO.puts("He

  2. ruby - 使用 C 扩展开发 ruby​​gem 时,如何使用 Rspec 在本地进行测试? - 2

    我正在编写一个包含C扩展的gem。通常当我写一个gem时,我会遵循TDD的过程,我会写一个失败的规范,然后处理代码直到它通过,等等......在“ext/mygem/mygem.c”中我的C扩展和在gemspec的“扩展”中配置的有效extconf.rb,如何运行我的规范并仍然加载我的C扩展?当我更改C代码时,我需要采取哪些步骤来重新编译代码?这可能是个愚蠢的问题,但是从我的gem的开发源代码树中输入“bundleinstall”不会构建任何native扩展。当我手动运行rubyext/mygem/extconf.rb时,我确实得到了一个Makefile(在整个项目的根目录中),然后当

  3. ruby-on-rails - 使用 Sublime Text 3 突出显示 HTML 背景语法中的 ERB? - 2

    所以我在关注Railscast,我注意到在html.erb文件中,ruby代码有一个微弱的背景高亮效果,以区别于其他代码HTML文档。我知道Ryan使用TextMate。我正在使用SublimeText3。我怎样才能达到同样的效果?谢谢! 最佳答案 为SublimeText安装ERB包。假设您安装了SublimeText包管理器*,只需点击cmd+shift+P即可获得命令菜单,然后键入installpackage并选择PackageControl:InstallPackage获取包管理器菜单。在该菜单中,键入ERB并在看到包时选择

  4. Ruby Sinatra 配置用于生产和开发 - 2

    我已经在Sinatra上创建了应用程序,它代表了一个简单的API。我想在生产和开发上进行部署。我想在部署时选择,是开发还是生产,一些方法的逻辑应该改变,这取决于部署类型。是否有任何想法,如何完成以及解决此问题的一些示例。例子:我有代码get'/api/test'doreturn"Itisdev"end但是在部署到生产环境之后我想在运行/api/test之后看到ItisPROD如何实现? 最佳答案 根据SinatraDocumentation:EnvironmentscanbesetthroughtheRACK_ENVenvironm

  5. ruby - 覆盖相似的方法,更短的语法 - 2

    在Ruby类中,我重写了三个方法,并且在每个方法中,我基本上做同样的事情:classExampleClassdefconfirmation_required?is_allowed&&superenddefpostpone_email_change?is_allowed&&superenddefreconfirmation_required?is_allowed&&superendend有更简洁的语法吗?如何缩短代码? 最佳答案 如何使用别名?classExampleClassdefconfirmation_required?is_a

  6. ruby - 是否可以覆盖 gemfile 进行本地开发? - 2

    我们的git存储库中目前有一个Gemfile。但是,有一个gem我只在我的环境中本地使用(我的团队不使用它)。为了使用它,我必须将它添加到我们的Gemfile中,但每次我checkout到我们的master/dev主分支时,由于与跟踪的gemfile冲突,我必须删除它。我想要的是类似Gemfile.local的东西,它将继承从Gemfile导入的gems,但也允许在那里导入新的gems以供使用只有我的机器。此文件将在.gitignore中被忽略。这可能吗? 最佳答案 设置BUNDLE_GEMFILE环境变量:BUNDLE_GEMFI

  7. ruby - 在 Windows 机器上使用 Ruby 进行开发是否会适得其反? - 2

    这似乎非常适得其反,因为太多的gem会在window上破裂。我一直在处理很多mysql和ruby​​-mysqlgem问题(gem本身发生段错误,一个名为UnixSocket的类显然在Windows机器上不能正常工作,等等)。我只是在浪费时间吗?我应该转向不同的脚本语言吗? 最佳答案 我在Windows上使用Ruby的经验很少,但是当我开始使用Ruby时,我是在Windows上,我的总体印象是它不是Windows原生系统。因此,在主要使用Windows多年之后,开始使用Ruby促使我切换回原来的系统Unix,这次是Linux。Rub

  8. ruby-on-rails - 在 Rails 开发环境中为 .ogv 文件设置 Mime 类型 - 2

    我正在玩HTML5视频并且在ERB中有以下片段:mp4视频从在我的开发环境中运行的服务器很好地流式传输到chrome。然而firefox显示带有海报图像的视频播放器,但带有一个大X。问题似乎是mongrel不确定ogv扩展的mime类型,并且只返回text/plain,如curl所示:$curl-Ihttp://0.0.0.0:3000/pr6.ogvHTTP/1.1200OKConnection:closeDate:Mon,19Apr201012:33:50GMTLast-Modified:Sun,18Apr201012:46:07GMTContent-Type:text/plain

  9. ruby 语法糖 : dealing with nils - 2

    可能已经问过了,但我找不到它。这里有2个常见的情况(对我来说,在编程Rails时......)用ruby​​编写是令人沮丧的:"astring".match(/abc(.+)abc/)[1]在这种情况下,我得到一个错误,因为字符串不匹配,因此在nil上调用[]运算符。我想找到的是比以下内容更好的替代方法:temp="astring".match(/abc(.+)abc/);temp.nil??nil:temp[1]简而言之,如果不匹配,则简单地返回nil而不会出错第二种情况是这样的:var=something.very.long.and.tedious.to.writevar=some

  10. ruby - Ruby 语法糖有 "rules"吗? - 2

    我正在学习Ruby的基础知识(刚刚开始),我遇到了Hash.[]method.它被引入a=["foo",1,"bar",2]=>["foo",1,"bar",2]Hash[*a]=>{"foo"=>1,"bar"=>2}稍加思索,我发现Hash[*a]等同于Hash.[](*a)或Hash.[]*一个。我的问题是为什么会这样。是什么让您将*a放在方括号内,是否有某种规则可以在何时何地使用“it”?编辑:我的措辞似乎造成了一些困惑。我不是在问数组扩展。我明白了。我的问题基本上是:如果[]是方法名称,为什么可以将参数放在括号内?这看起来几乎——但不完全是——就像说如果你有一个方法Foo.d

随机推荐