solidity是一种静态类型语言,所以每个变量在编译的时候都要先定义。以下是solidity提供的类型:布尔类型,整型,地址类型。
1.布尔类型
bool
:可能的取值为常量的true
和false
。
操作符:
-
!
(逻辑非),取反。 -
&&
(逻辑与,and
),f(x) && g(y)
,如果如果f(x)
为false
,则g(y)
不进行计算。 -
||
(逻辑或,or
),f(x) || g(y)
,如果f(x)
为true
,则g(y)
不进行计算。 -
==
(相等) -
!=
(不相等)
2.整型
int
和uint
:有符号和无符号的整数,可加上数字表示整型的长度。
int8
表示8位二进制的有符号整型,范围为1111 1111 ~ 0111 1111
,即-127 ~ 127
。
int8
表示8位二进制的无符号整型,范围为0000 0000 ~ 1111 1111
,即0 ~ 255
。
可加的数字从8开始,递增8,直到256。如int8
、int16
、int24
...int256
。int
是int256
的简写,长度为256bit。(无符号整型同理。)
操作符:
- 比较 :
<=
,<
,==
,!=
,>=
,>
(计算布尔值) - 位操作符:
&
,|
,^
(按位异或),~
(按位取反) - 算术操作符:
+
,-
,*
,/
,%
(取余数),**
(幂次方)
3.地址类型
address
:一个地址长度为20字节,也就是uint160
(以太坊地址也是20字节)。
address payable
:版本0.5.0
开始,引入的新地址,应付地址,也是20字节。
address payable
相比address
,多了两个成员(函数)transfer
和send
。其中的区别为,普通的address
不能发送Ether,而address payable
可以发送Ether。
操作符:
-
<=
,<
,==
,!=
,>=
,>
,可对地址进行判断。
地址成员:
账户余额 balance
:
-
1.测试一下
balance
成员,获取部署合约的账户的余额。在Remix里新建一个sol文件后,输入如下代码(在这里提及了一下Remix的使用):
这里说一个小细节,部署合约后,单击一下编写好的函数,例如getBalance
,在右上角会出现,此函数的执行花费了838的gas
。 -
2.结果如下,Remix默认提供的测试账户里是有100个Eth的,部署合约和调用函数花费了部分的
gas
后,剩下的为balance
的结果。balance
为uint256
的数据类型。
发送Ether的成员函数 transfer
和send
:
1.
transfer
和send
都是合约发起方向某个地址发送Ether,区别为:transfer
执行时,如果gas
耗尽或者其他原因导致失败,会抛出异常,并且转移的Ether会原路退回。send
执行失败时,不会抛出异常,会直接返回false
。也就是send
相比transfer
更底层。-
2.
transfer
使用如下(send
同理),addr
为address payable
类型的地址,myAddress
为this
地址,表示的是合约地址。进行合约地址的余额的判断后,进行转帐。(以下代码的结果为false
,因为合约地址的余额为0。)address payable addr = address(0x123); address myAddress = address(this); if (addr.balance < 10 && myAddress.balance >= 10) addr.transfer(10);
3.使用
send
需要注意的地方:栈堆的调用深度最大为1024;gas
不够会调用失败;要留意send
的返回值。
4.总结
- 布尔类型,有真与假两种情况,用于判断。
- 整型,从8位二进制到256位二进制的,有符号或无符号的数,用于计量。
- 地址类型,20个字节,也就是160位二进制的值,用于表明使用合约的身份。转账的双方都是以地址的形式存在。