Solidity中的变量类型
- 数值类型(Value Type):包括布尔型,整数型等等,这类变量赋值时候直接传递数值。
- 引用类型(Reference Type):包括数组和结构体,这类变量占空间大,赋值时候直接传递地址(类似指针)。
- 映射类型(Mapping Type): Solidity里的哈希表。
- 函数类型(Function Type):Solidity文档里把函数归到数值类型,但我觉得他跟其他类型差别很大,所以单独分一类。
我们只介绍一些常用的类型,不常用的不讲。这篇介绍数值类型,第3讲介绍函数类型,第4讲介绍引用和映射。
数值类型
1. 布尔型
布尔型是二值变量,取值为true或false。
布尔值的运算符,包括:
- ! (逻辑非)
- && (逻辑与, "and" )
- || (逻辑或, "or" )
- == (等于)
- != (不等于)
代码:
上面的代码中:变量_bool的取值是true;_bool1是_bool的非,为false;_bool && _bool1为false;_bool || _bool1为true;_bool == _bool1为false;_bool != _bool1为true。 值得注意的是:&& 和 ||运算符遵循短路规则,这意味着,假如存在f(x) || g(y)的表达式,如果f(x)是true,g(y)不会被计算,即使它和f(x)的结果是相反的
2. 整型
整型是solidity中的整数,最常用的包括
常用的整型运算符包括:
- 比较运算符(返回布尔值): <=, <, ==, !=, >=, >
- 算数运算符: +, -, 一元运算 -, +, *, /, %(取余),**(幂)
代码:
大家可以跑一下代码,看看这4个变量分别是多少。答对奖励个POAP?
3. 地址类型
地址类型(address)存储一个 20 字节的值(Ethereum地址的大小)。地址类型也有成员变量,并作为所有合约的基础。有普通的地址和可以转账ETH的地址(payable)。其中,payable修饰的地址相对普通地址多了transfer和send两个成员。在payable修饰的地址中,send执行失败不会影响当前合约的执行(但是返回false值,需要开发人员检查send返回值)。balance和transfer(),可以用来查询ETH余额以及安全转账(内置执行失败的处理)。
代码
下一讲介绍函数的时候,会介绍如何使用地址类型。
4. 定长字节数组
字节数组bytes分两种,一种定长(byte, bytes8, bytes32),另一种不定长。定长的属于数值类型,不定长的是引用类型(之后讲)。 定长bytes可以存一些数据,消耗gas比较少。
代码:
MiniSolidity变量以字节的方式存储进变量_byte32,转换成16进制为:0x4d696e69536f6c69646974790000000000000000000000000000000000000000
_byte变量存储_byte32的第一个字节,为0x4d。
5. 枚举 enum
枚举(enum)是solidity中用户定义的数据类型。它主要用于为uint分配名称,使程序易于阅读和维护。它与C语言中的enum类似,使用名称来代替从0开始的uint:
它可以显式的和uint相互转换,并会检查转换的正整数是否在枚举的长度内,不然会报错:
enum的一个比较冷门的变量,几乎没什么人用。
在remix上验证
- 部署合约后可以查看每个类型的变量具体的数值
- enum和uint转换的示例
总结
在这一讲,我们介绍了solidity中4种变量类型,并详细介绍了数值变量(value type)中的布尔型,整型,地址,定长字节数组和枚举。之后我们会介绍其他几种类型。