作者: AlexTan
CSDN: http://blog.csdn.net/alextan_
Github: https://github.com/AlexTan-b-z
e-mail: [email protected]
(ps:这是本博主撰写的第二部系列作品,第一部是写的java入门教程,受到了不少读者的喜欢,如果你也喜欢的话,欢迎关注哟!)
本教程主要面向区块链新手,用通俗易懂的方式讲解区块链技术。
这一小节,我们主要讲以太访、智能合约、web3三者之间的关系,以及智能合约(solidity)的基本特性。为了方便开发,理解这些是非常有必要的。
什么是以太访,到这里我想大家大概都已经明白了。那什么是web3(泛指web3.js、web3.py等)呢?前面也提到过,它就相当于是以太访区块链的接口(api),我们是通过web3,把智能合约部署在区块链上的,我们是通过web3获取到的区块链相关信息以及进行一些交易。更多细节请参考:web3.js API中文文档
其实web3无非是封装的以太访的JSON-RPC,其JSON-RPC针对不同版本的以太访客户端支持以下请求方式:
cpp-ethereum | go-ethereum | py-ethereum | parity |
---|---|---|---|
JSON-RPC 1.0 | ✓ | ||
JSON-RPC 2.0 | ✓ | ✓ | ✓ |
Batch requests | ✓ | ✓ | ✓ |
HTTP | ✓ | ✓ | ✓ |
IPC | ✓ | ✓ | |
WS | ✓ |
更多请参考:
以太访中,开发智能合约有很多种语言:
而目前官方的最流行的就是solidity。
Solidity的合约其实就类似于面向对象里所说的类(从某种意义来说,其实就是!),但是和传统的类又有所不同,其不同点主要在以下几点(仅对代码而言):
1. 调用机制不同
2. 成员类型不同
3. 构造函数不能重载
cankao我们将详细讲解以上几点:
Solidity的函数调用机制是消息调用的模式,什么是消息调用呢?
其实可以简单的把它理解成交易(ps:可以把智能合约的所有的函数调用都理解成交易,这也是为什么说智能合约是通过用户的交易行为触发的。),交易即要有发起交易的人,发送目标是什么,发送的数额是多少等。也就是说,每次的函数调用,也得有这些数据。
我们在合约函数内部可以用msg.sender
获取调用函数的人(即上面提到的发起交易的人),msg.value
获取用户发生的金额(可无),有没有发生目标根据函数实现的具体功能来确定。
而通过web3调用函数时,也得在函数参数后面加一个:{from:web3.eth.accounts[0], gas:44000000}
类似这样的一个参数。
我们前面提到,调用合约函数是需要Gas费的,具体的说是,调用涉及写操作的函数是需要Gas费的,如果只是读操作,比如说读状态变量等,可以通过call()
的方式调,这样是不需要消耗Gas费的,关于Gas费的计费方式我们前面已经讲到过,这里就不一一阐述了。
像java、c++等面向对象的语言一般只有public、protected、private
这三种类型,而solidity里有:public、private、internal、external
四种类型,其中分别表示的意义是:
需要注意的是,不像传统语言那样,成员变量的外部调用可以更改变量的值,solidity的成员外部调用是不可以修改变量值的,任何类型都不能修改。
需要注意的另一个点:不同的类型的gas花费是不同的,能少用public尽量少用public,为什么呢?下面我们来看实例:
pragma solidity^0.4.18;
contract Test {
uint[10] x = [1, 2, 3, 4, 5, 6, 7, 8, 9, 10];
function test(uint[10] a) public returns (uint){
return a[9]*2;
}
function test2(uint[10] a) external returns (uint){
return a[9]*2;
}
function calltest() {
test(x);
}
function calltest2() {
this.test2(x);
//test2(x); //不能在内部调用一个外部函数,会报编译错误。
}
}
打开Remix - Solidity IDE,帖入代码,创建合约。
然后,我们分别调用test及test2,对比执行花费的gas。
可以看到调用pubic函数花销更大,这是为什么呢?
当使用public 函数时,Solidity会立即复制数组参数数据到内存, 而external函数则是从calldata读取,而分配内存开销比直接从calldata读取要大的多。
那为什么public函数要复制数组参数数据到内存呢?是因为public函数可能会被内部调用,而内部调用数组的参数是当做指向一块内存的指针。
对于external函数不允许内部调用,它直接从calldata读取数据,省去了复制的过程。
所以,如果确认一个函数仅仅在外部访问,请用external。
同样,我们接着对比calltest()及calltest2(),这里不截图了,大家自己运行对比一下,可以发现:calltest2的开销比calltest的开销大很多,这是因为通过this.f()模式调用,会有一个大开销的CALL调用,并且它传参的方式也比内部传递开销更大。
因此,极不建议用this.function()
的方式在内部调用external的函数,如果需要内外部都能访问,还是老实用public吧。
同理,我们把external改成private或者internal,我们会发现external、private会比public的花费更少,因此,当成员变量只需要内部访问时,尽量用private或者internal。
总之,当我们确定好成员的使用范围时,用其相应的类型就好,不要一位的使用public。
contant: 函数有返回值,且返回的是状态变量。
pure:函数有返回值,且返回的不是变量,返回的是一个具体的值。
view:函数有返回值,返回的既不是具体的值也不是状态变量,例如:局部变量、msg.sender等。
payable: 可以通过这个函数发送以太币给合约。
Solidity 类型分为两类:值类型(Value Type) 及 引用类型(Reference Types)。
值类型包含:
布尔(bool):可能的取值为常量值true和false。
布尔类型支持的运算符有:
注意:运算符&&和||是短路运算符,如f(x)||g(y),当f(x)为真时,则不会继续执行g(y)。
cankao
int/uint: 表示有符号和无符号不同位数整数。支持关键字uint8 到 uint256 (以8步进),
uint 和 int 默认对应的是 uint256 和 int256。
支持的运算符:
说明:
注意:Solidity中,右移位是和除等价的,因此右移位一个负数,向下取整时会为0,而不像其他语言里为无限负小数。
注意:定长浮点型 Solidity(发文时)还不完全支持,它可以用来声明变量,但不可以用来赋值。
fixed/ufixed: 表示有符号和无符号的固定位浮点数。关键字为ufixedMxN 和 ufixedMxN。
M表示这个类型要占用的位数,以8步进,可为8到256位。
N表示小数点的个数,可为0到80之前
支持的运算符:
关键字有:bytes1, bytes2, bytes3, …, bytes32。(以步长1递增)
byte代表bytes1。
支持的运算符:
移位运算和整数类似,移位运算的结果的正负取决于操作符左边的数,且不能进行负移位。
成员变量:
.length:表示这个字节数组的长度(只读)。
cankao
根据经验:
bytes用来存储任意长度的字节数据,string用来存储任意长度的(UTF-8编码)的字符串数据。
如果长度可以确定,尽量使用定长的如byte1到byte32中的一个,因为这样更省空间。
也有人把Literals翻译为字面量
整型常量是有一系列0-9的数字组成,10进制表示,比如:8进制是不存在的,前置0在Solidity中是无效的。
10进制小数常量(Decimal fraction literals)带了一个., 在.的两边至少有一个数字,有效的表示如:1., .1 和 1.3.
科学符号也支持,基数可以是小数,指数必须是整数, 有效的表示如: 2e10, -2e10, 2e-10, 2.5e1。
数字常量表达式本身支持任意精度,也就是可以不会运算溢出,或除法截断。但当它被转换成对应的非常量类型,或者将他们与非常量进行运算,则不能保证精度了。
如:(2**800 + 1) - 2**800的结果为1(uint8整类) ,尽管中间结果已经超过计算机字长。另外:.5 * 8的结果是4,尽管有非整形参与了运算。
只要操作数是整形,整型支持的运算符都适用于整型常量表达式。
如果两个操作数是小数,则不允许进行位运算,指数也不能是小数。
注意:
Solidity对每一个有理数都有一个数值常量类型。整数常量和有理数常量从属于数字常量。所有的数字常表达式的结果都属于数字常量。所以1 + 2和2 + 1都属于同样的有理数的数字常量3
警告:
整数常量除法,在早期的版本中是被截断的,但现在可以被转为有理数了,如5/2的值为 2.5
注意:
数字常量表达式,一旦其中含有常量表达式,它就会被转为一个非常量类型。下面代码中表达式的结果将会被认为是一个有理数:
uint128 a = 1;
uint128 b = 2.5 + a + 0.5;
cankao上述代码编译不能通过,因为b会被编译器认为是小数型。
字符串常量是指由单引号,或双引号引起来的字符串 (“foo” or ‘bar’)。字符串并不像C语言,包含结束符,”foo”这个字符串大小仅为三个字节。和整数常量一样,字符串的长度类型可以是变长的。字符串可以隐式的转换为byte1,…byte32 如果适合,也会转为bytes或string。
字符串常量支持转义字符,比如\n,\xNN,\uNNNN。其中\xNN表示16进制值,最终转换合适的字节。而\uNNNN表示Unicode编码值,最终会转换为UTF8的序列。
十六进制常量,以关键字hex打头,后面紧跟用单或双引号包裹的字符串,内容是十六进制字符串,如hex”001122ff”。cankao
它的值会用二进制来表示。
十六进制常量和字符串常量类似,也可以转换为字节数组。
在Solidity中,枚举可以用来自定义类型。它可以显示的转换与整数进行转换,但不能进行隐式转换。显示的转换会在运行时检查数值范围,如果不匹配,将会引起异常。枚举类型应至少有一名成员。下面是一个枚举的例子:
pragma solidity ^0.4.0;
contract test {
enum ActionChoices { GoLeft, GoRight, GoStraight, SitStill }
ActionChoices choice;
ActionChoices constant defaultChoice = ActionChoices.GoStraight;
function setGoStraight() {
choice = ActionChoices.GoStraight;
}
// Since enum types are not part of the ABI, the signature of "getChoice"
// will automatically be changed to "getChoice() returns (uint8)"
// for all matters external to Solidity. The integer type used is just
// large enough to hold all enum values, i.e. if you have more values,
// `uint16` will be used and so on.
function getChoice() returns (ActionChoices) {
return choice;
}
function getDefaultChoice() returns (uint) {
return uint(defaultChoice);
}
}
引用类型是一个复杂类型,占用的空间通常超过256位, 拷贝时开销很大,因此我们需要考虑将它们存储在什么位置,是memory(内存中,数据不是永久存在)还是storage(永久存贮在区块链中)
所有的复杂类型如数组(arrays)和数据结构(struct)有一个额外的属性:数据的存储位置(data location)。可为memory和storage。
根据上下文的不同,大多数时候数据位置有默认值,也通过指定关键字storage和memory修改它。
函数参数(包含返回的参数)默认是memory。
局部复杂类型变量(local variables)和 状态变量(state variables) 默认是storage。
局部变量:局部作用域(越过作用域即不可被访问,等待被回收)的变量,如函数内的变量。状态变量:合约内声明的公有变量
还有一个存储位置是:calldata,用来存储函数参数,是只读的,不会永久存储的一个数据位置。外部函数的参数(不包括返回参数)被强制指定为calldata。效果与memory差不多。
数据位置指定非常重要,因为他们影响着赋值行为。
在memory和storage之间或与状态变量之间相互赋值,总是会创建一个完全独立的拷贝。
而将一个storage的状态变量,赋值给一个storage的局部变量,是通过引用传递。所以对于局部变量的修改,同时修改关联的状态变量。
另一方面,将一个 memory 的引用类型赋值给另一个 memory 的引用,不会创建拷贝(即:memory 之间是引用传递)。
- 注意:不能将 memory 赋值给局部变量。
- 对于值类型,总是会进行拷贝。
下面看一段代码:
pragma solidity ^0.4.0;
contract C {
uint[] x; // x的存储位置是storage
// memoryArray的存储位置是 memory
function f(uint[] memoryArray) public {
x = memoryArray; // 从 memory 复制到 storage
var y = x; // storage 引用传递局部变量y(y 是一个 storage 引用)
y[7]; // 返回第8个元素
y.length = 2; // x同样会被修改
delete x; // y同样会被修改
// 错误, 不能将memory赋值给局部变量
// y = memoryArray;
// 错误,不能通过引用销毁storage
// delete y;
g(x); // 引用传递, g可以改变x的内容
h(x); // 拷贝到memory, h无法改变x的内容
}
function g(uint[] storage storageArray) internal {}
function h(uint[] memoryArray) public {}
}
storage 存储结构是在合约创建的时候就确定好了的,它取决于合约所声明状态变量。但是内容可以被(交易)调用改变。
Solidity 称这个为状态改变,这也是合约级变量称为状态变量的原因。也可以更好的理解为什么状态变量都是storage存储。
memory 只能用于函数内部,memory 声明用来告知EVM在运行时创建一块(固定大小)内存区域给变量使用。
storage 在区块链中是用key/value的形式存储,而memory则表现为字节数组
EVM是一个基于栈的语言,栈实际是在内存(memory)的一个数据结构,每个栈元素占为256位,栈最大长度为1024。
值类型的局部变量是存储在栈上。
参考:Solidity官方文档-类型之data-location
36Q4ivp2bJer9fUQ6uyj4a4yLuTpp28D1T
0x786fda245ff497ce18e53618369a3e730a18fc1b
ENS: alextan.eth