0


区块链开发之Solidity编程基础(一)

Solidy是当前编写智能合约的主流语言

概要

由ETH为代表的第二代区块链技术,相比于第一代区块链技术而言,最大的特点就是智能合约的出现,让去中心化应用成为了可能。ETH节点为智能合约提供运行环境:EVM(Ethereum Virtual Machine)以太坊虚拟机。EVM是一个动态运行沙盒,可以将以太坊上所有的智能合约和周围环境全部隔离。因此,EVM上运行的智能合约无法访问网络、文件系统或者在EVM上运行的其他进程。

Solidity是一个基于合约高级编程语言,它是静态类型语言,支持继承、库和复杂的用户定义两类型等功能。它可以被编译成EVM的汇编语言,从而被链上的节点所执行。其他语言还有Serpent、Vyper和LLL,同样可被编程成EVM的汇编语言从而在其节点上运行。

solidity的IDE环境可使用:Remix

sol文件结构

编译开发

pragma关键字沿用c、c++编译指令概念。

pragma solidity ^0.4.0;

以上指令表明编译器版本需要高于0.4.0才可编译。

pragma solidity >=0.4.22<0.6.0;

可以使用更复杂的规则来指定编译器的版本,表达式遵循 npm 版本语义。

引入其他文件

1、全局引入:

import"filename";

2、自定义命名空间
此语句将从 “filename” 中导入所有的全局符号到当前全局作用域中(不同于 ES6,Solidity 是向后兼容的)。

import*as symbolName from"filename";

…创建一个新的全局符号 symbolName,其成员均来自 “filename” 中全局符号。

另一种语法不属于 ES6,但或许更简便:

import"filename"as symbolName;

3、多包引入

import{symbol1 as alias, symbol2}from"filename";

创建新的全局符号 alias 和 symbol2,分别从 “filename” 引用 symbol1 和 symbol2 。

4、路径
上文中的 filename 总是会按路径来处理,以

/

作为目录分割符、以

.

标示当前目录、以

..

表示父目录。 当

.

..

后面跟随的字符是

/

时,它们才能被当做当前目录或父目录。 只有路径以当前目录

.

或父目录

..

开头时,才能被视为相对路径

import "./x" as x;

语句导入当前源文件同目录下的文件 x 。 如果用

import "x" as x;

代替,可能会引入不同的文件(在全局 include directory 中)。

Remix 提供一个为 github 源代码平台的自动重映射,它将通过网络自动获取文件: 比如,你可以使用

import "github.com/ethereum/dapp-bin/library/iterable_mapping.sol" as it_mapping;

导入一个 map 迭代器。

关于编译器的路径配置可以根据自己的编译器进行查找

注释

代码注释

// 这是一个单行注释。/*
这是一个
多行注释。
*/

文档注释

pragma solidity ^0.4.0;/** @title 形状计算器。 */
contract shapeCalculator {/** @dev 求矩形表明面积与周长。
    * @param w 矩形宽度。
    * @param h 矩形高度。
    * @return s 求得表面积。
    * @return p 求得周长。
    */functionrectangle(uint w, uint h)returns(uint s, uint p){
        s = w * h;
        p =2*(w + h);}}

合约

在 Solidity 中,合约类似于面向对象编程语言中的类。 每个合约中可以包含 状态变量、 函数、 函数修饰器、事件、 结构类型、 和 枚举类型 的声明,且合约可以从其他合约继承。

采用关键字 contract声明

pragma solidity ^0.4.0;

contract ContractExample{}

状态变量

状态变量是永久地存储在合约存储中的值,在合约里声明而不属于任何函数的都是状态变量。

pragma solidity ^0.4.0;

