待字閨中開發(fā)了一門區(qū)塊鏈方面的課程:《深入淺出ETH原理與智能合約開發(fā)》阀参,馬良老師講授鸣皂。此簡書文集記錄我的學習筆記摔踱。
課程共8節(jié)課虐先。其中,前四課講ETH原理派敷,后四課講智能合約蛹批。
第五課分為三部分:
- Dapp用例
- 合約結構
- Solidity語法
這篇文章是第五課第三部分的學習筆記:Solidity語法 。
這節(jié)課主要講解了以太坊編程語言 Solidity 簡介和語法基礎篮愉。
1腐芍、Solidity 簡介
1.1 Solidity 歷史
- 2014 年由 Gavin,Woods 首先發(fā)布設計试躏;
- 面向合約的語言猪勇,圖靈完備,緊密與以太坊底層結構耦合颠蕴;
- 設計比較靈活泣刹,吸收了javascript / python等多種語言的特點編譯型語言助析;
- 它還有一些缺陷,被指責是2016 DAO Hack的根本原因椅您,這是有爭議的一個地方外冀;
- 適用平臺不止Ethereum,還有Tendermint掀泳,Zeppelin雪隧,Counterparty;
- 其它實驗性質(zhì)的語言有vyper员舵,ewasm脑沿,serpent,mutan马僻。Solidity是主流庄拇,值得研究。
1.2 Solidity 技術特性
- 靜態(tài)類型
- 編譯型語言巫玻,即先編譯好丛忆,再在以太坊虛擬機上運行字節(jié)碼祠汇。
- 支持繼承 / 多繼承
- 支持函數(shù)重載
- 支持多種函數(shù)修飾符(包括自定義)
- 支持抽象接口(INTERFACE)
- 缺省不支持字符串操作以及slice操作
- 不支持定點數(shù) / 不支持操作符重載
1仍秤、Solidity 語法基礎
這節(jié)課只從整體上介紹一下基礎的語法,具體細節(jié)需要在實踐中探索可很。
2.1 數(shù)據(jù)類型
整型
uint8, uint16, uint24, ……, uint256分別用于存儲無符號的8位诗力,16位,24位我抠,……苇本,256位整數(shù)。 int8, int16, int24, ……, int256分別用于存儲8位菜拓,16位瓣窄,24位,……纳鼎,256位整數(shù)俺夕。 uint 和 int 分別uint256 和 int256 的別名。布爾型(Boolean)
其值可以是 true或者false贱鄙。枚舉類型(enum)
支持有理數(shù)和整數(shù)的表達劝贸,如科學計數(shù)法,可以做為常數(shù)逗宁。
字符串常數(shù)映九,如一個地址。
支持定長數(shù)組瞎颗。
第三件甥、四節(jié)課中講到過捌议,storage存在于前綴樹中,memory存在于虛擬機本地的實例中引有。memory中的數(shù)組只能支持定長類型禁灼,而storage中的數(shù)組可以是定長的,也可以是變長的轿曙。
2.2 引用類型與映射
- 數(shù)組
Dynamic Array弄捕,動態(tài)數(shù)據(jù),聲明時并不會特定地標明這個數(shù)據(jù)有多長导帝,一般還附有一個屬性守谓,就是長度。通過改變長度您单,來改變整個動態(tài)數(shù)組的大小斋荞。
在動態(tài)數(shù)組之上,有一個衍生的類型是字節(jié)數(shù)組(Bytes)虐秦,它也是一個可變長的數(shù)組平酿,是以原始字節(jié)存儲的內(nèi)容。
在動態(tài)數(shù)組基礎之上悦陋,還有另外一個數(shù)據(jù)類型蜈彼,字符串(String),將字符以UTF-8格式編碼后存儲在字節(jié)數(shù)組上俺驶,它的長度信息在這里不可用幸逆。
其中,Bytes包括bytes1暮现,bytes2还绘,bytes3,……栖袋,bytes32拍顷。byte是bytes1的別名。bytes32塘幅,32個字節(jié)昔案,正好是256位,以太坊虛擬機中一個棧的長度晌块。
- 結構體Structure
類似于C語言中的結構體
- 映射 Mapping
(key, value) 鍵值對爱沟,可以嵌套,value的值也可以是一個映射匆背。
- 以太坊特有的全局變量或操作(如圖)
time :時間
block :塊相關的內(nèi)容
msg :消息相關的內(nèi)容
tx :交易相關的內(nèi)容
contract :合約相關的內(nèi)容
address :地址相關呼伸,如balance, transfer, send, call
Exception Handler :異常處理。require(檢查外部), assert(檢查內(nèi)部),檢查出失敗則回滾括享;revert(直接回滾)搂根。
2.3 表達式/控制結構
Solidity 的控制語句和其它編程語言類似,如if / else, while / do / for, break / continue, return 等铃辖。但是剩愧,它沒有switch, goto 〗空叮可以return 多個返回值仁卷。合約可以多繼承。這部分在實踐中掌握犬第。
2.4 函數(shù)
函數(shù)是一大塊重要的內(nèi)容锦积。這里介紹兩部分內(nèi)容,訪問控制標識符和各類修飾符歉嗓。
訪問控制標識符有四種丰介,分別是public, private, external, internal,具體作用如上圖鉴分。
各類修飾符有pure, view, payable, indexed哮幢,還可以用modifier自定義修飾符。后面通過實例介紹志珍。
3橙垢、智能合約例子
最后通過Remix自帶的一個例子,可以復習鞏固前面的內(nèi)容碴裙。
這個例子在《區(qū)塊鏈原理钢悲、設計與應用》(楊保華点额、陳昌 編著)中也有舔株。
電子版:例子
(注,課程中老師講的例子較早一些还棱,鏈接中的例子有所更新载慈。)
在舊例子中,可在Remix中進行的實踐有:
- 創(chuàng)建投票珍手;
- 賦予投票權办铡;
- 委托投票權;
- 進行投票琳要;
- 查詢獲勝提案寡具。
(截圖略)
總結一下,這節(jié)課主要講解了以太坊編程語言 Solidity 簡介和語法基礎稚补,并提供了一個智能合約的例子童叠。
兩個例子中還有一些沒弄明白的地方。课幕。厦坛。
不足之處五垮,請批評指正。