timezone |
---|
Asia/Shanghai |
-
自我介绍
3年軟體工程師 區塊鏈開發學習中
-
你认为你会完成本次残酷学习吗?
會
-
創建新文件後 → 開啟自動編譯 → 完成程式碼後部署
-
這是一個簡單的 Solidity 智能合約,名稱為
HelloWorld
。Solidity 是用來開發在以太坊等區塊鏈平台上運行的智能合約的編程語言。- 以下是這段程式碼的解釋:
- SPDX-License-Identifier: MIT:這是一個許可識別符,表示此合約是開源的,並使用 MIT 許可證。
- pragma solidity ^0.8.26;:這一行指定了該合約應使用的 Solidity 編譯器版本。
^
符號表示該合約與從0.8.26
到不包括重大版本變更的所有版本兼容。通常會選擇最新版本的前一版。 - contract HelloWorld { ... }:這段程式碼定義了一個名為
HelloWorld
的合約。在 Solidity 中,contract
類似於 object-oriented programming 中的class
,包含資料和函式。 - string public hi = "Hello World";:這一行聲明了一個名為
hi
的公開變數,類型是string
(字串),並且初始化為"Hello World"
。由於變數標記為public
,Solidity 自動生成了一個 getter 函式,允許任何人從區塊鏈上讀取hi
的值。
- 總結來說,這個合約是將字串
"Hello World"
儲存在一個公開變數中,並且可以通過調用部署後的合約中的hi()
函式來訪問該值。
- 以下是這段程式碼的解釋:
-
結果
-
值類型(Value Type):
- 值類型的變量在複製時,會將實際值複製到新變量中
uint
、int
、bool
、address
、bytes
、string
、enum
-
引用類型(Reference Type):
- 引用類型的變量會存儲其引用位置(如存儲在存儲、記憶體或 calldata 中),複製時會複製引用,而不是直接複製值。
- 動態或固定大小的
arrays
、struct
、mapping
-
特定數據類型(Special Data Types)
- 函數型變量(Function Types)
- 函數也可以作為變量來使用,特別是在智能合約中,允許將函數傳遞或作為參數傳遞。
-
布林值:值為
True
或False
bool public open = false; bool public open1 = !open; // true bool public open2 = open && open1; // false bool public open3 = open || open1; // true bool public open4 = open == open1; // false bool public open4 = open != open1; // true
-
整數:有
int
,uint
,uint256
- 區塊鏈開發中多用
uint
(非負整數) uint
=uint256
- 為何在區塊鏈開發中,
uint
(無符號整數) 通常比int
(有符號整數) 更常使用?- 節省 Gas 費用
int
需要額外的位元來存儲符號位(正或負),並在運算時檢查符號位,增加了計算複雜度和存儲空間。uint
僅處理非負數值,運算邏輯更簡單,因此在許多情況下可以降低合約執行的 Gas 成本。
- 避免負數邏輯錯誤
- 許多區塊鏈應用(如代幣交易、資金管理、投票系統等)只需要處理非負數的數值。例如:
- 代幣餘額不可能是負數。
- 交易金額也不應該是負的。
- 用戶的投票數量、持有代幣的數量、交易手續費等,都只能是正數。
- 在這些情境下,使用
uint
可以自動避免不正當的負數出現,從而減少潛在的邏輯錯誤和安全風險。
- 許多區塊鏈應用(如代幣交易、資金管理、投票系統等)只需要處理非負數的數值。例如:
- uint 比 int 範圍更大
- 總數值範圍(總數量) 是相同的,因為:
uint256
允許表示的值從 0 到 2^256 - 1 ,總共 2^256 個可能的值。int256
的範圍是從 負數到正數,即從 −2^255 到 2^255−1,同樣有 2^256 個可能的值。
- 但 表示的數值範圍不同:
uint256
只包含正數(和 0),範圍是從 0 到約 10^77。int256
包含正數和負數,範圍是 約 -10^77 到 10^77。
uint256
能表示的正數範圍更大,因為它不需要分配一半的範圍給負數。換句話說,uint256
可以表示的最大正數比int256
大得多。
- 總數值範圍(總數量) 是相同的,因為:
- 合約中更符合應用需求
- 大多數智能合約應用中,例如去中心化金融(DeFi)、代幣管理、資產交易,通常只需要處理非負數字。
- 節省 Gas 費用
// 運算 uint public num = 666; uint public num1 = num + 4; //670 uint public num2 = num - 6; //550 uint public num3 = num * 2; //1332 uint public num4 = num / 111; //6 uint public num5 = 2 ** 2; //4 uint public num6 = 7 % 2; //1 // 比大小 bool public isNumLarger = num > num1; //false
- 區塊鏈開發中多用
-
地址:
-
用來儲存
byte20
(以太坊地址大小) -
1 byte = 8 bits, 而 1 byte 是兩個 16 進制數字, 所以可以用來存 40 個 16進制數字
-
解釋
1. 什麼是 1 byte?
- 1 byte 是一個包含 8 個位元(bits)的資訊單位。每個位元可以是 0 或 1,因此 1 byte 可以有 2^8 = 256 種不同的數值範圍,對應的範圍是從 0 到 255(十進制)。
2. 16 進制表示法
-
16 進制(hexadecimal)是一種使用基數 16 的數字系統,數字範圍從 0 到 15。為了方便表示,16 進制的數字使用 0 到 9 來表示 0 到 9,並使用 A 到 F 來表示 10 到 15。
十進制 二進制 16 進制 0 0000 0 1 0001 1 2 0010 2 ... ... ... 10 1010 A 15 1111 F
3. 為什麼 1 byte 對應 兩個 16 進制數字?
- 示例: 假設我們有一個 1 byte 的值,十進制為 255,對應的二進制為
11111111
。- 將二進制數
11111111
分成兩組:1111
和1111
。 - 每組
1111
對應的 16 進制數為F
,因此這個 byte 在 16 進制表示中為FF
。
- 將二進制數
- 再看一個例子,十進制數字
165
對應的二進制是10100101
。- 分成兩組:
1010
和0101
。 1010
對應 16 進制的A
,0101
對應 16 進制的5
,因此 165 在 16 進制中表示為A5
。
- 分成兩組:
4. 總結
- 1 byte 有 8 個 bits,這些 bits 可以分成兩組,每組 4 個 bits,而 4 個 bits 可以對應 1 個 16 進制數字。因此,1 byte 可以表示為兩個 16 進制數字。
- 重要性:區塊鏈技術大量使用 16 進制來處理資料、計算哈希值、管理地址和進行合約開發
-
a. 地址表示
-
以太坊中的錢包地址是 160 bits,即 20 bytes。每個地址用 16 進制表示為 40 個字符(兩個 16 進制數字表示 1 byte)。
例如:
- 以太坊地址:
0x742d35cc6634c0532925a3b844bc454e4438f44e
- 該地址由 40 個 16 進制數字組成(去掉前面的
0x
),這相當於 20 bytes,能夠唯一標識以太坊上的一個帳戶。
- 以太坊地址:
-
使用 16 進制來表示大資料(如地址)不僅精簡,而且與低層次的二進制數據結構相容,非常適合區塊鏈需要高效存儲和計算的環境。
-
-
b. 哈希值與加密
-
區塊鏈依賴哈希函數來保證資料的完整性和安全性。常用的哈希算法(如 SHA-256)的輸出是 256 bits,也就是 32 bytes。這個哈希值通常以 16 進制來表示,因為 16 進制可以更加直觀地壓縮和閱讀這樣長的二進制數據。
例如:
- SHA-256 的輸出可以是:
0x3e23e8160039594a33894f6564e1b1348bb328186614d5e97d4f3f5a9c02efc1
- 這個哈希值包含 64 個 16 進制數字,對應的是 32 bytes 的數據。
- SHA-256 的輸出可以是:
-
16 進制表達在哈希值中非常重要,因為它使得以二進制進行的低層次運算更加高效和直觀。
-
-
c. 智能合約中資料結構的高效表示
-
智能合約(如 Solidity)中常常處理不同型別的資料,例如數字、字串、地址等。這些資料在存儲或傳輸時以 byte 格式處理,而在顯示或與外界交互時通常使用 16 進制。
-
例如,Solidity 中的
bytes
型別(例如bytes32
)是固定長度的 byte 序列,適合儲存和操作二進制資料。在執行合約或在區塊鏈上進行儲存時,這些 byte 通常會以 16 進制的方式顯示或輸出。bytes32 public data = 0xabcdef1234567890abcdef1234567890abcdef1234567890abcdef1234567890;
這是 32 bytes 的數據,用 16 進制表示有 64 個字符,方便處理和驗證。
-
-
d. 節省存儲與計算成本
- 區塊鏈上的每一個操作都需要計算成本(例如在以太坊上需要支付
Gas
)。 - 將資料以 16 進制的形式存儲和操作能有效減少存儲空間並提升運算效率,因為 16 進制與低層次的二進制計算非常相容。
- 例如,在區塊鏈中使用 16 進制數據可以縮減交易和合約的數據量,減少存儲需求,從而降低交易費用。
- 區塊鏈上的每一個操作都需要計算成本(例如在以太坊上需要支付
-
e. 調試與分析交易數據
- 開發者和使用者經常需要檢查區塊鏈上的交易數據、合約執行結果或原始區塊數據。這些數據通常會以 16 進制形式展示,因為它們是二進制數據的簡化表達方式。
- 例如,交易的資料字段、合約的 ABI(應用程式二進制介面)和交易哈希等都會以 16 進制顯示。開發者經常需要解碼 16 進制數據來調試和分析交易的正確性。
-
-
有分普通地址及 payable address(可轉帳地址)
contract HelloWorld{ address public _address = 0x5B38Da6a701c568545dCfcB03FcB875f56beddC4; address payable public _address1 = payable(_address); // payable address,可以轉帳、查餘額 uint256 public balance = _address1.balance; } // balance output: 99999999999996783714
-
為何 eth 是 18 個 0?
- 在以太坊中,1 ETH 等於 10¹⁸ Wei,也就是說,1 ETH 等於後面帶有 18 個 0 的 Wei。這類似於在傳統貨幣中,一美元可以分成 100 分(cents),但以太坊將 ETH 的最小單位設得更小。
- Wei 是以太坊貨幣系統中最小的單位。這樣設計的原因是區塊鏈系統中需要處理非常小的數值,特別是微交易(微量的支付或轉帳)。
- 將 ETH 分成更小的單位有助於精確處理非常小的交易量,避免因浮點運算產生誤差。
- 18 是一個相對較大的數字,但它提供了足夠的精度來處理微交易。這意味著即使是非常小的以太坊支付,仍然可以通過 Wei 來表示和處理。
- 在金融系統中,使用更小的分割單位來避免精度問題非常重要。例如,比特幣的最小單位是 Satoshi,而 1 比特幣等於 10⁸ Satoshi。
-
1 ETH = 10¹⁸ Wei
-
1 Gwei = 10⁹ Wei (Gwei 通常用來表示交易手續費,
gas price
)這種設計使以太坊能夠靈活處理從非常大額到非常小額的交易和操作。
-
-
定長 byte:
-
bytes1
,bytes8
,bytes32
等 -
長度在宣告之後不能改變,消耗 gas 相對少
-
不定長 byte 是 reference type
-
使用場景
- 密鑰或哈希值存儲:在智能合約中,定長字節數列常用於存儲哈希值(如
bytes32
用於存儲 Keccak256 哈希值)或某些固定長度的數據(如加密密鑰或標識符)。 - 效能:相比變長字節數列(
bytes
),定長字節數列在存儲和操作上更有效率,因為它們的長度在編譯時就已經確定,操作時不需動態計算長度。
contract HelloWorld{ bytes32 public newWord = "Solidity"; bytes1 public first_newWord = newWord[0]; } // newWord output: 0x536f6c6964697479000000000000000000000000000000000000000000000000 // first_newWord output: 0x53
- 密鑰或哈希值存儲:在智能合約中,定長字節數列常用於存儲哈希值(如
-
-
列舉(enum): 少用,為了增加可讀性
-
enum
可以和uint
轉換 -
為何!!!
contract HelloWorld{ enum ActionSet { Buy, Hold, Sell } ActionSet action = ActionSet.Buy; // enum can be converted to uint function enumToUint() external view returns(uint) { return uint(action); } } // enumToUint() output: 0
contract HelloWorld{ enum ActionSet { Buy, Hold, Sell } ActionSet public action; constructor() { action = ActionSet.Hold; // Explicitly initialize to Hold (1) } // enum can be converted to uint function enumToUint() external view returns(uint) { return uint(action); } } // enumToUint() output: 1
-
function <function name>(<parameter types>) {internal|external|public|private} [pure|view|payable] [returns (<return types>)]
-
function 函數名稱(參數們) 可見性修飾詞 狀態修飾詞 回傳值 { // 函數的內容 }
-
可見性修飾詞(Visibility Specifiers)
public
: 函數可以從外部或合約內部調用。自動生成 getter 方法。private
: 函數只能從合約內部調用,外部無法訪問。internal
: 函數只能從合約內部或繼承的合約調用,外部無法訪問。external
: 函數只能從合約外部調用,不能從內部直接調用(但可以用this.functionName()
調用)。
Within Contract Outside Contracts Child Contract External Account public O O O O private O X X X internal O X O X external X O X O contract ExampleContract { uint public count; // 合約中的狀態變量 // 宣告一個 public 函數,可以修改狀態變量 function increment() public { count += 1; } // 宣告一個 pure 函數,不修改也不讀取合約內部的狀態 function add(uint a, uint b) public pure returns (uint) { return a + b; } // 宣告一個 view 函數,可以讀取合約內部的狀態但不能修改 function getCount() public view returns (uint) { return count; } // 宣告一個 payable 函數,允許接收以太幣 function receiveEther() public payable { // 這個函數可以接收以太幣 } }
- 注意!鏈上數據是公開的。所以即使是
private
,也能透過 Ether.js / web3.js 等方法,去讀取slot中的數據。-
使用
private
宣告變量後,該變量不會自動生成對外的 getter 函數 -
即便限制在合約內部的訪問,該變量依然會存儲在區塊鏈的儲存槽(storage slot)中,而這些儲存槽對任何有區塊鏈訪問權限的人來說是可讀的。
-
如何讀取鏈上的
private
變量?要讀取變量的值,主要的挑戰是如何計算該變量所在的儲存位置(slot)。
- 儲存槽的概念: 每個合約的狀態變量都會按照它們宣告的順序被存儲在特定的儲存槽中。每個儲存槽的大小是 32 字節(256 位元)。例如,第一個變量存儲在 slot 0,第二個在 slot 1 依此類推。
- 計算變量的 slot: 通過查找變量在智能合約中的位置,可以計算出該變量存儲在哪個儲存槽。如果變量是結構體或陣列,則會使用更複雜的哈希算法來確定它的儲存槽。
- 讀取儲存槽的值: 使用像 Ether.js 這樣的庫,可以直接訪問區塊鏈的狀態並讀取特定 slot 的值。
例如,使用 Ether.js 的
provider.getStorageAt
方法可以讀取一個特定儲存槽中的數據:// 使用 Ether.js 讀取特定合約地址中的儲存槽數據 let slotIndex = 0; // 變量的儲存槽索引 let contractAddress = "0x合約地址"; let data = await provider.getStorageAt(contractAddress, slotIndex); console.log(data); // 這會輸出儲存槽中的值
假設一個合約中有以下變量:
contract MyContract { uint private secretValue = 123; }
- 這個
secretValue
儲存於儲存槽 0 中(因為它是第一個宣告的變量),即使變量標記為private
,依然可以透過鏈上的工具來讀取。
-
- 如何在智能合約中存儲私密數據?
- 不能僅依賴
private
關鍵字來保護該數據。要想真正確保隱私,可能需要將敏感數據進行加密,並在智能合約內部只存儲加密後的數據。 - 然而,即使如此,也應該注意到智能合約在鏈上執行的邏輯也是公開的,因此,如果加密和解密的過程包含在合約中,可能仍然存在被分析的風險。
- 不能僅依賴
-
狀態修飾詞 (State Modifiers):
pure
: 函數不讀取或修改區塊鏈上的狀態,也不讀取合約內部的變量,純粹執行運算。view
: 函數可以讀取區塊鏈上的狀態,但不能修改。payable
: 函數可以接收以太幣。沒有此關鍵字的函數無法接收以太幣。
-
payable
的意義- 明確性:
payable
關鍵字強制開發者明確標示哪些函數可以接收以太幣,這有助於防止錯誤的資金傳輸,並保護合約的安全性。這是因為不想接收以太幣的函數不應該無意間被允許接收資金。 - 資金處理:
payable
函數允許在執行時附帶以太幣,這在某些場景下非常重要,例如:- 當用戶需要支付合約某項服務時。
- 合約接收捐款或募集資金時。
- 資金傳遞和處理的相關功能。
- 明確性:
-
注意!智能合約中的函數若要接收以太幣(ETH),必須使用關鍵字
payable
來聲明。沒有這個關鍵字的函數,即便在執行過程中試圖發送以太幣給合約,也會導致交易失敗contract Example { // 沒有 payable 的函數 function notPayableFunction() public { // 該函數無法接收以太幣,若嘗試傳送 ETH,交易會失敗 } // 有 payable 的函數 function payableFunction() public payable { // 該函數可以接收以太幣,傳送的以太幣會被記錄到合約的餘額中 } // 返回合約內的以太幣餘額 function getBalance() public view returns (uint) { return address(this).balance; } }
notPayableFunction()
:這是一個普通的函數,沒有payable
關鍵字。它不能接收任何以太幣。如果有人在呼叫該函數時傳送以太幣,交易會失敗並回退(revert)。payableFunction()
:這個函數使用了payable
關鍵字,因此它可以接收以太幣。傳送的以太幣將被記錄到合約的餘額中,即address(this).balance
。
-
Gas Fee
- 在以太坊等基於區塊鏈的智能合約平台上,每個操作幾乎都需要支付一定的 gas fee
- 這是因為區塊鏈上的每個操作都需要計算資源,這些資源由網絡上的礦工或驗證者提供,並通過 gas 來補償他們的計算成本
- 哪些操作不消耗 gas?
- 純計算操作 (Pure Functions):
如果函數標記為
pure
,且只進行純計算操作(如數學運算,不涉及區塊鏈上的狀態),這樣的函數不會消耗 gas,前提是它是在本地執行(即使用call
呼叫,沒有觸發交易)。 - 只讀操作 (View Functions):
標記為
view
的函數僅僅讀取區塊鏈上的狀態,並且不修改任何狀態變量。在本地呼叫這些函數時(如通過call
方法),不會消耗 gas。這些函數不會改變區塊鏈上的狀態,因此無需支付 gas。
- 純計算操作 (Pure Functions):
如果函數標記為
- 以下是一些會消耗 gas 的常見操作:
-
- 交易(Transaction)
任何涉及到在區塊鏈上進行狀態變更的交易都會消耗 gas,包括:
- 發送以太幣:當用戶從一個帳戶發送以太幣到另一個帳戶,這個交易會消耗 gas。
- 發送帶有數據的交易:如果交易包括調用智能合約函數或傳送數據,這會需要更多的 gas。
-
- 部署智能合約
部署一個新的智能合約到區塊鏈上會消耗大量的 gas。這是因為合約的代碼和狀態需要寫入區塊鏈的永久存儲,這是一個相對昂貴的操作。
-
- 調用智能合約函數
當用戶或合約調用某個智能合約函數時,根據函數的操作不同,消耗的 gas 也會有所不同:
- 修改區塊鏈狀態:函數如果會改變區塊鏈上的狀態(例如寫入存儲變量),就會消耗較多的 gas。例如,修改合約中的變量、轉移代幣等操作。
- 創建新合約:在合約中創建其他合約(例如工廠模式)會消耗大量的 gas,因為它涉及部署新合約的成本。
-
- 寫入儲存 (Storage)
寫入區塊鏈的 持久性存儲 是智能合約中最昂貴的操作之一。當智能合約更新狀態變量或向區塊鏈寫入數據時,這些數據會被永久存儲在區塊鏈中,而這種操作非常昂貴。例如:
- 更新一個
mapping
或數組的值。 - 寫入新的變量或結構到合約的狀態存儲中。
-
- 合約中的內部計算與邏輯操作
即使不改變合約的狀態,合約中的邏輯操作和計算也會消耗 gas,儘管相比存儲操作來說,這些計算的 gas 消耗較低。常見的邏輯操作包括:
- 數學運算 (加法、減法、乘法等)。
- 邏輯判斷 (
if
條件、for
迴圈)。 - 哈希運算,例如
keccak256
。 - 呼叫其他合約或自身的函數。
-
- 讀取存儲 (Storage Reads)
讀取合約的永久存儲也會消耗 gas,但成本比寫入低得多。儘管讀取是比較便宜的操作,讀取越多數據仍然會增加 gas 的消耗。例如:
- 讀取
mapping
或數組的值。 - 獲取合約的狀態變量。
-
- 轉移以太幣或代幣
當合約內部或外部轉移以太幣或 ERC20 代幣時,這些操作通常會消耗 gas。包括:
- 使用
transfer()
或send()
函數轉移以太幣。 - 調用 ERC20 的
transfer()
函數來轉移代幣。
-
- 事件 (Events)
智能合約中的 事件 (events) 用於記錄交易日誌,這些日誌不儲存在區塊鏈的永久存儲中,但仍然需要消耗少量的 gas。當合約發出一個事件(例如
emit
關鍵字),雖然不會直接影響狀態,但會在交易日誌中保留記錄,這同樣需要 gas。 -
- 呼叫其他合約
當一個合約呼叫另一個合約時,這個操作需要額外的 gas。尤其是涉及跨合約的呼叫(例如合約 A 呼叫合約 B 的函數),每次呼叫的過程都會消耗 gas。
-
- Self-destruct(自毀合約)
當合約被自毀(使用
selfdestruct
函數)時,合約從區塊鏈中刪除,並將其餘額發送到指定地址。這個操作也會消耗 gas,不過它有時會退還部分 gas,因為自毀後會釋放合約的存儲空間。
-
- 函數宣告關鍵字:
function
- 可見性修飾詞:
public
,private
,internal
,external
- 狀態修飾詞:
pure
,view
,payable
- 其他常用關鍵字:
returns
,modifier
,override
-
在 Solidity 中,函式可以通過
returns
關鍵字來指定輸出的值function returnMultiple() public pure returns(uint256, bool, uint256[3] memory){ return(1, true, [uint256(1),2,5]); }
- 注意:
returns
跟在函数名後面,return
在函數裡
- 注意:
-
Solidity 如何返回函式輸出
-
- 返回單個值
當一個函式返回單個值時,
returns
關鍵字用來指定輸出類型。函數結束時,會使用return
關鍵字來返回結果。contract Example { // 返回一個整數 function getNumber() public pure returns (uint) { return 42; } // 返回一個字串 function getMessage() public pure returns (string memory) { return "Hello, Solidity!"; } }
-
- 命名式返回:返回多個值
命名式返回 =
returns
時有命名。在 Solidity 中,函式也可以返回多個值。當函式返回多個值時,需要使用小括號
()
包裹多個返回型別。相應的,return
語句需要返回對應數量的數據。contract Example { // 返回多個值:一個整數和兩個字串 function returnName() pure external returns (uint _totalSupply, string memory, string memory symbol){ return (500, "sooo", "easy"); } }
-
-
命名式返回:返回命名的輸出變量
在 Solidity 中,我們可以為返回值指定名稱,這樣就不需要在 `return` 語句中明確地返回它們。 這樣做的好處是代碼更加簡潔,而且可以在函式內部隱式地使用這些變量。
contract ExampleContract { function returnName() pure external returns (uint _totalSupply, string memory message, string memory symbol){ _totalSupply = 500; message = "sooo"; symbol = "easy"; } } // 結果同上2.
-
-
- 解構式返回
當函數返回多個值時,可以在函數調用時使用解構式賦值,將返回的值分配給多個變數。
contract ExampleContract { uint public myTotalSupply; string public myMessage; string public mySymbol; function returnName() pure internal returns (uint _totalSupply, string memory message, string memory symbol){ _totalSupply = 500; message = "sooo"; symbol = "easy"; } // 注意:這裡不能用 pure function getReturnName() external { (uint _totalSupply, string memory message, string memory symbol) = returnName(); myTotalSupply = _totalSupply; myMessage = message; mySymbol = symbol; } }
-
剛deploy完的起始值
-
getReturnName()
被呼叫後,鏈上數據被異動 -
何時使用解構式返回?
解構式返回在以下情況中特別有用:
- 返回多個相關聯的值:當函數返回多個值,這些值通常是相關聯的(例如一個實體的屬性或運算結果),解構式返回能夠讓你同時處理多個返回值,而不必每次都單獨調用函數。
- 提高可讀性:當處理多個返回值時,解構式賦值能夠提高代碼的可讀性,因為變數名稱可以直接反映它們的含義。這比將返回值放入一個元組然後再逐個提取變數更直觀。
- 避免過多的臨時變數:解構式返回可以在一行代碼中完成多個變數的賦值,減少了臨時變數的使用和賦值操作。
-
如果只想要部分的返回值
contract ExampleContract { uint public myTotalSupply; string public myMessage; string public mySymbol; function returnName() pure internal returns (uint _totalSupply, string memory message, string memory symbol){ _totalSupply = 500; message = "sooo"; symbol = "easy"; } function getReturnName() external { (, string memory message,) = returnName(); myMessage = message; } }
-
- 在 Solidity 中,Reference Type 是指那些資料型別的數據存放在儲存位置上(如 memory、storage 或 calldata),而不是直接儲存在堆棧上(stack)。
- 這些類型的變數只存儲數據的引用(reference),因此被稱為「參考型別」。
- Array(陣列)
- Bytes(動態字節數組
bytes
,而不是定長bytesN
) - String(字串)
- Struct(結構體)
- Mapping(映射,但 Mapping 通常只能存在於 storage 中,無法存在於 memory)
-
在 Solidity 中,由於參考型別佔的空間大,使用時需要宣告數據儲存的位置。
-
存在不同地方,
gas fee
不同 -
常見的存儲位置包括:
storage
:數據持久化儲存在區塊鏈上,是合約的狀態變量。(電腦硬碟,gas fee高)memory
:數據僅在函數執行期間存在,並且不會持久化到區塊鏈。(記憶體)calldata
:僅用於函數參數,數據是不可修改的,適用於外部函數參數。(記憶體)
contract StorageMemoryCalldataExample { // 狀態變量,存儲在 storage 中 string public storedData; // 使用 calldata 接收數據,並將數據存儲到 storage 中 function setData(string calldata _inputData) public { storedData = _inputData; // calldata 中的數據複製到 storage 中 } // 使用 memory 中的數據處理 function processData() public view returns (string memory) { string memory temporaryData = storedData; // 將 storage 中的數據複製到 memory 中 return temporaryData; // 返回處理過的 memory 中的數據 } }
-
賦值本質上是創建引用指向本體。
-
當你將一個參考型別賦值給另一個變數時,兩個變數會共享同一個底層數據。
-
這樣一來,修改本體或者引用中的數據,變化都會被同步,因為它們指向的是同一個數據位置。
-
Storage
的引用contract ReferenceExample { struct Data { uint value; } Data public data1; Data public data2; function assignReference() public { data1.value = 100; // 創建 data1 的引用並賦值給 data2,這裡的賦值是創建引用,兩者共享相同的數據 data2 = data1; // 修改 data2.value,會影響到 data1.value,因為兩者指向同一個存儲位置 data2.value = 200; } function getData1Value() public view returns (uint) { return data1.value; // 這裡會返回 200,因為 data1 和 data2 是同一個數據 } }
-
Memory
的引用contract MemoryReferenceExample { struct Data { uint value; } function modifyMemory() public pure returns (uint) { // 創建兩個 memory 中的變數 Data memory data1 = Data(100); Data memory data2 = data1; // 創建引用,兩者指向同一個 memory 儲存 data2.value = 200; // 修改 data2.value 會影響 data1.value return data1.value; // 返回 200,因為 data1 和 data2 共享同一個 memory 引用 } }
-
什麼情況下不會同步?
當進行深度複製時,會創建一個新的實例,而不是引用同一個存儲位置。這種情況下,修改其中一個變數不會影響到另一個變數。
例如:
- 如果你明確地在不同的存儲區域(如
storage
和memory
)之間進行數據傳遞,會發生數據拷貝。 - 當涉及值型別(如
uint
、bool
等),賦值操作會直接進行數據拷貝,而不會是引用。
contract CopyExample { uint public x = 10; uint public y; function copyValue() public { y = x; // 這裡是值的拷貝,而不是引用 y = 20; // 修改 y 不會影響 x,因為它們是獨立的變數 } function getX() public view returns (uint) { return x; // 返回 10,因為 x 沒有被修改 } }
- 如果你明確地在不同的存儲區域(如
storage
:當需要永久存儲在區塊鏈上的數據時使用,通常是狀態變量。memory
:當你需要處理臨時數據且不需要永久保存時使用,特別是在函數執行期間。calldata
:當你需要外部函數的參數且這些參數不需要修改時使用。它是一個節省 gas 的選擇,因為參數直接從交易數據讀取,不進行複製。
作用域(scope) 是指變數或函數的可見性範圍,即變數或函數在程式中哪個區域可以被訪問或使用。
在 Solidity 中,作用域主要分為三個層次:
- 區域作用域(Local Scope)
- 狀態作用域(State Scope)
- 全域作用域(Global Scope)
區域作用域是指在函數內部宣告的變數,它們只能在該函數內部使用。一旦函數執行完畢,這些變數就會被銷毀,無法在函數外部或其他函數中訪問。
contract Example {
function localVariableExample() public pure returns (uint) {
uint localVar = 100; // 區域變數,作用域僅限於此函數
return localVar; // 可以在函數內部訪問
}
// 在其他函數中無法訪問 localVar,因為它是區域變數
function anotherFunction() public pure returns (uint) {
// uint x = localVar; // 這行會產生錯誤,localVar 不可見
return 200;
}
}
區域作用域的要點:
- 區域變數只能在它們所在的函數內使用。
- 區域變數在函數執行結束後會被銷毀。
- 優點:可以避免函數之間的變數命名衝突。
狀態作用域是指合約的狀態變數,這些變數儲存在區塊鏈上,可以在合約中的所有函數中訪問。狀態變數通常是永久存在的,它們會保留在合約的存儲空間(storage
)中,直到合約被銷毀。
contract Example {
uint public stateVar = 50; // 狀態變數,可以在合約中所有函數中訪問
function modifyStateVar() public {
stateVar = 100; // 修改狀態變數
}
function getStateVar() public view returns (uint) {
return stateVar; // 在任何函數中都可以訪問 stateVar
}
}
狀態作用域的要點:
- 狀態變數在合約的所有函數中都是可見的。
- 狀態變數存儲在區塊鏈的
storage
中,具有持久性。 - 優點:可以保存合約的持久狀態,隨時被合約中的其他函數讀取或修改。
全域作用域是 Solidity 預定義的變數或函數,這些變數或函數可以在任何地方使用,無需顯式宣告。這些通常是一些全域變數、區塊信息或函數,如 msg.sender
、block.timestamp
等。
contract Example {
function globalScopeExample() public view returns (address, uint) {
address sender = msg.sender; // 全域變數,表示呼叫者的地址
uint timestamp = block.timestamp; // 全域變數,表示區塊時間戳
return (sender, timestamp);
}
}
全域作用域的要點:
- 全域變數或函數是由 Solidity 提供的,不需要顯式宣告。
- 可以在合約的任何地方使用。
- 這些全域變數為合約提供了區塊鏈的上下文信息,例如交易發起者(
msg.sender
)、當前區塊號(block.number
)等。
-
變數衝突與覆蓋: 使用區域作用域可以避免變數名稱衝突。如果多個函數內部使用相同名稱的變數,由於它們的作用域不同,變數不會相互影響。同時,區域變數可以暫時覆蓋狀態變數的值。
contract Example { uint public stateVar = 50; // 狀態變數 function localScopeExample() public view returns (uint) { uint stateVar = 100; // 區域變數,暫時覆蓋狀態變數 return stateVar; // 返回的是區域變數的值 100,而不是狀態變數的 50 } }
-
節省資源: 區域變數存儲在記憶體(
memory
)或堆疊(stack
)中,並且只在函數執行期間存在,這相比於存儲在區塊鏈上的狀態變數要更高效且節省 gas。這對於臨時運算或處理數據非常重要。 -
數據安全與邏輯正確性: 函數的區域變數和狀態變數的作用域清晰界定,有助於確保合約邏輯的正確性,並防止無意中修改合約的狀態變數。
-
防止無意修改數據: 理解作用域可以幫助你控制數據的可訪問性,防止不必要的修改。例如,狀態變數的變更是持久性的,如果只需要在短期內使用數據,應該使用區域變數來避免無意的狀態改變。
這裡介紹兩種常用的 Reference Type: Array 和 Struct 用法
通用寫法 T[]
// 固定陣列
uint[3] array4;
// 可變(動態)陣列
bytes1[] array5;
address[] array6;
bytes array7;
注意:bytes
比较特殊,不用[]
-
固定長度
contract ExampleContract { // 1.固定 uint[3] arr1; // 賦值 function changFixedArraye() external { arr1[0] = 1; arr1[1] = 2; arr1[2] = 3; } // 直接針對指定索引進行賦值 function setFixedArray(uint index, uint value) public { require(index < 3, "Index out of bounds"); arr1[index] = value; } function getFixedArray() external view returns(uint[3] memory) { return arr1; } }
- 回憶:宣告
arr1
時有沒有public
差在哪- 有
public
:- Solidity 會自動生成一個 getter 函數。
- 外部合約和帳戶可以通過自動生成的 getter 函數直接存取陣列中的個別元素。
- 沒有
public
:- 不會生成 getter 函數。
- 如果需要允許外部存取陣列的值,必須顯式編寫一個函數。
- 有
- 回憶:宣告
-
變動長度
contract ExampleContract { // 1.固定 uint[3] arr1; // 2. 變動 ---可以使用push.pop uint[] arr2; // 3.動態+可變 uint[] arr3 = new uint[](2); // 賦值 function changNonFixedArraye() external { arr2.push(5); arr2.push(6); arr2.pop(); } function getNonFixedArray() external view returns(uint[] memory) { return arr2; } }
-
動態陣列
contract ExampleContract { // 1.固定 uint[3] arr1; // 2. 變動 ---可以使用push.pop uint[] arr2; // 3.動態+可變 uint[] arr3 = new uint[](2); // 賦值 function changeDynamicArray() external { arr3[0] = 9; arr3[1] = 10; arr3.push(11); arr3.push(12); } function getDynamicArray() external view returns(uint[] memory) { return arr3; } function getDynamicArrayLength() external view returns(uint) { return arr3.length; } }
- 固定長度陣列
arr1
:長度固定,無法動態增減元素,只能通過索引賦值。 - 變動長度陣列
arr2
:可以動態增減元素,使用push
和pop
操作來調整陣列長度。 - 動態長度陣列
arr3
(初始有固定長度):初始時長度固定,但仍然是一個動態陣列,允許使用push
和pop
進行動態增減。
在 Solidity 中,struct
是用來定義自訂型別的數據結構。
-
定義與宣告
contract ExampleContract { // 定義一個 struct struct Person { string name; uint age; address wallet; } // 宣告一個狀態變數,使用這個 struct 類型 Person public person; }
-
4種賦值寫法
contract ExampleContract { // 定義一個 struct struct Person { string name; uint age; address wallet; } // 宣告一個狀態變數,使用這個 struct 類型 Person public person; function setPerson1() external { Person storage _person = person; _person.name = "Tim"; _person.age = 18; } function setPerson2() external { // 使用點語法(dot notation) person.name = "John"; person.age = 30; } function setPerson3() external { person = Person("Ken", 60, 0x5B38Da6a701c568545dCfcB03FcB875f56beddC4); } function setPerson4() external { person = Person({name: "Gary", age: 90, wallet: 0x5B38Da6a701c568545dCfcB03FcB875f56beddC4}); } }
- 注意:
setPerson1()
中的Person storage _person = person;
- 創建了一個指向合約中實際儲存在
storage
的person
的引用。 - 對
_person
所做的任何修改,將直接影響原來存儲的person
。
- 創建了一個指向合約中實際儲存在
- 注意:
-
struct
的常見應用-
儲存複雜數據結構: 當合約需要處理包含多個欄位的數據時,
struct
是非常理想的解決方案。例如,儲存一個人的詳細資訊、車輛數據、物品資訊等。 -
管理多個對象的集合: 通常我們會使用
struct
來管理一組相關的數據,例如一組玩家、交易或產品。結構體可以用來定義每個對象的屬性,然後將它們存儲在陣列或mapping
中。 -
建構複雜的智能合約: 當需要處理更複雜的業務邏輯時,
struct
提供了一種清晰的數據建模方式。例如,在拍賣合約中,Auction
可以是一個struct
,裡面包含拍賣商品、出價、拍賣時間等多個欄位。 -
與
mapping
結合:struct
經常與mapping
一起使用來快速存取和管理複雜的數據。例如,可以通過mapping(address => Person)
來將每個地址與一個Person
結構體相關聯。contract Example { struct Person { string name; uint age; address wallet; } // 使用 mapping 將 address 與 Person 結構體關聯 mapping(address => Person) public personMapping; // 添加或更新 Person 資訊 function setPerson(string memory _name, uint _age) public { personMapping[msg.sender] = Person(_name, _age, msg.sender); } // 獲取某個地址的 Person 資訊 function getPerson(address _person) public view returns (string memory, uint, address) { Person memory person = personMapping[_person]; return (person.name, person.age, person.wallet); } }
-
struct
是用來定義自訂數據型別的工具,能將多種不同類型的資料組合在一起。- 常見應用包括儲存和管理複雜的數據,如人的資訊、產品資訊、交易詳情等。
- 可以與陣列或
mapping
結合來管理多個實體。 - 透過
struct
,可以有效提高代碼的結構性和可讀性,讓智能合約的邏輯更清晰、易於維護。
映射(mapping)就是key - value
概念
在 Solidity 中,參考型別(Reference Types)包括 struct
、array
和 mapping
映射的基本語法如下:
mapping(keyType => valueType) public myMapping;
keyType
: 映射的鍵的類型- 是一種偏移量,必須是 Solidity 中的基礎型別(自定義的話Solidity不知道)
- 合法的
keyType
包括以下基礎型別:uint
/uint256
int
address
bool
bytes1
到bytes32
(定長字節數組)
- 不能使用複雜型別如
struct
或動態陣列作為鍵類型。 - 如果需要使用陣列或結構體作為鍵,可以先將其哈希處理,然後使用哈希值作為鍵來存取對應的值。
valueType
: 映射的值的類型- 可以是任何類型,包含基礎型別、結構體、甚至另一個映射。
- mapping 只能存在
storage
,所以通常是狀態變量,不能作為函數參數或返回值。 - 如果是
public
,會自動創建getter
,可根據 key 查詢 value
-
默認值: 映射中的每個鍵在初始化之前都有一個默認值。當你查詢一個從未設定過的鍵時,映射會返回該值類型的默認值。例如,
uint
的默認值是0
,bool
的默認值是false
,address
的默認值是0x0000000000000000000000000000000000000000
。範例:
function getBalance(address _addr) public view returns (uint) { return balances[_addr]; // 如果這個地址未被設定過,返回 0 }
-
無法遍歷: Solidity 中的映射無法被遍歷,這是因為映射不會儲存鍵的清單,也無法得知有哪些鍵存在。因此,你無法列舉映射中所有的鍵值對。如果需要遍歷資料,通常會與陣列一起使用來記錄所有鍵。
-
只支持基礎型別作為鍵: 映射的鍵只能是 Solidity 支援的基礎型別,如
address
、uint
、bytes32
等,不能是動態陣列或struct
。 -
動態大小: 映射的大小是動態的,可以根據需要添加新的鍵值對。無需在初始化時指定映射的大小。
-
值可以是任何類型: 映射的值類型可以是任何類型,包括基礎型別、陣列、結構體,甚至是其他映射。
-
管理用戶餘額: 映射常用於管理帳戶餘額。例如,可以用映射來儲存每個地址對應的代幣或資金餘額。
contract ExampleContract { // 錢包地址對應多少錢 mapping(address => uint) public balanceOf; // 給他錢 function mint() external{ balanceOf[msg.sender] = 50 ether; } // 燒毀 function burn() external{ balanceOf[msg.sender] = 10 ether; } }
-
白名單(Whitelist)或黑名單(Blacklist): 映射可以用來跟蹤某個地址是否在白名單或黑名單中。可以用布林值(
bool
)來標記某個地址是否被允許或禁止。mapping(address => bool) public whitelist; function addToWhitelist(address _addr) public { whitelist[_addr] = true; } function isWhitelisted(address _addr) public view returns (bool) { return whitelist[_addr]; }
-
管理多重資料結構: 映射可以與結構體(
struct
)結合使用,來管理更複雜的資料。例如,可以建立一個struct
,然後將每個地址與該結構體關聯。範例:
struct User { string name; uint age; } mapping(address => User) public users; function setUser(address _addr, string memory _name, uint _age) public { users[_addr] = User(_name, _age); } function getUser(address _addr) public view returns (string memory, uint) { User memory user = users[_addr]; return (user.name, user.age); }
-
允許或拒絕操作權限: 映射可以用來跟蹤某些地址是否有權限執行某些操作,例如在某個合約中授權特定地址進行操作。
mapping(address => bool) public authorized; function authorize(address _addr) public { authorized[_addr] = true; } function revoke(address _addr) public { authorized[_addr] = false; } function isAuthorized(address _addr) public view returns (bool) { return authorized[_addr]; }
-
無法遍歷: 如前所述,映射中的鍵不能被遍歷。因此,如果需要檢查所有的鍵值對,需要自己維護一個鍵的陣列來實現遍歷。
address[] public keys; function addKey(address _key) public { keys.push(_key); } function getAllKeys() public view returns (address[] memory) { return keys; }
-
無法確定鍵是否存在:
mapping(address => bool) public whitelist; function isWhitelisted(address _addr) public view returns (bool) { return whitelist[_addr]; // 如果地址未被設定,默認為 false }
- Solidity 無法直接判斷某個鍵是否存在於映射中。
- 當查詢一個不存在的鍵時,映射會返回默認值,而不是告知該鍵不存在。
- 因此,當值類型有明確的默認值時(如
uint
的默認值為0
),可能需要額外的邏輯來判斷一個鍵是否實際存在。
- 在 Solidity 中,所有變量在宣告後,若未經過初始化,都會自動設置為對應型別的默認初始值。
- 默認初始值是基於變量的資料型別來決定的。
- 了解這些默認值以及
delete
關鍵字的作用非常重要,可以幫助在管理智能合約中的狀態變量時避免意外行為。
每種類型的默認初始值如下:
uint
和int
(無符號與有符號整數):默認值為0
。bool
(布林型):默認值為false
。address
(地址型):默認值為0x0000000000000000000000000000000000000000
(0x + 40個0)。bytes
(定長字節):默認為0x0000...
,填滿零。mapping
:映射中的每個鍵在初始時對應的值是其值類型的默認值(例如,mapping(address => uint)
中每個地址對應的值初始為0
)。array
(陣列):動態陣列的長度默認為0
。定長陣列的每個元素為其類型的默認值。struct
(結構體):結構體中的每個成員變數會被初始化為其型別的默認值。
contract ExampleContract {
// Value Type
bool public _bool; // false
string public _string; // ""
int public _int; // 0
uint public _uint; // 0
address public _address; // 0x0000000000000000000000000000000000000000
enum ActionSet { Buy, Hold, Sell}
ActionSet public _enum; // 第1個Buy的索引0
function fi() internal{} // internal空白函数
function fe() external{} // external空白函数
}
// Reference Types
uint[8] public _staticArray; // [0,0,0,0,0,0,0,0]
uint[] public _dynamicArray; // `[]`
mapping(uint => address) public _mapping; // 所有元素都為其默認值的mapping
// 所有成員設為其默認值的結構體 0, 0
struct Student{
uint256 id;
uint256 score;
}
Student public student;
-
將變量重置為其默認初始值的操作。
-
它可以用來重置任何變量,無論是基礎型別(例如
uint
、bool
等),還是複合型別(例如陣列、結構體或映射中的特定鍵值)。 -
範例:
contract ExampleContract { struct Person { string name; uint age; } Person public person = Person("Alice", 30); function resetPerson() public { delete person; // 重置 person 的 name 為空字串,age 為 0 } }
- 對基礎型別:將變量設置為其型別的默認初始值。例如,對
uint
使用delete
,會將其重置為0
;對bool
使用delete
,會將其設置為false
。 - 對引用型別(陣列、映射等):
delete
將引用型別的內容重置為初始狀態,例如清空陣列、刪除映射中的特定鍵值等。
- 在 Solidity 中,常數(constants) 是不可變的值,
- 常數一旦設置後,在合約的生命週期中就不能再更改。
- Solidity 提供了兩個關鍵字來定義常數:
constant
和immutable
。 - 這兩個關鍵字都能提高合約的效率,並確保特定變數的值不會被篡改,但它們有不同的使用場景和特性。
- 定義的變量必須在宣告時立即初始化,並且初始化的值必須是編譯時已知的常量。
contract Example {
// 使用 constant 定義常數
uint256 public constant MY_CONSTANT = 100;
string public constant NAME = "Alice";
address public constant OWNER = 0x1234567890abcdef1234567890abcdef12345678;
}
- 宣告:在變量的類型後加上
constant
關鍵字。 - 初始化:
constant
變量必須在宣告時進行初始化,且其值不可在合約的任何地方更改。 - 效率:
constant
變量的值在編譯時期就會被確定,並直接嵌入到合約的字節碼中。這樣可以減少存儲需求,降低部署和運行時的 gas 消耗。
immutable
允許定義在部署合約時設置一次且之後不可變更的變量。- 與
constant
不同,immutable
變量的值可以在合約的建構函數(constructor)
中進行初始化,而不必在宣告時立即賦值。 immutable
只支持固定大小的型別string
和bytes
是動態大小的資料型別(長度不固定),不能用immutable
uint256 public immutable IMMUTABLE_NUM = 9999999999;
address public immutable IMMUTABLE_ADDRESS;
uint256 public immutable IMMUTABLE_BLOCK;
uint256 public immutable IMMUTABLE_TEST;
// 利用constructor初始化immutable變量
// 可以使用全局變量例如 address(this)、block.number 或者自定義的函數給 immutable 變量初始化
// 在下面這個例子中,利用了 test() 函數給 IMMUTABLE_TEST 初始化為 9。
constructor(){
IMMUTABLE_ADDRESS = address(this);
IMMUTABLE_NUM = 1118;
IMMUTABLE_TEST = test();
}
function test() public pure returns(uint256){
uint256 what = 9;
return(what);
}
- 結果
特性 | constant |
immutable |
---|---|---|
初始化時間 | 必須在宣告時賦值 | 可以在建構函數中初始化 |
修改 | 無法修改,一旦設置後永遠不可改變 | 只能在建構函數中設置,之後不可更改 |
編譯時/部署時 | 在編譯時設置 | 在合約部署時設置 |
用途 | 用於編譯時已知的值 | 用於部署時期才確定的值 |
Gas 效率 | 更高效(直接編譯進字節碼) | 高效,但稍差於 constant |
存儲位置 | 嵌入到合約的字節碼中(contract bytecode) | 存儲在合約的字節碼中 |
訪問效率 | 最高效率,因為值直接嵌入字節碼中 | 高效率,從合約字節碼中讀取,不涉及 storage |
- 注意:訪問效率 和 Gas 費用 並不是完全相等的概念
- 定義:
- 訪問效率:指的是訪問或操作變量所需的計算資源和時間。高效率的操作通常需要較少的計算步驟,例如直接從合約字節碼中讀取常數,而不涉及對區塊鏈上
storage
的存取,這樣的操作會被認為是高效的。 - Gas 費用:是以太坊網絡對計算和存儲操作的計費方式。每次在智能合約中執行的操作都會消耗一定的 Gas,操作越複雜或需要讀寫區塊鏈存儲的資源越多,消耗的 Gas 也就越多。因此,訪問效率高的操作通常需要更少的 Gas。
- 訪問效率:指的是訪問或操作變量所需的計算資源和時間。高效率的操作通常需要較少的計算步驟,例如直接從合約字節碼中讀取常數,而不涉及對區塊鏈上
- 關係:
- 如果一個操作非常高效(例如直接從字節碼中讀取常數),它需要的 Gas 很少。
- 如果操作涉及存取區塊鏈的
storage
(例如讀取或寫入存儲變量),則效率較低,並且需要更多的 Gas。
- 定義:
- 安全性:
constant
和immutable
能夠保證變量在合約的整個生命周期中保持不變,從而防止惡意或意外的變更,增強了合約的安全性。 - 節省 Gas:這些變量不會儲存在永久性
storage
中,因此不需要消耗額外的存儲資源。這可以顯著降低合約的部署和執行成本。特別是constant
,其值直接嵌入到合約的字節碼中,這進一步提升了效率。 - 代碼的可讀性和明確性:通過明確標記某些變量為不可變,可以幫助開發者更好地理解合約的邏輯和設計意圖,並使代碼更加易於維護。
- if - else
contract ExampleContract {
function isPositive(int number) external pure returns (bool) {
if (number > 0) {
return true;
} else {
return false;
}
}
}
- for 迴圈
contract ExampleContract {
function addSum() external pure returns (uint) {
uint sum = 0;
for (uint i = 0; i < 10; i++) {
sum = sum + i;
}
return sum;
}
}
- while
contract ExampleContract {
function addSum() external pure returns (uint) {
uint sum = 0;
uint n = 0;
while(n < 10){
sum = sum + n;
n ++;
}
return sum;
}
}
- do while(至少執行一次do)
contract ExampleContract {
function addSum() external pure returns (uint) {
uint sum = 0;
uint n = 0;
do {
sum += n;
n++;
}while(n < 10);
return sum;
}
}
- 跳出當前循環用
break
,跳到下一個循環用continue
- 練習:以 solidity 寫 insertion sort
function insertionSort(uint[] memory a) public pure returns(uint[] memory) {
// note that uint can not take negative value
for (uint i = 1;i < a.length;i++){
uint temp = a[i];
uint j=i;
while( (j >= 1) && (temp < a[j-1])){
a[j] = a[j-1];
j--;
}
a[j] = temp;
}
return(a);
}
建構函數是智能合約的特殊函數,它在合約部署時被自動執行。
主要用來設置合約的初始狀態,例如設定初始變數值、初始化合約的擁有者等。
- 自動執行:當合約被部署(即在區塊鏈上創建合約實例)時,建構函數會自動執行一次。
- 命名方式:在 Solidity 0.4.22 版本及更早版本,建構函數的名字必須和合約的名字相同;在 Solidity 0.4.22 之後,使用
constructor
關鍵字定義建構函數。 - 無法重複調用:建構函數只能執行一次,合約部署後無法再次被調用。
contract MyContract {
address public owner;
// 建構函數
constructor() {
owner = msg.sender; // 將合約的擁有者設置為部署者
}
}
修飾器是一個可以用來修改或限制函數行為的程式塊。
它們主要用來進行條件檢查或邏輯控制,並且通常在需要對函數執行前進行一些前置條件檢查的場景下使用。
- 函數前置條件:修飾器可以在函數執行之前檢查條件,若條件不符合,可以阻止函數執行。
- 代碼復用:透過修飾器,可以避免在多個函數中重複寫相同的檢查代碼。
_
符號:修飾器中的_
表示函數本身的邏輯會在修飾器檢查通過後的這個位置執行。
contract MyContract {
address public owner;
// 修飾器:檢查調用者是否為擁有者
modifier onlyOwner() {
require(msg.sender == owner, "You are not the owner");
_; // 在此處執行原本的函數邏輯
}
// 建構函數
constructor() {
owner = msg.sender; // 設置合約的擁有者為部署者
}
// 含有modifier方法
// 只有當前調用者為擁有者時,才能執行此函數
function changeOwner(address newOwner) external onlyOwner{
owner = newOwner;
}
}
在這個例子中,onlyOwner
修飾器檢查當前調用者是否是合約的擁有者。
如果條件不滿足,會拋出錯誤並阻止函數執行。
這樣可以保證特定Function
只有合約的擁有者才能調用。
- 權限控制:如
onlyOwner
檢查,確保只有特定人員能執行某些操作。 - 狀態檢查:檢查合約當前的狀態是否允許執行特定函數,如某種狀態值。
- 防止重入攻擊:修飾器可以用來防範 Solidity 中常見的重入攻擊(reentrancy attack),即在函數調用過程中,惡意合約再次調用相同函數,導致合約邏輯被惡意多次執行。
- 建構函數:在合約部署時執行,用於初始化合約的狀態。
- 修飾器:用來修改函數執行行為,主要用於檢查條件並控制函數執行。
- 事件(event) 就是EVM 上的 log
- 這些日誌記錄在區塊鏈中,但不會影響智能合約的狀態,並且比存儲在區塊鏈的數據便宜。
- 外部應用(前端透過web3.js或ether.js)可以「監聽」這些事件。
- 一旦事件被觸發,就可以接收到相關的數據。
在 Solidity 中,事件使用 event
關鍵字來定義。通常,事件包含一組參數,這些參數可以是原始類型或結構。觸發事件使用 emit
關鍵字。
以下是一個簡單的事件定義和使用範例:
contract Example {
// 定義事件
event Deposit(address indexed _from, uint _value);
// 觸發事件
function deposit() public payable {
emit Deposit(msg.sender, msg.value);
}
}
在這個範例中:
- 定義了一個
Deposit
事件,它有兩個參數:_from
(代表存款者的地址)和_value
(代表存入的金額)。 - 當
deposit
函數被調用時,emit
關鍵字會觸發這個事件,將存款者的地址和金額記錄到區塊鏈的日誌中。
事件在智能合約的開發中具有多種用途。常見的使用時機包括:
-
追蹤狀態變更: 當智能合約的狀態發生變化時,可以使用事件來記錄這些變化。外部應用或用戶可以通過監聽事件來追蹤合約的執行情況。這尤其適用於 DeFi 應用、NFT 合約等,需要跟蹤交易或狀態更新的場景。
例如:在一個拍賣智能合約中,當有新的出價或拍賣結束時,可以發出相應的事件來通知前端。
-
記錄交易相關信息: 事件可以記錄特定交易的細節,特別是在智能合約內部沒有其他存儲機制或需要減少 gas 費用的情況下。這些交易細節對於區塊鏈上的審計和數據分析非常有幫助。
-
與外部應用程序溝通: 當合約執行某些重要操作時(如資金轉移或權限變更),可以通過事件來通知外部應用。應用可以監聽這些事件並做出相應的反應,比如更新前端的顯示、觸發後續的智能合約操作等。
-
減少 gas 消耗: 在某些情況下,將數據寫入日誌比寫入區塊鏈狀態(如變量或映射)更為經濟。由於事件的數據儲存在日誌中,它們不會消耗太多的 gas。這對於需要大量數據寫入但不需要永久保存的情況非常有用。
-
調試和日誌記錄: 在合約的開發過程中,事件也可以用作調試工具。開發者可以使用事件來捕捉合約內部的執行流程和變量的變化,從而更容易定位和解決問題。
- 不可讀取:事件中的數據儲存在區塊鏈的日誌中,因此無法直接從智能合約內部讀取到這些數據。它們僅供外部應用程序讀取。
- 不保證執行:事件只是寫入日誌,不會對合約的狀態產生影響,也不會影響交易的成敗。因此,
不應依賴事件來實現合約內部的核心邏輯
。
contract ExampleContract {
event Transfer(address _from, address _to, uint value);
uint a;
function transfer(address _from, address _to, uint value) external {
a = 10;
emit Transfer(_from, _to, value);
}
}
- 有加
indexed
的會被記錄到topics
contract ExampleContract {
event Transfer(address indexed _from, address indexed _to, uint value);
uint a;
function transfer(address _from, address _to, uint value) external {
a = 10;
emit Transfer(_from, _to, value);
}
}
當事件在 Solidity 中被觸發時,EVM 會生成一個日誌條目,並將其寫入區塊的日誌區域。這些日誌條目包括:
- 地址(Address):觸發事件的合約地址。
- 主題(Topics):每個日誌條目最多可以包含四個主題,用來索引事件參數,從而幫助過濾特定類型的事件。
- 數據(Data):存儲與事件相關的具體數據,通常是事件的非索引參數。
這些日誌不會影響合約的內部狀態,它們只是一種「外部輸出」,方便外部應用程式(如 DApp)或區塊鏈瀏覽器進行檢索和分析。
在 Solidity 中,每當 emit
關鍵字觸發一個事件時,EVM 會將該事件存儲為日誌條目。這些日誌條目存儲在每個區塊中,並與區塊的其他交易數據一同保存。
-
合約地址:用來標識是由哪個智能合約觸發的事件。這是日誌的發件人地址,即觸發事件的智能合約的地址。
-
事件的 Keccak-256 哈希值:事件簽名(包括事件名稱和參數類型)會被哈希化為 256 位的雜湊值,這個值存儲在
topics[0]
中。這是每個事件獨有的識別符,幫助過濾器在大量日誌中識別具體的事件類型。-
https://emn178.github.io/online-tools/keccak_256.html
例如,對於以下事件:
event Transfer(address indexed _from, address indexed _to, uint256 _value);
EVM 會計算這個簽名的哈希:
keccak256("Transfer(address,address,uint256)") // ddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef
-
-
索引參數(Indexed Parameters):事件定義中的
indexed
參數會被儲存到topics
陣列的後續位置。最多可以有三個索引參數,每個索引參數會以 Keccak-256 的格式哈希存儲。這樣可以通過索引進行高效查詢。- 在上述事件中,
_from
和_to
都是indexed
參數,因此它們的哈希值會被存儲在topics[1]
和topics[2]
。
- 在上述事件中,
-
非索引參數(Non-indexed Parameters):不帶
indexed
關鍵字的參數會以原始格式存儲在日誌的數據段(data
)中。這些參數不會被索引,因此無法直接通過過濾器查詢,但可以從日誌中讀取。- 在
Transfer
事件中,_value
是一個非索引參數,因此它會被存儲在日誌的數據段內,而不是topics
中。
- 在
事件被儲存在區塊鏈日誌中,而外部應用可以使用 eth_getLogs
這樣的 RPC 調用來檢索這些日誌。因為索引參數被存儲在 topics
中,外部應用可以使用參數過濾器來高效查詢特定的事件。
- 高效性:日誌(logs)是 EVM 的「輕量級」記錄,寫入和檢索相對低成本,不會像區塊鏈狀態存儲那樣消耗太多 gas。
- 過濾能力:事件的索引參數被存儲在
topics
中,允許對事件進行高效的查詢和過濾。 - 只寫性:事件的數據被存儲在日誌中,這些日誌只能被寫入,無法在智能合約內部讀取,這確保了它們僅用於外部交互,而不會改變區塊鏈狀態。
- 不可變性:一旦事件被寫入區塊,日誌就是不可變的。這意味著日誌提供了一種可靠的方式來追蹤歷史事件,這對於審計和數據分析非常有用。
繼承的幾個重要觀念:
-
要怎麼繼承:父合約要有
virtual
,子合約要用override
-
五種Solidity的繼承:簡單繼承、多重繼承、修飾器繼承、建構子繼承、鑽石繼承
-
多重繼承要依照輩分寫,爺爺爸爸都有的方法一定要覆寫
-
super()可以呼叫到最近的長輩有的方法
同時繼承爺爺和爸爸,super()可以叫到爸爸,但爺爺必須直接呼叫
-
鑽石繼承的DAG效果:走過的不會再走
-
繼承的好處
- 代碼重用
- 繼承允許子合約直接使用父合約的功能(函數和狀態變數)
- 無需重複編寫相同的代碼
- 範例:一個常見的安全機制(例如
onlyOwner
的訪問控制修飾器)可以在多個子合約中重用,而不需要在每個合約中重新定義。
- 提升代碼可維護性
- 當需要更新某些通用功能時,開發者只需在父合約中進行修改,而所有繼承該父合約的子合約都會自動繼承這些變更。
- 集中管理和更新代碼,簡化維護過程。
- 範例:如果要更改訪問控制邏輯,只需在父合約中進行修改,所有子合約的訪問控制邏輯會自動同步更新。
- 提高可擴展性
- 繼承使得開發者能夠構建模組化的合約系統。
- 通過繼承,可以逐步擴展和構建複雜的功能,而不需要從頭開始。
- 這種架構允許在子合約中添加新的功能,或覆寫(override)父合約中的部分功能。
- 範例:可以先建立基礎合約提供基礎功能,然後通過繼承擴展更多功能,而不影響原本的基礎邏輯。
- 提升合約的可讀性
- 繼承可以將合約中的邏輯模組化,將不同的功能分離到不同的合約中。
- 每個合約都專注於特定的職責,從而提高代碼的清晰度和可讀性。
- 當讀者查看合約時,能夠更容易理解每個合約的角色和功能。
- 範例:可以將安全相關的邏輯、代幣邏輯、和業務邏輯分別封裝到不同的合約中,每個合約專注於單一責任。
-
簡單繼承
// SPDX-License-Identifier: MIT pragma solidity ^0.8.26; contract Yeye{ event Log(string msg); // 定義3個function: hip(), pop(), yeye(),Log值都是Yeye。 function hip() public virtual{ emit Log("Yeye"); } function pop() public virtual{ emit Log("Yeye"); } function yeye() public virtual { emit Log("Yeye"); } } contract Baba is Yeye{ function hip() public override { emit Log("Baba"); } }
-
多重繼承
// SPDX-License-Identifier: MIT pragma solidity ^0.8.26; contract Yeye{ event Log(string msg); // 定義3个function: hip(), pop(), yeye(),Log值都是Yeye。 function hip() public virtual{ emit Log("Yeye"); } function pop() public virtual{ emit Log("Yeye"); } function yeye() public virtual { emit Log("Yeye"); } } contract Baba is Yeye{ function hip() public virtual override { emit Log("Baba"); } function baba() public virtual { emit Log("Baba"); } } contract Erzi is Yeye, Baba{ function hip() public override { emit Log("Erzi"); } function erzi() public virtual { emit Log("Erzi"); } }
-
這樣會報錯?理由?
// SPDX-License-Identifier: MIT pragma solidity ^0.8.26; contract Yeye{ event Log(string msg); // 定義3个function: hip(), pop(), yeye(),Log值都是Yeye。 function hip() public virtual{ emit Log("Yeye"); } function pop() public virtual{ emit Log("Yeye"); } function yeye() public virtual { emit Log("Yeye"); } } contract Baba is Yeye{ function hip() public virtual override { emit Log("Baba"); } function baba() public virtual { emit Log("Baba"); } } contract Erzi is Yeye, Baba{ function hip() public override(Yeye, Baba){ emit Log("Erzi"); } function erzi() public virtual { emit Log("Erzi"); } }
-
-
修飾器繼承
// SPDX-License-Identifier: MIT pragma solidity ^0.8.26; contract Base1 { modifier exactDividedBy2And3(uint _a) virtual { require(_a % 2 == 0 && _a % 3 == 0); _; } } contract Base2 is Base1{ modifier exactDividedBy2And3(uint _a) override { require(_a % 4 == 0 && _a % 6 == 0); _; } function getExactDividedBy2And3(uint _dividend) public exactDividedBy2And3(_dividend) pure returns(uint, uint) { } }
- 為何給 6 不行?
- 因為已經被改寫
- 給 12 或以上的 4 & 5 公倍數才行
-
建構子繼承
// SPDX-License-Identifier: MIT pragma solidity ^0.8.26; contract A { uint public a; constructor(uint _a) { a = _a; } } // 第一種寫法 contract B is A(5){ } // 第二種寫法 contract C is A { constructor(uint _a) A (_a * _a){} }
- 子合約可以將參數傳遞給父合約的建構子
-
鑽石繼承
// SPDX-License-Identifier: MIT pragma solidity ^0.8.13; /* 繼承樹: God / \ Adam Eve \ / people */ contract God { event Log(string message); function foo() public virtual { emit Log("God.foo called"); } function bar() public virtual { emit Log("God.bar called"); } } contract Adam is God { function foo() public virtual override { emit Log("Adam.foo called"); super.foo(); } function bar() public virtual override { emit Log("Adam.bar called"); super.bar(); } } contract Eve is God { function foo() public virtual override { emit Log("Eve.foo called"); super.foo(); } function bar() public virtual override { emit Log("Eve.bar called"); super.bar(); } } contract people is Adam, Eve { function foo() public override(Adam, Eve) { super.foo(); } function bar() public override(Adam, Eve) { super.bar(); } }
-
部署people 合約,呼叫 foo() 會發生什麼事?
- 一口氣叫四個
- People > Eve > Adam > God
-
鑽石繼承(Diamond Inheritance)概念
- 指在多重繼承中,子合約同時繼承了多個合約,而這些合約又共同繼承自一個相同的父合約,形成了一個菱形或鑽石(菱形)形狀的繼承結構。
- 這樣的繼承結構可能會引發問題,因為子合約最終可能會繼承同一個父合約的多個副本,導致代碼執行順序混亂或重複。
-
鑽石繼承的問題
- 狀態變數衝突:如果同一個狀態變數在父合約中定義,子合約可能會多次繼承該狀態變數,導致數據的不一致。
- 函數多次定義:相同的函數可能會被多次繼承,導致混亂。
- 線性化問題:多個父合約的繼承順序必須得到正確處理,否則會引發執行順序問題。
- Solidity 中使用C3 線性化算法來處理這類多重繼承問題,通過指定繼承順序來確保每個父合約只會被繼承一次,避免衝突。
-
鑽石繼承範例中的重點
- 多重繼承:
D
合約同時繼承了B
和C
,而B
和C
都繼承了A
。這形成了鑽石繼承結構。 - 函數衝突解決:
B
和C
都覆寫了A
的foo()
函數,因此在D
中必須明確指出要覆寫哪個父合約的foo()
函數。這裡使用了override(B, C)
語法來解決衝突,並且可以用super.foo()
來控制繼承順序。 - 線性化順序:Solidity 根據 C3 線性化決定繼承順序。在這個範例中,
D
合約覆寫了foo()
,然後super.foo()
會按照順序調用最近的父合約C
中的foo()
函數。
- 多重繼承:
-
-
抽象合約
// 定義一個抽象合約 abstract contract Animal { // 抽象函數,沒有實現 function speak() public virtual returns (string memory); // 具體函數,已經實現 function eat() public pure returns (string memory) { return "Eating"; } } // 繼承的合約只需要實現未實現的函數 contract Dog is Animal { function speak() public override returns (string memory) { return "Woof!"; } }
- 可包含具體函數實現:抽象合約可以包含已經實現的函數,也可以包含未實現的函數。
- 不能實例化:由於存在未實現的函數,抽象合約本身不能被部署。
- 繼承使用:其他合約可以繼承抽象合約,並實現其中未實現的函數。
- 用途:用來作為其他合約的基礎模板,提供部分通用邏輯,但需要子合約來實現特定功能。
-
接口
// 定義一個接口 interface IAnimal { function speak() external view returns (string memory); function eat() external view returns (string memory); } // 繼承接口的合約必須實現接口中的所有函數 contract Cat is IAnimal { function speak() public pure override returns (string memory) { return "Meow!"; } function eat() public pure override returns (string memory) { return "Cat is eating"; } }
- 只允許未實現函數:接口中的所有函數都是純虛函數,沒有具體的實現。(也無法部署)
- 無狀態變量和修飾符:接口中不能有狀態變量、構造函數或其他修飾符(如
public
、private
等),只能有函數簽名。 - 必須實現所有函數:繼承接口的合約必須實現接口中的所有函數。
- 用途:用來定義標準的合約行為,使得不同的合約能夠依照相同的接口進行交互。
特點 | 抽象合約 (Abstract Contract) | 接口 (Interface) |
---|---|---|
函數實現 | 可以包含具體實現的函數 | 所有函數都是未實現的(抽象)函數 |
狀態變量 | 可以定義狀態變量 | 不允許狀態變量 |
構造函數 | 可以有構造函數 | 不能有構造函數 |
繼承 | 可以繼承其他合約並實現具體邏輯 | 只能聲明函數,不繼承具體邏輯 |
適用場合 | 用作其他合約的基礎模板,可以包含部分邏輯 | 用來定義標準化的合約接口 |
靈活性 | 更靈活,可以提供部分功能的具體實現 | 嚴格的結構,僅用於定義協議 |
-
抽象合約:
- 當希望為一組合約提供一個公共的基礎模板,其中可以包括一些共享的邏輯或行為,但有些行為可能需要在具體的合約中實現時
- 例如,當有多個合約共享某些邏輯,但具體實現細節不同時,抽象合約會很有用。
-
接口:
- 當需要強制不同合約遵守相同的規範或協議時
- 常用於定義標準(如 ERC-20、ERC-721 等代幣標準),使得各個實現合約能夠互操作,並保證實現合約都具有相同的函數接口。
-
補充 - 為何不直接繼承 ERC-20,而要繼承IERC20?
- IERC20 用來做什麼的?
-
IERC20
是一個用來定義 ERC-20代幣標準接口 的接口。 -
ERC-20 是以太坊上最常用的代幣標準之一,幾乎所有的代幣(如穩定幣 USDT、DeFi 代幣等)都遵循這個標準。
-
開發者可以輕鬆地與不同的代幣進行交互,而無需為每個代幣單獨編寫不同的代碼。
-
以下是
IERC20
接口中定義的主要函數:interface IERC20 { // 返回代幣總供應量 function totalSupply() external view returns (uint256); // 返回指定地址的代幣餘額 function balanceOf(address account) external view returns (uint256); // 將 `amount` 代幣從調用者地址轉到 `recipient` function transfer(address recipient, uint256 amount) external returns (bool); // 返回某個地址能從 `owner` 地址提取的代幣餘額 function allowance(address owner, address spender) external view returns (uint256); // 授權 `spender` 可以從調用者賬戶中提取最多 `amount` 代幣 function approve(address spender, uint256 amount) external returns (bool); // 代幣轉移操作,從 `sender` 地址將 `amount` 轉移給 `recipient` function transferFrom(address sender, address recipient, uint256 amount) external returns (bool); // 事件:當代幣轉移時觸發 event Transfer(address indexed from, address indexed to, uint256 value); // 事件:當授權發生變化時觸發 event Approval(address indexed owner, address indexed spender, uint256 value); }
totalSupply()
:返回合約中代幣的總供應量。這表示了該代幣的最大數量。balanceOf(address account)
:查詢指定地址account
的代幣餘額。這通常用來查詢用戶的代幣持有量。transfer(address recipient, uint256 amount)
:從調用者的地址轉移amount
數量的代幣到recipient
地址。這是代幣轉賬功能,允許用戶之間進行代幣的直接轉移。allowance(address owner, address spender)
:返回spender
被授權能從owner
地址提取的代幣數量。這個函數通常與approve()
和transferFrom()
一起使用,用於允許第三方(如合約)代表某個用戶進行代幣操作。approve(address spender, uint256 amount)
:授權spender
可以從調用者的賬戶中提取最多amount
數量的代幣。這通常用於授權智能合約或其他地址從用戶賬戶中扣除代幣。transferFrom(address sender, address recipient, uint256 amount)
:從sender
地址轉移amount
代幣到recipient
,前提是sender
已經授權調用者(通常是智能合約或第三方)可以提取這些代幣。- 事件
Transfer
:當代幣轉移時(例如transfer
或transferFrom
函數被調用),這個事件會被觸發,用來通知外部應用代幣的轉移。 - 事件
Approval
:當代幣持有人授權某個spender
提取代幣時,這個事件會被觸發。
-
簡單的 ERC-20 代幣合約示例:
pragma solidity ^0.8.0; import "@openzeppelin/contracts/token/ERC20/IERC20.sol"; contract MyToken is IERC20 { string public name = "MyToken"; string public symbol = "MTK"; uint8 public decimals = 18; uint256 private _totalSupply; mapping(address => uint256) private balances; mapping(address => mapping(address => uint256)) private allowances; constructor(uint256 initialSupply) { _totalSupply = initialSupply; balances[msg.sender] = initialSupply; } function totalSupply() public view override returns (uint256) { return _totalSupply; } function balanceOf(address account) public view override returns (uint256) { return balances[account]; } function transfer(address recipient, uint256 amount) public override returns (bool) { require(balances[msg.sender] >= amount, "Insufficient balance"); balances[msg.sender] -= amount; balances[recipient] += amount; emit Transfer(msg.sender, recipient, amount); return true; } function allowance(address owner, address spender) public view override returns (uint256) { return allowances[owner][spender]; } function approve(address spender, uint256 amount) public override returns (bool) { allowances[msg.sender][spender] = amount; emit Approval(msg.sender, spender, amount); return true; } function transferFrom(address sender, address recipient, uint256 amount) public override returns (bool) { require(balances[sender] >= amount, "Insufficient balance"); require(allowances[sender][msg.sender] >= amount, "Allowance exceeded"); balances[sender] -= amount; balances[recipient] += amount; allowances[sender][msg.sender] -= amount; emit Transfer(sender, recipient, amount); return true; } }
- transfer 和 transferFrom 差別?
-
transfer
函數-
用來將代幣從調用者的地址轉移到另一個地址。
-
只有代幣持有者自己才能調用這個函數
-
並將他們的代幣轉移給其他人
-
使用場景:
- 當用戶希望直接從自己的地址將代幣轉移到另一個地址時,使用
transfer
函數。
- 當用戶希望直接從自己的地址將代幣轉移到另一個地址時,使用
-
語法:
// recipient:接收代幣的地址 // amount:要轉移的代幣數量 function transfer(address recipient, uint256 amount) public returns (bool)
-
範例:
假設 Alice 有 100 個代幣,她希望轉 50 個代幣給 Bob,她可以使用
transfer
函數:myToken.transfer(bobAddress, 50);
-
-
transferFrom
函數-
當用戶希望授權某個第三方(如智能合約或另一個地址)來管理和轉移他們的代幣時,使用
transferFrom
函數。 -
這在需要自動轉賬或合約進行代幣管理時非常有用。
-
語法:
// sender:代幣持有者的地址,代幣將從這個地址轉出 // recipient:接收代幣的地址 // amount:要轉移的代幣數量 function transferFrom(address sender, address recipient, uint256 amount) public returns (bool)
-
需要提前使用
approve
函數進行授權。- 因為只有在代幣持有者通過
approve
授權某個地址可以花費他的代幣後,這個地址才能使用transferFrom
來轉移代幣。
- 因為只有在代幣持有者通過
-
要檢查某個地址(如智能合約)還剩多少授權可以花費的代幣,可以使用
allowance
函數 -
範例:
// 授權智能合約可以花費 100 個代幣 myToken.approve(contractAddress, 100); // 合約將 50 個代幣從 Alice 轉移到 Bob myToken.transferFrom(aliceAddress, bobAddress, 50); // Alice 的授權限額會減少 50(因為已經轉移了 50 個代幣) myToken.allowance(aliceAddress, contractAddress); // 返回 50
-
-
- transfer 和 transferFrom 差別?
-
- IERC20 用來做什麼的?
-
所以為何要用繼承IERC20的方式?
IERC20
是 ERC-20 代幣標準的接口,定義了代幣合約必須具備的函數和事件,但不提供具體實現。繼承IERC20
表示合約符合 ERC-20 標準,必須實現接口中所有的方法,如transfer
、approve
等。- 靈活性:繼承
IERC20
允許你根據項目需求自定義 ERC-20 標準的實現。可以在實現函數時加入自己的邏輯,比如手續費、治理等功能。 - 標準化:
IERC20
是 ERC-20 的標準接口,繼承它意味著你的合約將遵守這一標準,可以與任何遵循 ERC-20 標準的應用(如去中心化交易所、錢包等)無縫互操作。
很多情況下,開發者會使用現有的 ERC-20 合約實現來節省時間和減少錯誤。OpenZeppelin 的
ERC20
合約就是一個常用的模板,它已經實現了 ERC-20 標準的所有功能。可以直接繼承ERC20
,然後再進行擴展。- 安全性和可靠性:像 OpenZeppelin 這樣的庫經過了廣泛的審計和測試,確保了代幣合約的安全性和可靠性。使用這些庫可以減少代幣合約出錯的風險。
- 快速開發:由於所有標準的 ERC-20 函數都已經實現,你只需要關注代幣的額外功能(如總供應量、代幣鑄造等),不需要重新實現所有標準函數。
- 靈活性:繼承
- 利用異常可以限制函數的調用
- Solidity 中三種異常:
error
,require
,assert
error
最省 gas fee,且可同時拋出異常&攜帶參數
// SPDX-License-Identifier: MIT
pragma solidity ^0.8.13;
error NotOwner();
contract AddOne {
uint public balance = 0;
address owner = 0x5B38Da6a701c568545dCfcB03FcB875f56beddC4;
function A() public {
if (msg.sender != owner){
revert NotOwner();
}
balance ++;
}
function B() public {
require(msg.sender == owner, "Not owner");
balance ++;
}
function C() public {
assert(msg.sender == owner);
balance ++;
}
}
-
使用 revert
error
: gas fee 最少- 當
error
條件不成立時:- 會回滾交易,與
require
相同。 - 允許定義自訂錯誤並攜帶參數,便於調試和診斷。
- 會回滾交易,與
- 當
-
使用
require
- 當
require
條件不成立時:- 會回滾整個交易。
- 消耗掉的 Gas 會退還剩餘的部分。
- 可以提供自訂的錯誤訊息,便於調試。
- 當
-
使用
assert
- 當
assert
條件不成立時:- 會回滾整個交易。
- 所有 Gas 都會被消耗,無論剩餘多少 Gas。
- 不允許提供錯誤訊息(只知道被 revert QQ)。
- 使用場合:
-
不變性條件的檢查:如數學計算錯誤,或者存款、提款後餘額應該始終為正。
-
理論上不應該失敗的地方:比如內部狀態更新後的一致性檢查。
-
範例:
function withdraw(uint256 amount) public { balance[msg.sender] -= amount; assert(balance[msg.sender] >= 0); // 應該永遠不會發生 }
這裡的
assert
用來檢查代幣餘額在扣除後不應該是負數,因為在代幣系統中這應該是不可變的規則。
-
- 當
特性 | require |
assert |
自定義 error |
---|---|---|---|
目的 | 驗證外部輸入和合約狀態 | 檢查合約內部不變條件 | 表達具體錯誤,並提高 Gas 效率 |
是否回滾 | 是 | 是 | 是 |
Gas 處理 | 剩餘 Gas 退回 | 所有 Gas 消耗 | 剩餘 Gas 退回 |
錯誤訊息 | 可以提供錯誤訊息 | 不可提供錯誤訊息 | 可以自定義錯誤,並攜帶參數 |
使用場合 | 輸入參數檢查、邏輯條件檢查 | 檢查不應發生的內部錯誤 | 類似 require ,但有更高 Gas 效率 |
require
:適合用於檢查外部輸入條件和狀態,如參數有效性、餘額檢查、授權驗證等。當條件不成立時,它會回滾交易並退還剩餘 Gas。assert
:主要用於檢查代碼中的不變性條件,如數學錯誤、邏輯漏洞等。如果條件不成立,則表明代碼出現了嚴重錯誤,所有的 Gas 都會被消耗掉。- 自定義
error
:允許開發者使用更加節省 Gas 的方式來報告錯誤,並且可以帶有參數來提供更豐富的上下文信息。這是提高 Gas 效率的一種方式,尤其是在複雜合約中使用大量錯誤檢查時。
- 指在同一個合約中,允許定義多個名稱相同但參數不同的函數
// SPDX-License-Identifier: MIT
pragma solidity ^0.8.13;
contract Demo{
function DoSomething() external pure returns(string memory){
return ("Do nothing");
}
function DoSomething(string memory something) external pure returns(string memory){
return something;
}
}
-
參數可以在數量或類型上有所不同,合約根據傳遞的參數來調用正確的函數實現。
-
和函數選擇器(function selector) 是相關的概念
-
每個 Solidity 函數都有一個函數選擇器
-
函數的名稱和參數類型 → 4 bytes Hash(8個 16進制)
function transfer(address recipient, uint256 amount) public returns (bool); keccak256("transfer(address,uint256)") => 0xa9059cbb
-
對於重載函數,每一個都有不同的函數簽名和函數選擇器,因為參數列表不同。
-
- 函數名稱相同,但參數的數量或類型不同。
- Solidity 根據傳入參數自動選擇合適的函數實現。
- 重載函數可以返回不同類型的數據,但參數列表必須唯一,以便區分不同的重載版本。
- 注意:Solidity 不允許修飾器(modifier)重載
- 注意:無法辨識的參數匹配(Argument Matching)
-
當參數帶進去都可以,編譯後不知道你要調用哪一個
// SPDX-License-Identifier: MIT pragma solidity ^0.8.13; contract Demo{ function f(uint8 _in) public pure returns (uint8 out) { out = _in; } function f(uint256 _in) public pure returns (uint256 out) { out = _in; } function callF() public pure returns (uint256 result){ return f(50); } }
-
p.s.容易混淆的概念:
- 覆寫(Override)
- 子類別可以覆寫父類別的方法內容,使該方法擁有不同於父類別的行為。
- 多載(Overload)
- 一個類別(class)中,定義多個名稱相同,但參數(Parameter)不同的方法(Method)。
- 多型(Polymorphism)
- 父類別可透過子類別衍伸成多種型態,而父類別為子類別的通用型態,再透過子類別可覆寫父類別的方法來達到多型的效果,也就是同樣的方法名稱會有多種行為。
- Library 是大神們寫的方法們,可以減少程式碼錯誤率,高速開發
- 無狀態(Stateless):
- Library 中不能有狀態變量,這意味著它們不能保存任何數據。
- 所有的函數都是純粹的邏輯運算,不涉及狀態修改。
- 無法接收以太幣:
- Library 無法直接接收或持有以太幣,這使得它們更加簡單和安全。
- 無法被部署:
- Library 本身不能被單獨部署,
- 它們的函數可以被其他合約調用,但它們本身不會管理狀態或擁有資金。
- 被調用時是無狀態的:
- Library 的函數執行時不依賴於存儲的狀態,這與普通合約不同。
- 不能被繼承
- 代碼復用:Library 中的函數可以在多個合約中重複使用,這樣可以減少代碼重複,提高開發效率。
- 簡化合約:Library 可以將邏輯代碼提取到外部,從而減少合約本身的複雜度。
- 常用工具和函數:Library 通常被用來定義常用的工具和函數,例如數學運算、數據結構處理等。
Solidity 中的 Library 有兩種主要調用方式:
- 內部函數庫(Internal Library):這類函數在編譯時會被內聯到調用它們的合約中。這意味著這些函數與合約中的其他代碼一起部署,不需要單獨的合約調用。
- 外部函數庫(External Library):這類函數庫可以部署為單獨的合約,其他合約通過
delegatecall
調用它們的函數,這樣的調用可以節省合約大小並允許多個合約共享相同的函數邏輯。
內部函數庫中的函數是內聯的,這意味著它們的代碼會在調用合約中直接使用,沒有額外的合約調用開銷。
範例:
// 數學運算工具庫
library Math {
// 加法函數
function add(uint256 a, uint256 b) internal pure returns (uint256) {
return a + b;
}
}
contract Example {
// 使用 Library 中的函數
function sum(uint256 x, uint256 y) public pure returns (uint256) {
return Math.add(x, y);
}
}
- 在這個例子中,
Math
庫的add
函數是內聯的,這意味著當Example
合約部署時,add
函數的邏輯會被直接編譯進合約。 - 內聯(Inline):函數代碼在編譯時被嵌入到調用的合約中,因此不需要額外的合約調用。
- 節省執行時的 Gas 成本:
- 沒有額外的函數調用開銷:內部函數庫的調用就像調用本地函數一樣,不需要通過
CALL
或DELEGATECALL
進行合約間的調用。 - 因為內部函數庫不涉及合約間調用,所以節省了在合約調用中的額外 Gas 成本。
- 沒有額外的函數調用開銷:內部函數庫的調用就像調用本地函數一樣,不需要通過
外部函數庫需要部署成獨立的合約,其他合約通過 delegatecall
調用它們。這使得不同的合約可以共享相同的庫邏輯,而不需要將其內聯到每個合約中。
範例:
library Math {
function add(uint256 a, uint256 b) external pure returns (uint256) {
return a + b;
}
}
contract Example {
// 引入外部函數庫
using Math for uint256;
function sum(uint256 x, uint256 y) public view returns (uint256) {
return x.add(y); // 調用外部函數庫
}
}
-
在這個例子中,
Math
庫作為外部函數庫使用,x.add(y)
是一個delegatecall
調用,這意味著合約不需要內聯Math
的代碼,而是委派調用到外部合約來完成這個邏輯。 -
using for
語法using Math for uint256
表示可以將Math
中定義的函數應用於uint256
類型的變量上。
- Import:將內容(合約、庫、接口等)模塊化後,導入主合約
- 只需部署主合約
- 語法
-
導入整個文件
import "./SomeContract.sol";
-
導入具名的部分
可以只導入文件中的特定合約、庫或接口:
import {ContractA, ContractB} from "./SomeContract.sol";
contract Import { A a = new A(); // new 出 A 之後即可使用 A 合約中方法 function test() external{ a.call(); } }
-
透過網址引用
import 'https://github.com/OpenZeppelin/openzeppelin-contracts/blob/master/contracts/utils/Address.sol';
-
從
node_modules
(npm)中導入import "@openzeppelin/contracts/token/ERC20/ERC20.sol";
-
重命名導入的項目
import {ContractA as NewContractA} from "./SomeContract.sol";
-
全局別名導入
// MathLib.sol // 一個簡單的數學庫 pragma solidity ^0.8.0; library MathLib { function add(uint a, uint b) external pure returns (uint) { return a + b; } }
// MyContract.sol // 主合約,使用全局別名導入 MathLib pragma solidity ^0.8.0; // 全局別名導入 MathLib import * as Math from "./MathLib.sol"; contract MyContract { uint public result; // 使用 MathLib 庫的加法函數 function calculate(uint a, uint b) public { result = Math.MathLib.add(a, b); // 使用全局別名 Math 訪問 add 函數 } }
-
在 Solidity 中,接收 ETH 有幾種常見的方式,主要涉及到使用 payable
修飾符和適當的回退函數設計。以下是一些接收 ETH 的常見方式及注意事項:
- 要讓合約接收 ETH,必須將函數聲明為
payable
- 常見的做法,是在建構函數或特定的函數中接收 ETH
pragma solidity ^0.8.0;
contract Example {
// 接收ETH的函數需要用payable修飾
function deposit() public payable {
// ETH 自動添加到合約的餘額中
}
// 查詢合約的餘額
function getBalance() public view returns (uint) {
return address(this).balance;
}
}
- Solidity 0.6.0 之後
- 觸發條件:當外部帳戶向合約發送 ETH,且沒有附帶任何 calldata(即沒有指定函數或數據),
receive
函數就會被觸發。 - 語法要求:
receive
函數必須標記為external
和payable
。 - Gas 限制:默認情況下,
receive
函數會有 2300 gas 限制(同樣的限制存在於fallback
函數中),因此不能進行太複雜的操作。
pragma solidity ^0.8.0;
contract Example {
// 接收ETH的fallback或receive函數
receive() external payable {
// 可以在這裡添加邏輯,例如記錄發送者和金額
}
// 查詢合約的餘額
function getBalance() public view returns (uint) {
return address(this).balance;
}
}
- 主要用途:
fallback
函數是作為一種「後備」機制,當合約調用的函數不存在時會被觸發,並且也可以用來接收 ETH。 - 觸發條件:
- 當對合約進行的調用(包括 ETH 轉帳)無法匹配合約中的任何函數簽名(即調用了不存在的函數)。
- 或者,當向合約發送 ETH,但合約中沒有定義
receive
函數時。
- 語法要求:
fallback
函數可以是payable
或非payable
,取決於是否希望它接收 ETH。fallback
函數如果標記為payable
,那麼它不僅會在函數匹配失敗時觸發,還會允許接收 ETH。- 如果不標記
payable
,則只會在函數匹配失敗時觸發,且不能接收 ETH。
- 功能更廣泛:除了接收 ETH 外,
fallback
函數還可以用來處理合約接收到的未知函數調用。
pragma solidity ^0.8.0;
contract Example {
fallback() external payable {
// 這裡可以寫入簡單的處理邏輯
}
function getBalance() public view returns (uint) {
return address(this).balance;
}
}
特性 | receive 函數 |
fallback 函數 |
---|---|---|
用途 | 專門用來接收 ETH,沒有附加數據時觸發 | 處理不存在的函數調用,且可以用來接收 ETH |
觸發條件 | 當收到 ETH 並且沒有 calldata | 函數匹配失敗或轉帳時無 receive 函數 |
是否接收 ETH | 必須 payable 並接收 ETH |
可以是 payable 或非 payable |
語法要求 | 必須是 external 和 payable |
可選 payable ,也可以不接收 ETH |
使用情境 | 僅處理 ETH 轉帳 | 兼具處理函數調用錯誤和 ETH 轉帳 |
- Gas 限制:
receive
和fallback
函數的 gas 非常有限(2300 gas),因此不能在這些函數中進行複雜的操作(例如寫入存儲)。 - 安全性:在接收 ETH 的合約中,務必考慮重入攻擊的可能性。合約在接收資金時可能被惡意合約利用,尤其是當合約依賴外部調用時。使用「檢查-效應-互動」模式來避免此類攻擊。
- 處理失敗的 ETH 轉帳:當將 ETH 發送回外部地址時,確保處理失敗的轉帳。建議使用
call
而非transfer
或send
,因為它允許處理轉帳失敗的情況。
(bool success, ) = recipient.call{value: amount}("");
require(success, "Transfer failed.");
- 接收 ETH 的限額:可以根據合約邏輯設置接收 ETH 的限額。例如,限制每次交易的最大 ETH 數額,以避免惡意發送超額資金。
- 合約餘額管理:合約接收到 ETH 後,應該有機制允許提取或重新分配。例如,合約擁有者或其他授權用戶可以提取合約中的 ETH。
fallback
函數常用於 重入攻擊!!!
- 當合約在執行外部轉帳時,惡意合約通過
fallback
函數反覆調用原合約,從而進行多次提取資金的攻擊。 - 過程的核心:合約在完成內部狀態更新前,先進行資金轉移,使惡意合約利用未更新的狀態來反覆提取資金。
- 合約 A 向外部地址(可能是合約 B)進行資金轉移,並使用
call
來調用。 - 惡意合約 B 接收到 ETH 後,
fallback
函數被觸發,並在fallback
函數中重新調用合約 A 的提取資金函數。 - 合約 A 尚未更新內部狀態(例如尚未記錄該筆交易已完成),所以允許重複提取資金。
- 重複執行,直到合約 A 的資金被耗盡。
-
重入攻擊的範例:
pragma solidity ^0.8.0; contract VulnerableContract { mapping(address => uint) public balances; // 使用者存款 function deposit() public payable { balances[msg.sender] += msg.value; } // 提取資金函數,存在重入漏洞 function withdraw() public { uint amount = balances[msg.sender]; // 調用外部地址,發送 ETH(此處的 call 是一個潛在漏洞) (bool success, ) = msg.sender.call{value: amount}(""); require(success, "Transfer failed"); // 更新餘額(此行在資金轉移之後,導致漏洞) balances[msg.sender] = 0; } // 查詢合約餘額 function getBalance() public view returns (uint) { return address(this).balance; } }
- 惡意合約利用
fallback
函數來進行攻擊。 - 在這個例子中,惡意合約在
fallback
函數中重複調用原合約的withdraw
函數。
pragma solidity ^0.8.0; contract MaliciousContract { VulnerableContract public vulnerable; constructor(address _vulnerableAddress) { vulnerable = VulnerableContract(_vulnerableAddress); } // 初次觸發提取資金的函數 function attack() public payable { require(msg.value >= 1 ether, "Need at least 1 ETH"); vulnerable.deposit{value: 1 ether}(); vulnerable.withdraw(); } // fallback 函數,當接收到 ETH 時自動重入 fallback() external payable { if (address(vulnerable).balance > 1 ether) { vulnerable.withdraw(); } } // 查詢合約餘額 function getBalance() public view returns (uint) { return address(this).balance; } }
- 惡意合約向
VulnerableContract
存入 1 ETH 並調用withdraw()
。 withdraw()
將向惡意合約發送 ETH,這會觸發惡意合約的fallback()
函數。- 在
fallback()
函數中,惡意合約再次調用withdraw()
,由於VulnerableContract
還沒有更新內部的balances
狀態,這使得惡意合約可以多次提取資金。 - 重複此過程,直到
VulnerableContract
的資金耗盡。
- 為了防止這類攻擊,Solidity 提供了一些良好的編碼慣例
- 最關鍵的一點是遵循「檢查-效應-互動」(Check-Effects-Interactions)模式。
- 這個模式建議在進行外部交互(例如轉帳或調用外部合約)之前,先更新合約的內部狀態,確保狀態已正確更新,防止重入。
修改後的安全版本:
pragma solidity ^0.8.0; contract SecureContract { mapping(address => uint) public balances; function deposit() public payable { balances[msg.sender] += msg.value; } function withdraw() public { uint amount = balances[msg.sender]; // 先更新狀態,再進行外部調用,防止重入攻擊 balances[msg.sender] = 0; (bool success, ) = msg.sender.call{value: amount}(""); require(success, "Transfer failed"); } function getBalance() public view returns (uint) { return address(this).balance; } }
- 使用
ReentrancyGuard
:這是一個常用的合約設計模式,它通過添加一個鎖來防止重入調用。 - 限制
fallback
函數的使用:避免在fallback
函數中執行複雜的邏輯,或者限制其調用頻率和操作範圍。 - 使用
transfer
或send
而非call
:transfer
和send
會限制 gas,這樣即使惡意合約有fallback
函數,它也無法完成複雜的邏輯。但在新版 Solidity 中,因為transfer
和send
的局限性,更多使用call
,因此需要更多防範措施。
- 惡意合約利用
- Solidity 提供多種方式來發送 ETH,但每種方式有其限制和風險:
-
transfer
:- 固定 2300 gas,防止重入攻擊,但在 gas 限制情況下可能失敗。
payable(receiver).transfer(1 ether);
-
send
:- 與
transfer
類似,但返回布林值,需手動檢查成功與否。
bool success = payable(receiver).send(1 ether); require(success, "Send failed");
- 與
-
call
:- 建議使用的方式,可附帶資料,返回成功狀態和返回值。推薦在交易需要更高 gas 的情況下使用。
(bool success, ) = receiver.call{value: 1 ether}(""); require(success, "Call failed");
-
合約可以直接調用其他合約的函數,支援內部或外部的交互:
內部合約調用:
function callInternalContract(address _contract) external { SomeContract(_contract).someFunction(); }
帶參數的外部合約調用:
interface ISomeContract { function setValue(uint256 _value) external; } function callExternalContract(address _contract, uint256 value) external { ISomeContract(_contract).setValue(value); }
-
低層次函數調用,允許與其他合約進行靈活交互。能附帶 ETH 或調用不在 ABI 中的函數。
範例:
(bool success, bytes memory data) = targetContract.call(abi.encodeWithSignature("foo(uint256)", 42)); require(success, "Call failed");
-
delegatecall
將目標合約的邏輯在調用者合約的上下文中執行。msg.sender
和storage
保持原狀,因此用於 代理合約模式。 -
什麼是代理合約(Proxy Contract)?
- 一種設計模式
- 用於解決 智能合約的升級問題
- 由於區塊鏈上的智能合約一旦部署,合約的程式碼無法修改,因此需要透過 代理合約 來達成合約邏輯的靈活性和可升級性。
- 代理合約模式的運作原理
- 代理合約(Proxy Contract):
- 儲存業務邏輯的地址(邏輯合約地址)。
- 使用
delegatecall
將調用委派給邏輯合約。
- 邏輯合約(Logic Contract):
- 包含實際業務邏輯的程式碼。
- 可在需要時部署新的邏輯合約,並讓代理合約指向新邏輯合約。
- 代理合約(Proxy Contract):
範例:
(bool success, ) = targetContract.delegatecall(abi.encodeWithSignature("foo()")); require(success, "Delegatecall failed");
-
合約可以透過
new
來創建新的合約。範例:
contract NewContract { uint256 public value; constructor(uint256 _value) { value = _value; } } contract Factory { function createNewContract(uint256 _value) external returns (address) { NewContract newContract = new NewContract(_value); return address(newContract); } }
-
create2
可以用 可預測的地址 來部署合約,使得在部署前就能計算合約地址 -
使用
Create2
,合約的地址可基於:- 部署者地址(deployer address)
- 鹽值(salt)(一個用於生成地址的隨機值)
- 合約的 bytecode(合約的程式碼)
範例:
bytes32 salt = keccak256(abi.encodePacked("salt")); address newContractAddress = address(new NewContract{salt: salt}());
-
使用預測合約地址的好處
- 在合約部署前,就能知道合約的 最終地址。這對於 合約之間的交互 尤其有用。
- 範例:如果 A 合約需要與即將部署的 B 合約交互,可以提前將 B 合約地址寫入 A 合約的變數中,無需等待 B 合約的部署完成。
- 在 DeFi 應用中,合約地址的預測讓使用者可以提前驗證地址,避免惡意方替換合約的風險。
- 範例:治理合約在等待新邏輯合約部署時,可以提前計算新合約地址,確保部署後使用的邏輯是預期的。
- 開發者可以提前計算新的邏輯合約地址,並在代理合約內指定此地址,實現無縫的 合約升級。
- 範例:透過
Create2
預計算地址,升級後的合約地址能在升級前就保證無誤。
- 預測地址允許提前配置多個合約之間的交互,避免在部署完成後修改合約狀態(如地址註冊或白名單)。
- 範例:NFT 合約可以提前生成藏品地址,省去交易後修改白名單的步驟,節省 Gas 成本。
- 在 Layer 2 或 Rollup 系統中,開發者可以預先計算合約地址,確保跨鏈或跨層交互的合約地址保持一致。
- 範例:在 L1 和 L2 上的錢包地址或合約地址一致,提升用戶體驗。
- 某些項目可能會先公佈即將部署的合約地址,讓用戶提前與即將部署的合約進行交互或準備。
- 範例:DeFi 協議可以提前讓用戶存入資金到預定地址,在合約部署完成後立即啟用。
-
計算合約地址:
address predictedAddress = address(uint160(uint256(keccak256(abi.encodePacked( bytes1(0xff), deployerAddress, salt, keccak256(abi.encodePacked(bytecode)) )))));
- 在 Solidity 中,當不再需要某個合約時,可以使用
selfdestruct
將其從區塊鏈上永久刪除。刪除後:- 合約的所有代碼與儲存空間會被移除。
- 合約餘額會自動轉移給指定的接收者(不必為owner地址)。
範例:
selfdestruct(payable(owner));
- 注意:刪除合約後,所有的資料將無法恢復。
- 如何檢查合約被刪除?嘗試調用該合約,將不會有任何響應。
範例:嘗試調用已刪除的合約
ExampleContract contract = ExampleContract(deployedAddress);
contract.someFunction(); // 此調用將失敗,因為合約已被刪除
-
定義了 合約與外部世界(如其他合約或應用程式)之間的交互格式
-
編碼:將參數打包成字節形式,用於低層次的合約交互。
bytes memory encodedData = abi.encodeWithSignature("foo(uint256)", 123);
-
解碼:解析返回的字節數據。
(uint256 result) = abi.decode(encodedData, (uint256));
-
Hash 函數必須具備的 5 個重要特性
- 同一輸入必須始終產生相同的輸出。
- 這意味著無論在哪裡或何時對相同的數據進行 Hash,結果都必須一致。
範例:
bytes32 hash1 = keccak256(abi.encodePacked("Hello")); bytes32 hash2 = keccak256(abi.encodePacked("Hello")); require(hash1 == hash2, "Hash values must be identical");
- Hash 函數應該能夠快速計算輸出的哈希值,適合高效處理大量數據。
- 區塊鏈節點需要快速驗證交易,所以 Hash 計算必須快速完成。
- 從 Hash 值無法逆推出原始輸入。
- 換句話說,給定一個哈希值,要找到對應的輸入幾乎不可能(需要大量計算資源)。
範例:
Given: H(x) = hash_value It's hard to find x such that H(x) = hash_value
- 給定一個輸入 x 和其 Hash 值 H(x),很難找到另一個輸入 y,使得 H(y) == H(x)。
- 這避免了攻擊者找到不同的輸入來偽造相同的哈希值。
範例:
Given: H(x) It's hard to find y ≠ x such that H(x) = H(y)
- 幾乎不可能找到兩個不同的輸入 x 和 y,使得 H(x) == H(y)。
- 這防止攻擊者通過構造不同的輸入來製造假資料,欺騙系統。
範例:
It's hard to find x ≠ y such that H(x) = H(y)
-
使用
keccak256
(等同於 SHA3)計算資料的哈希值。用於驗證資料一致性和建立不可逆的資料摘要。範例:
bytes32 hash = keccak256(abi.encodePacked("Solidity"));
-
用途:
- 建立唯一標識。
- 驗證資料的一致性(如簽名驗證)。
-
函數選擇器是函數名稱和參數的哈希值的前 4 個字節。用於識別合約中的特定函數。
範例:
bytes4 selector = bytes4(keccak256("transfer(address,uint256)"));
-
可以與
call
一起使用:(bool success, ) = target.call(abi.encodeWithSelector(selector, recipient, amount));
-
用於捕捉外部合約的錯誤,避免交易失敗導致整個交易回滾。
範例:
try externalContract.someFunction() { // 成功處理 } catch { // 捕捉錯誤並處理 }
-
catch 捕捉類型:
- catch (Error memory err):捕捉 Solidity 內部的
revert
錯誤。 - catch (bytes memory reason):捕捉低層次的錯誤(如
call
失敗)。
- catch (Error memory err):捕捉 Solidity 內部的
-
使用時機:
- 外部合約調用:當你需要調用外部合約的函數且該函數可能會失敗時,可以使用
try-catch
。 - 創建新合約:當你使用
new
關鍵字動態部署合約時,可以使用try-catch
捕捉部署失敗的情況。
- 外部合約調用:當你需要調用外部合約的函數且該函數可能會失敗時,可以使用
// SPDX-License-Identifier: MIT
pragma solidity ^0.8.0;
contract ExternalContract {
function willFail(bool shouldFail) external pure returns (string memory) {
require(!shouldFail, "External call failed");
return "Success";
}
}
contract TryCatchExample {
ExternalContract public externalContract;
constructor(address _externalContract) {
externalContract = ExternalContract(_externalContract);
}
function callExternalFunction(bool shouldFail) public returns (string memory) {
try externalContract.willFail(shouldFail) returns (string memory result) {
// 成功呼叫時返回結果
return result;
} catch (Error memory err) {
// 捕捉 Solidity 內部的錯誤
return string(abi.encodePacked("Error: ", err.message));
} catch (bytes memory reason) {
// 捕捉低層錯誤(例如使用 call 失敗)
return string(abi.encodePacked("Low-level error: ", string(reason)));
}
}
}