【開發智能合約 — Solidity系列】實作篇Ep.7 — 狀態的可變性限制(State Mutability)
更新於 發佈於 閱讀時間約 4 分鐘
這次的篇章主要在介紹狀態的可變性，透過約束來限制狀態，避免隨意更改狀態導致錯誤的合約出現，如果對於Solidity開發有興趣的朋友不妨參考「📚 更多關於Solidity的文章請看這裡…」，讓我們一起動動手學習開發智能合約吧！
我們都知道狀態在智能合約中扮演著非常重要的角色，經過什麼事件之後變化為什麼狀態，甚至某些特定狀態是不可被修改的，又或者是某些功能開放給外部使用時，不可以讀取到合約內狀態…，都圍繞在可變與不可變之間，而Solidity也提供了幾個特定的識別字，讓我們可以在開發特定功能時，限制該功能對於可變程度的約束。
重要的約束關鍵字，分別是： pure、view，而none的部分是沒有限制的意思，故使用none表述，但官方並未具有none這個關鍵字，特此聲明。
pure
顧名思義就是非常「純」的意思，也就是我們在功能開發上一但約束為pure，就不能對狀態進行修改，甚至連窺探也不行，這種函式通常用來計算沒有任何依賴的式子，因此過程中不會改變到任何狀態，也不會依賴狀態來進行演算。
因此假設我們在pure的function內讀取或修改狀態，在編譯階段時就會被檢查出錯誤，也無法順利編譯。
contract Example {
string private state = "start"; function pureFunc(uint a, uint b) public pure returns(uint) {
// ❌ 無法讀取狀態
// assert(bytes(state).length > 0);
// ❌ 無法修改狀態
// state = "doing";
return a + b;
}
}view
view的部分就是想像成唯讀模式，僅能讀取狀態，但不能修改狀態，因此可以藉由狀態來進行一些判斷後運算。
contract Example {
string private state = "start"; function viewFunc(uint a, uint b) public view returns(uint) {
// ✔️ 可以讀取狀態
assert(bytes(state).length > 0);
// ❌ 無法修改狀態
// state = "doing";
return a + b;
}
}none
沒有任何約束的function，可以讀取也可以修改狀態，除非必要，否則不建議隨意修改狀態。
function func(uint a, uint b) public returns(uint) {
// ✔️ 可以讀取狀態
assert(bytes(state).length > 0);
// ✔️ 無法修改狀態
state = "doing";
return a + b;
}結語
剛接觸Solidity時不免會閱讀許多大神們的程式碼，過程中發現時不時就有個pure、view，但只知道有這兩個關鍵字卻不曾想進一步去了解，直到一步步學習時，發現編譯的過程有些警告，貼心的編譯器會建議我們，當沒有進行狀態的讀取時就使用pure…，當時也沒有深究其因，就照著IDE的警告進行修正，而透過這次的深入學習之後，才發現原來pure及view的設計是有其意義的，而我們也應該瞭解限制與用法之後，才能更進一步的開發智能合約。
今天的範例都在這裡「📦 solidity-remix-toturial/Ep7」歡迎自行取用。
喜歡撰寫文章的你，不妨來了解一下：
歡迎加入一起練習寫作，賺取知識，累積財富！
為什麼會看到廣告
119會員
268內容數
哈囉，我是阿Han，是一位 👩💻 軟體研發工程師，喜歡閱讀、學習、撰寫文章及教學，擅長以圖代文，化繁為簡，除了幫助自己釐清思路之外，也希望藉由圖解的方式幫助大家共同學習，甚至手把手帶您設計出高品質的軟體產品。
留言0
查看全部你可能也想看
Google News 追蹤
嘿，大家新年快樂~ 新年大家都在做什麼呢？
跨年夜的我趕工製作某個外包設計案，在工作告一段落時趕上倒數。
然後和兩個小孩過了一個忙亂的元旦。在深夜時刻，看到朋友傳來的解籤網站，興致勃勃熬夜體驗了一下，覺得非常好玩，或許有人玩過了，但還是想寫上來分享紀錄一下~
pure function 是甚麼呢?
最主要兩大特點 :
淺顯易懂的說法就是 : 對於有相同的輸入，就會有相同的輸出。
無副作用 : 不會去修改或依賴外部的狀態。
舉一個例子 :
function add(a, b) {
return a + b;
}
function裡面他帶入的
在 Solidity 中，constant 變量用於定義不可變的常數值。這些常數在合約的生命週期內不會改變，並且它們的值必須在宣告時設定。使用 constant 關鍵字可以節省 gas，因為它們在編譯時就已經被嵌入到字節碼中，不需要在運行時讀取存儲。
用法
定義常數：
常數變量必須在宣告時初始
msg.sender
定義：msg.sender 是 Solidity 中的一個全局變量，表示當前調用合約函數的外部地址。這個地址可以是普通用戶賬戶（EOA）或另一個智能合約。
用途：用於識別誰在調用當前函數。在每次函數調用期間，msg.sender 都會動態地更新為當前調用該函數的賬戶地址。
法律主要缺點就是模糊與不確定，卻也成其最大的優點，因為具有靈活和適應程度的契約規則。智能合約主要優點就是自主保證執行，卻構成其最大的限制，導致過度僵化和無法持續與環境同步。只有時間才能證明區塊鏈技術及是否會真正轉變且滲入我們的世界，也就是Web3世界的到來。而我相信智能法律合約將會是未來的發展趨勢！
嘿，大家新年快樂~ 新年大家都在做什麼呢？
跨年夜的我趕工製作某個外包設計案，在工作告一段落時趕上倒數。
然後和兩個小孩過了一個忙亂的元旦。在深夜時刻，看到朋友傳來的解籤網站，興致勃勃熬夜體驗了一下，覺得非常好玩，或許有人玩過了，但還是想寫上來分享紀錄一下~
pure function 是甚麼呢?
最主要兩大特點 :
淺顯易懂的說法就是 : 對於有相同的輸入，就會有相同的輸出。
無副作用 : 不會去修改或依賴外部的狀態。
舉一個例子 :
function add(a, b) {
return a + b;
}
function裡面他帶入的
在 Solidity 中，constant 變量用於定義不可變的常數值。這些常數在合約的生命週期內不會改變，並且它們的值必須在宣告時設定。使用 constant 關鍵字可以節省 gas，因為它們在編譯時就已經被嵌入到字節碼中，不需要在運行時讀取存儲。
用法
定義常數：
常數變量必須在宣告時初始
msg.sender
定義：msg.sender 是 Solidity 中的一個全局變量，表示當前調用合約函數的外部地址。這個地址可以是普通用戶賬戶（EOA）或另一個智能合約。
用途：用於識別誰在調用當前函數。在每次函數調用期間，msg.sender 都會動態地更新為當前調用該函數的賬戶地址。
法律主要缺點就是模糊與不確定，卻也成其最大的優點，因為具有靈活和適應程度的契約規則。智能合約主要優點就是自主保證執行，卻構成其最大的限制，導致過度僵化和無法持續與環境同步。只有時間才能證明區塊鏈技術及是否會真正轉變且滲入我們的世界，也就是Web3世界的到來。而我相信智能法律合約將會是未來的發展趨勢！