contract SimpleStorage {
    uint storedData;// 状态变量// ...}

类型

Solidity 是一种静态类型语言,这意味着每个变量(状态变量和局部变量)都需要在编译时指定变量的类型(或至少可以推导出变量类型 – 类型推导)。 Solidity 提供了几种基本类型,可以用来组合出复杂类型。

值类型

以下类型也称为值类型,因为这些类型的变量将始终按值来传递。 也就是说,当这些变量被用作函数参数或者用在赋值语句中时,总会进行值拷贝

1、 布尔类型

bool

:可能的取值为字面常数值

true

false

运算符:

!

(逻辑非)

&&

(逻辑与, “and” )

||

(逻辑或, “or” )

==

(等于)

!=

(不等于)
运算符

||

&&

都遵循同样的短路( short-circuiting )规则。就是说在表达式 f(x) || g(y) 中, 如果 f(x) 的值为 true ,那么 g(y) 就不会被执行,即使会出现一些副作用。

2、整型

int / uint

:分别表示有符号和无符号的不同位数的整型变量。 支持关键字

uint8

uint256

(无符号,从 8 位到 256 位)以及

int8

int256

,以 8 位为步长递增。

uint

int

分别是

uint256

int256

的别名。

运算符:

比较运算符:

<= , < , == , != , >= , > (返回布尔值)

位运算符:

& , | , ^ (异或), ~ (位取反)

算数运算符:

+ , - , 一元运算 - , 一元运算 + , * , / , % (取余) , ** (幂), << (左移位) , >> (右移位)

除法总是会截断的(仅被编译为 EVM 中的 DIV 操作码), 但如果操作数都是 字面常数(literals) (或者字面常数表达式),则不会截断。

除以零或者模零运算都会引发运行时异常。

移位运算的结果取决于运算符左边的类型。
表达式

x << y 与 x * 2^y

是等价的,

x >> y 与 x / 2^y

是等价的。这意味对一个负数进行移位会导致其符号消失。 按负数位移动会引发运行时异常。

3、地址

address

:地址类型存储一个 20 字节的值(以太坊地址的大小)。 地址类型也有成员变量,并作为所有合约的基础。

运算符:

<=, <, ==, !=, >= 和 >

ps
从 0.5.0 版本开始,合约不会从地址类型派生,但仍然可以显式地转换成地址类型

关于地址类型相关内容,在后文介绍

4、定长字节数组

关键字有

:bytes1, bytes2, bytes3, ..., bytes32

byte 是 bytes1

的别名。

可以通过16进制字面量或者数字字面量来设定bytesi:
bytes1 aa = 0x30; //16进制字面量
bytes2 bb = 10; //数字字面量

也可通过字符来设定bytesi:
bytes1 dd = ‘a’;

运算符:

比较运算符:

<=, <, ==, !=, >=, > (返回布尔型)

位运算符:

&, |, ^ (按位异或), ~ (按位取反), << (左移位), >> (右移位)

索引访问:如果 x 是 bytesI 类型,那么

x[k] (其中 0 <= k < I)返回第 k 个字节(只读)


该类型可以和作为右操作数的任何整数类型进行移位运算(但返回结果的类型和左操作数类型相同),右操作数表示需要移动的位数。 进行负数位移运算会引发运行时异常。

成员变量:

.length

表示这个字节数组的长度(只读).

5、有理数和整型字面量

  • 整数字面量:1,10,-1,-100
  • 字符字面量:“test”、‘test’,双引号或者单引号都可以
  • 地址字面量:0xdCad3a6d3569DF655070DEd06cb7A1b2Ccd1D3AF
  • 16进制字面量,以0x为前缀:0x9aaa
  • 数字字面量:7.5,0.2

整数字面常数由范围在 0-9 的一串数字组成,表现成十进制。 例如,69 表示数字 69。 Solidity 中是没有八进制的,因此前置 0 是无效的。

十进制小数字面常数带有一个

.

,至少在其一边会有一个数字。 比如:

1.

.1

,和

1.3

科学符号也是支持的,尽管指数必须是整数,但底数可以是小数。 比如

:2e10, -2e10, 2e-10, 2.5e1

数值字面常数表达式本身支持任意精度,除非它们被转换成了非字面常数类型(也就是说,当它们出现在非字面常数表达式中时就会发生转换)。 这意味着在数值常量表达式中, 计算不会溢出而除法也不会截断

例如, (2^800 + 1) - 2^800 的结果是字面常数 1 (属于 uint8 类型),尽管计算的中间结果已经超过了 以太坊虚拟机Ethereum Virtual Machine(EVM) 的机器字长度。 此外,

.5 * 8

的结果是整型 4 (尽管有非整型参与了计算)。

只要操作数是整型,任意整型支持的运算符都可以被运用在数值字面常数表达式中。 如果两个中的任一个数是小数,则不允许进行位运算。如果指数是小数的话,也不支持幂运算(因为这样可能会得到一个无理数)。

6、枚举类型

pragma solidity ^0.4.0;

contract test {enum ActionChoices { GoLeft, GoRight, GoStraight, SitStill }
    ActionChoices choice;
    ActionChoices constant defaultChoice = ActionChoices.GoStraight;functionsetGoStraight()public{
        choice = ActionChoices.GoStraight;}// 由于枚举类型不属于 |ABI| 的一部分,因此对于所有来自 Solidity 外部的调用,// "getChoice" 的签名会自动被改成 "getChoice() returns (uint8)"。// 整数类型的大小已经足够存储所有枚举类型的值,随着值的个数增加,// 可以逐渐使用 `uint16` 或更大的整数类型。functiongetChoice()public view returns(ActionChoices){return choice;}functiongetDefaultChoice()public pure returns(uint){returnuint(defaultChoice);}}

7、函数类型

函数类型是一种表示函数的类型。

  • 可以将一个函数赋值给另一个函数类型的变量
  • 也可以将一个函数作为参数进行传递
  • 还能在函数调用中返回函数类型变量。

函数类型有两类:- 内部(internal) 函数和 外部(external) 函数:

  • 内部函数

只能在当前合约内被调用(更具体来说,在当前代码块内,包括内部库函数和继承的函数中),因为它们不能在当前合约上下文的外部被执行。 调用一个内部函数是通过跳转到它的入口标签来实现的,就像在当前合约的内部调用一个函数。

  • 外部函数

由一个地址和一个函数签名组成,可以通过外部函数调用传递或者返回。

函数类型表示成如下的形式

function(<parameter types>){internal(默认)|external}[pure|constant|view|payable][returns(<return types>)]

例如:ER20协议的sendTokens函数

functionsendTokens(address receiver, uint256 amount)publicreturns(bool){}
  1. 该函数有两个参数,分别是流量类型addreess的receiver(接收地址),uint256的amount(数量)。
  2. 函数默认internal内部函数,如果为外部函数external时需要显示声明。
  3. 如果没有返回结果,则必须省略return关键字

引用类型

比起之前讨论过的值类型,在处理复杂的类型(即占用的空间超过 256 位的类型)时,我们需要更加谨慎。 由于拷贝这些类型变量的开销相当大,我们不得不考虑它的存储位置,是将它们保存在 ** 内存memory ** (并不是永久存储)中, 还是 ** 存储storage ** (保存状态变量的地方)中。

1、数据的存储

关于数据的存储位置:memory、storage、calldata

  • 根据上下文不同,大多数时候数据有默认的位置,但也可以通过在类型名后增加关键字 storage 或 memory 进行修改。
  • 函数参数(包括返回的参数)的数据位置默认是 memory, 局部变量的数据位置默认是 storage,状态变量的数据位置强制是 storage (持久化)。
  • 也存在第三种数据位置, calldata ,这是一块只读的,且不会永久存储的位置,用来存储函数参数外部函数的参数(非返回参数)的数据位置被强制指定为 calldata ,效果跟 memory 差不多。

2、数据传递方式

相比于值类型的值拷贝方式,因为复杂类型占用空间较大,复制时占用空间较大,所以采用引用传递方式。

  • 状态变量向局部变量赋值时仅仅传递一个引用,而且这个引用总是指向状态变量,因此后者改变的同时前者也会发生改变。
  • 从一个 内存memory 存储的引用类型向另一个 内存memory 存储的引用类型赋值并不会创建拷贝。
pragma solidity ^0.4.0;

contract C{
    uint[] x;// 状态变量 x 的数据存储位置是 storage// 函数参数 memoryArray 的数据存储位置是 memoryfunctionf(uint[] memoryArray)public{
        x = memoryArray;// memory 将整个数组拷贝到 storage 中,可行var y = x;// 分配一个指针(其中 y 的数据存储位置是 storage),可行
        y[7];// 返回第 8 个元素,可行
        y.length =2;// 通过 y 修改 x,可行delete x;// 清除数组,同时修改 y,可行// 下面的就不可行了;需要在 storage 中创建新的未命名的临时数组, /// 但 storage 是“静态”分配的:// y = memoryArray;// 下面这一行也不可行,因为这会“重置”指针,// 但并没有可以让它指向的合适的存储位置。// delete y;g(x);// 调用 g 函数,同时移交对 x 的引用h(x);// 调用 h 函数,同时在 memory 中创建一个独立的临时拷贝}functiong(uint[] storage storageArray) internal {}functionh(uint[] memoryArray)public{}}

3、引用类型

常见的引用类型有:

  1. 数组(Array)
  2. 不定长字节数组(Bytes)
  3. 字符串(String)
  4. 结构体(Struct)
1、数组

数组可以在声明时指定长度,也可以动态调整大小。 对于 存储storage 的数组来说,元素类型可以是任意的(即元素也可以是数组类型,映射类型或者结构体)。 对于 内存memory 的数组来说,元素类型不能是映射类型,如果作为 public 函数的参数,它只能是 ABI 类型(后文介绍)。

一个元素类型为 T,固定长度为 k 的数组可以声明为 **T[k]**,而动态数组声明为 **T[]**。

举个例子,一个长度为 5,元素类型为 uint 的动态数组的数组,应声明为 uint[][5] (注意这里跟其它语言比,数组长度的声明位置是反的)。
要访问第三个动态数组的第二个元素,你应该使用 x[2][1](数组下标是从 0 开始的,且访问数组时的下标顺序与声明时相反,也就是说,x[2] 是从右边减少了一级)。

bytes 和 string 类型的变量是特殊的数组。 bytes 类似于 byte[],但它在 calldata 中会被“紧打包”(将元素连续地存在一起,不会按每 32 字节一单元的方式来存放)。 string 与 bytes 相同,但(暂时)不允许用长度或索引来访问。

如果想要访问以字节表示的字符串 s,请使用

bytes(s).length / bytes(s)[7] = 'x';


注意这时你访问的是 UTF-8 形式的低级 bytes 类型,而不是单个的字符。

可以将数组标识为 public,从而让 Solidity 创建一个 getter。 之后必须使用数字下标作为参数来访问 getter。

创建内存数组
可使用 new 关键字在内存中创建变长数组。 与 存储storage 数组相反的是,你 不能 通过修改成员变量 .length 改变 内存memory 数组的大小。

pragma solidity ^0.4.16;

contract C{functionf(uint len)public pure {
        uint[] memory a =newuint[](7);
        bytes memory b =newbytes(len);// 这里我们有 a.length == 7 以及 b.length == len
        a[6]=8;//不能修改memory数组的长度,错误信息:表达式必须是个左值表达式//a.length = 100;}//storage 数组
    uint[]b;functiong(){
        b =newuint[](7);//可以修改storage的数组
        b.length =10;
        b[9]=100;}}

成员

  1. length:

数组有 length 成员变量表示当前数组的长度。 动态数组可以在 存储storage (而不是 内存memory )中通过改变成员变量 .length 改变数组大小。 并不能通过访问超出当前数组长度的方式实现自动扩展数组的长度。 一经创建,内存memory 数组的大小就是固定的(但却是动态的,也就是说,它依赖于运行时的参数)。

  1. push:

变长的 存储storage 数组以及 bytes 类型(而不是 string 类型)都有一个叫做 push 的成员函数,它用来附加新的元素到数组末尾。 这个函数将返回新的数组长度。

2、不定长字节数组(Bytes)

Bytes是一个动态数组,它与byte[]不同。byte[]数组为每个元素分配32字节,而bytes对所有字节进行紧打包,Bytes可以声明为一个设定长度的状态变量,如下面的代码:

bytes localBytes =newbytes(0);//bytes可以直接赋值
localBytes ="This is a test";//数组成员,附加一个元素到数组末尾
localBytes.push(byte(10));//数组成员,表示当前数组长度return localBytes.length;
3、字符串(String)

不像c语言需要’\0’结尾,其存储为UTF-8编码

4、结构体(Struct)

结构体采用struct关键字声明, 由变量构成,是一个组合数据类型。

pragma solidity ^0.4.11;

contract CrowdFunding {// 定义的新类型包含两个属性。
    struct Funder {//地址类型
        address addr;//uint
        uint amount;}//4个变量
    struct Campaign {
        address beneficiary;
        uint fundingGoal;
        uint numFunders;
        uint amount;mapping(uint=> Funder) funders;}

    uint numCampaigns;//字典映射mapping(uint=> Campaign) campaigns;//创建一个Campaign并存储在字典里functionnewCampaign(address beneficiary, uint goal)publicreturns(uint campaignID){
        campaignID = numCampaigns++;// campaignID 作为一个变量返回// 创建新的结构体示例,存储在 storage 中。我们先不关注映射类型。
        campaigns[campaignID]=Campaign(beneficiary, goal,0,0);}//通过id映射获取Campaign并创建Funder存储到Campaign的成员funders数组中functioncontribute(uint campaignID)public payable {//引用关系,所以可以直接修改局部变量c从而修改到campaigns状态变量的数据
        Campaign storage c = campaigns[campaignID];// 以给定的值初始化,创建一个新的临时 memory 结构体,// 并将其拷贝到 storage 中。// 注意你也可以使用 Funder(msg.sender, msg.value) 来初始化。
        c.funders[c.numFunders++]=Funder({addr: msg.sender, amount: msg.value});
        c.amount += msg.value;}functioncheckGoalReached(uint campaignID)publicreturns(bool reached){
        Campaign storage c = campaigns[campaignID];if(c.amount < c.fundingGoal)returnfalse;
        uint amount = c.amount;
        c.amount =0;
        c.beneficiary.transfer(amount);returntrue;}}

上面的合约只是一个简化版的众筹合约,但它已经足以让我们理解结构体的基础概念。 结构体类型可以作为元素用在映射和数组中,其自身也可以包含映射和数组作为成员变量。

注意在函数中使用结构体时,一个结构体是如何赋值给一个局部变量(默认存储位置是 存储storage )的。 在这个过程中并没有拷贝这个结构体,而是保存一个引用,所以对局部变量成员的赋值实际上会被写入状态。

当然,你也可以直接访问结构体的成员而不用将其赋值给一个局部变量,就像这样, campaigns[campaignID].amount = 0。

4、字典/映射

字典是一种Key/Value对。在声明时的形式为 mapping(_KeyType => _ValueType)。 其中 _KeyType 可以是除了映射、变长数组、合约、枚举以及结构体以外的几乎所有类型。 _ValueType 可以是包括映射类型在内的任何类型。

上文我们在实现众筹合约时,即使用到了

mapping (uint => Campaign) campaigns;

字典,字典不支持迭代,但可以在此基础上实现一个可迭代的映射

5、特殊情况

变量定义是放在栈上的,因为栈的容量限制,只能容纳16层,如果定义太多本地变量会导致栈溢出。
解决方案可以将变量封装在结构体里、或者使用memory在内存上创建。


本文转载自: https://blog.csdn.net/BBinChina/article/details/122395501
版权归原作者 BBinChina 所有, 如有侵权,请联系我们删除。

“区块链开发之Solidity编程基础(一)”的评论:

还没有评论