待字闺中开发了一门区块链方面的课程:《深入浅出ETH原理与智能合约开发》,马良老师讲授。此简书文集记录我的学习笔记。
课程共8节课。其中,前四课讲ETH原理,后四课讲智能合约。
第六课分为三部分:
- Solidity语法之数组
- Solidity语法之合约
- Truffle简介与使用
这篇文章是第六课第一部分的学习笔记:Solidity语法之数组。
上一小节简要介绍了 Solidity 的基础语法。还有两部分重要的内容要重点讲解一下,分别是数组和合约。
这节课主要讲解 Solidity 数组相关知识,并有若干实例辅助理解。
1、动态数组,bytes,string
在Solidity语法中,数组中主要有两种。一种是动态数组,主要是storage类型;另一种是定长数组,一般是memory类型。
在这两个类型之外,还有两种特殊的类型,一是字节数组(bytes),一个是字符串(string),通常字符串可以转换成字节数组。
1.1 动态数组
- length 在声明后可以改变,从而调整数组大小(静态数组不可以)。
- push 向数组尾部附加一个元素,返回新的 length 。
- bytes 数组指的是原始的字节串。其它类型(例如byte)的动态数组一个元素会占32字节,但是bytes每一个元素就是一个字节(更为紧凑,节省GAS)。可以把String 转换为 bytes 。
对于定长的bytes,index 操作是只读!这里要特别注意。
而对动态数组,index操作是可读写! - delete 只是 reset 该元素(重置为0),并不是通常意义的删除。【例子②】
1.2 字符串
- UTF-8 编码的结果。没有length 的概念。
- UTF-8 是变长的编码方式,1-4个字节表示一个符号。对于英文和ASCII码是相同的。中文常见是3个字节。
- 所以String的长度一般是通过转化为 bytes 数组后,只能得到 bytes 数组的长度。
- 缺乏缺省的各类 string 操作,需要库支持(比如strcmp,strlen)。
- bytes 无法直接转换到string,需要库支持。
后面这两条是不完善的地方,不方便编程。
后面通过例子来理解这些知识点。
2、实例讲解
2.0 概览
对于动态数组,讲解四个知识点:
- uint 动态数组【例子①】
- bytes 定长数组【例子①】
- string转换bytes【例子③】
- 手动的删除【例子②⑤】
对于字符串,讲解两个知识点:
- 字符串的长度。根据 UTF-8 编码的规定来计算字符长度。【例子③】
- 字符串的比较。Keccak256 取巧的办法。【例子④】
演示代码在老师的代码托管网站上,获取方法见第二课第3小节。
2.1 例子①
拉取代码后,用 Remix 打开 example_1.sol 文件。在 settings 设置 Solidity version 为0.4.17,不要太高。
操作:
点 Deploy 部署。
点 TestArray 执行。再看控制台,可以看到 TestArray 函数的返回值:bts1的长度变成了5。
点控制台上的debug,调试。
点击行号可以设置断点,此处演示把57行和69行设置为断点。
右边可以在 solidity state 和 solidity locals 看到各变量的值。-
点击调试按钮,最后一个:跳到下一个断点。
-
点击调试按钮(第一行最后一个按钮),使走完一个循环。
可以看到:ex_1的第0个元素发生了变化,bts2 变成了0x09020304。
-
再点击几次“跳到下一个断点”按钮。使跳出循环。
可以看到:bts1 变成了0x0506070809,bts2 变成了0x09020304。
- 点击memory,可以看到变量在内存中的存储情况。
ex_1,见代码第48行,byte 就是bytes1 ,ex_1是字节数组(见47行注释)。它的每一个元素都是32字节。如图上半部分四个小框。
而bts1,是原始字节串,整个元素占一个字节。它不能按偏移量修改,能整体修改。如图下半部分。
- 点击停止按钮。结束调试。
2.2 例子② 删除
操作:
修改代码。取消注释82行,注释掉84行,先演示默认删除的效果。
重新部署代码。Deploy
-
点击TestDelete,观察到返回值为4,意思是并没有删除,只是清零了。
-
取消注释84行,注释掉82行。再观察手动删除效果。这里使用了137行的自定义函数。
实现方法是:把待删除位置之后的元素都向前移动一位,把最后一个元素置0,再把长度减少1。调试结果如图。
返回值为长度3,88被删除了。
2.3 例子③ 字符串长度
如果返回值是第38行,返回6;如果返回返回值是40行,则是2。后者符合期望值。实现方法在代码的第114行。(对UTF-8不懂,先放下不看)
2.4 例子④ 字符串比较
通过计算 Keccak256 ,如果这个值相等,则字符串是相等的。(演示略)
2.5 例子⑤ 映射的删除
默认的删除操作也是只清零,并没有真的删除(演示略)。编程时要注意。
小结一下,本节通过例子介绍了solidity数组和字符串的使用。
不足之处,请批评指正。