溫馨提示×
您好，登錄后才能下訂單哦！
點擊 登錄注冊 即表示同意《億速云用戶服務條款》
您好，登錄后才能下訂單哦！
本篇內容介紹了“solidity全局變量有哪些”的有關知識，在實際案例的操作過程中，不少人都會遇到這樣的困境，接下來就讓小編帶領大家學習一下如何處理這些情況吧！希望大家仔細閱讀，能夠學有所成！
靜態尺寸大小的變量（除了映射和動態尺寸大小的數組類型（的其他類型變量））在存儲中，是從位置0連續存儲。如果可能的話，不足32個字節的多個條目被緊湊排列在一個單一的存儲塊，參見以下規則：
在存儲塊中的第一項是存儲低階對齊的。
基本類型只使用了正好存儲它們的字節數。
如果一個基本類型不適合存儲塊的剩余部分，則移動到下一個存儲塊中。
結構和數組的數據總是開始一個新的塊并且占整個塊（根據這些規則，結構或數組項都是緊湊排列的）。
結構和數組元素是一個接著一個存儲排列的，就如當初它們被聲明的次序。
由于無法預知的分配的大小，映射和動態尺寸大小的數組類型（這兩種類型）是使用sha3 計算來找到新的起始位置，來存放值或者數組數據。這些起始位置總是滿棧塊。
根據上述規則，映射或動態數組本身存放在（沒有填滿）的存儲塊位置p（或從映射到映射或數組遞歸應用此規則）。對于一個動態數組，存儲塊存儲了數組元素的數目（字節數組和字符串是一個例外，見下文）。對于映射，存儲塊是未使用的（但它是需要的，因此，前后相鄰的兩個相同的映射，將使用一個不同的hash分布）。數組數據位于sha3(p)， 對應于一個映射key值k位于 sha3(k . p) （這里 . 是連接符）。如果該值又是一個非基本類型，位置的偏移量是sha3(k . p)。
如果bytes 和 string是短類型的，它們將和其長度存儲在同一個存儲塊里。特別是：如果數據最長31字節，它被存儲在高階字節（左對齊）, 低字節存儲length* 2。 如果是長類型，主存儲塊存儲 length* 2 + 1, 數據存儲在sha3(shot)。
因此，本合約片段如下：
contract c {
struct S { uint a; uint b; }
uint x;
mapping(uint => mapping(uint => S)) data;
}在Solidity的類型系統中，有一些在語法中沒有對應的類型。其中就有函數的類型。但若使用 var （這個關鍵字），該函數就被認為是這個類型的局部變量：
contract FunctionSelector {
function select(bool useB, uint x) returns (uint z) {
var f = a;
if (useB) f = b;
return f(x);
}
function a(uint x) returns (uint z) {
return x * x;
}
function b(uint x) returns (uint z) {
return 2 * x;
}
}（在上面的程序片段中）
若調用select(false, x)， 就會計算 x * x 。若調用select(true, x)）就會計算 2 * x。
Solidity 優化器是在匯編級別上的操作，所以它也可以同時被其他語言所使用。它將指令的（執行）次序，在JUMP 和 JUMPDEST上分成基本的塊。在這些塊中，指令被解析 。 堆棧、內存或存儲上的每一次修改，都將作為表達式被記錄。該表達式包括一條指令以及指向其他表達式的一系列參數的一個指針。現在的主要意思是要找到相等的表達式（在每次輸入），做成了表達式的類。優化器首先在已知的表達式列表里找，若找不到的話，就根據constant + constant = sum_of_constants 或 X * 1 = X 來簡化。 因為這樣做是遞歸的，如果第二個因子是一個更復雜的表達式，我們也可以應用latter規則來計算。存儲和內存位置的修改，是不知道存儲和內存的位置的區別。如果我們先寫到的位置x，再寫到位置y , x,y均是輸入變量。第二個可以覆寫第一個，所以我們不知道x是存放在y之后的。另一方面，如果一個簡化的表達式 x-y 能計算出一個非零常數，我們就知道x存放的內容。
在這個過程結束時，我們知道，表達式必須在堆棧中結尾，并有一系列對內存和存儲的修改。這些信息存儲在block上，并鏈接這些block。此外，有關堆棧，存儲和內存配置的信息會轉發到下一個block。如果我們知道所有的 JUMP 和 JUMPI 指令，我們可以建立一個完整的程序控制流圖。如果我們不知道目標塊（原則上，跳轉目標是從輸入里得到的），我們必須清除所有輸入狀態的存儲塊上的信息，（因為它的目標塊未知）。如果條件計算的結果為一個常量，它轉化為一個無條件jump。
作為最后一步，在每個塊中的代碼完全可以重新生成。從堆棧里block的結尾表達式開始，創建一個依賴關系圖。每個不是這個圖上的操作將舍棄。現在能按照原來代碼的順序，生成對存儲和內存修改的代碼（舍棄不必要的修改）。最后，在正確位置的堆棧上，生成所有的值。
這些步驟適用于每一個基本塊， 如果它是較小的，用新生成的代碼來替換。如果一個基本塊在JUMPI上進行分割，在分析過程中，條件表達式的結果計算為一個常數，JUMP就用常量值進行替換。代碼如下
var x = 7; data[7] = 9; if (data[x] != x + 2) return 2; else return 1;
簡化成下面可以編譯的形式
data[7] = 9; return 1;
即使在開始處包含有jump指令
一個 Solidity 庫構建的目標是solc， Solidity命令行編譯器。使用solc –help 為您提供所有選項的解釋。編譯器可以產生不同的輸出，從簡單的二進制文件，程序集的抽象語法樹（解析樹）到gas使用的估量。如果你只想編譯一個文件，你運行solc –bin sourceFile.sol ， 將會打印出二進制。你部署你的合約之前，使用solc –optimize –bin sourceFile.sol 來激活優化器。如果你想獲得一些solc更進一步的輸出變量，可以使用solc -o outputDirectory –bin –ast –asm sourceFile.sol，（這條命令）將通知編譯器輸出結果到單獨的文件中。
命令行編譯器會自動從文件系統中讀取輸入文件，但也可以如下列方法，提供重定向路徑prefix=path ：
solc github.com/ethereum/dapp-bin/=/usr/local/lib/dapp-bin/ =/usr/local/lib/fallback file.sol
該命令告訴編譯器在/usr/local/lib/dapp-bin目錄下，尋找以github.com/ethereum/dapp-bin/ 開頭的文件，如果找不到的話，到usr/local/lib/fallback目錄下找（空前綴總是匹配）。
solc不會從remapping目標的外部，或者顯式定義的源文件的外部文件系統讀取文件，所以要寫成 import “/etc/passwd”; 只有增加 =/ 作為remapping,程序才能工作。
如果remapping里找到了多個匹配，則選擇有共同的前綴最長的那個匹配。
如果你的合約使用了 libraries ，你會注意到字節碼中包含了 form LibraryName 這樣的子字符串。你可以在這些地方使用solc 作為鏈接器，來插入庫地址 ：
Either add –libraries “Math:0x12345678901234567890 Heap:0xabcdef0123456” 提供每個庫的地址， 或者在文件中存放字符串（每行一個庫）
然后運行solc，后面寫 –libraries fileName.
如果solc后面接著 –link 選項，所有輸入文件將被解釋為未鏈接的二進制文件（十六進制編碼）， LibraryName形式如前所述， 庫此時被鏈接（從stdin讀取輸入，從stdout輸出）。在這種情況下，除了–libraries,其他所有的選項都將被忽略（包括 -o)
在數組中使用delete，就是刪除數組中的所有元素。
使用較短的類型和結構元素，短類型分組在一起進行排序。sstore操作可能合并成一個單一的sstore，這可以降低gas的成本（sstore消耗5000或20000 gas，所以這是你必須優化的原因）。使用天gas的價格估算功能（優化器 enable）進行檢查！
讓你的狀態變量公開，編譯器會免費創建 getters 。
如果你結束了輸入或狀態的檢查條件，請嘗試使用函數修飾符。
如果你的合約有一個功能send， 但你想使用內置的send功能，請使用 address(contractVariable).send(amount)。
如果你不想你的合約通過send接收ether，您可以添加一個拋出回退函數 function() { throw; }.。
用單條賦值語句初始化存儲結構：x = MyStruct({a: 1, b: 2});
不幸的是，還有一些編譯器微妙的情況還沒有告訴你。
在for (var i = 0; i < arrayName.length; i++) { ... }, i的類型是uint8，因為這是存放值0最小的類型。如果數組元素超過255個，則循環將不會終止。
block.coinbase (address):當前塊的礦場的地址
block.difficulty (uint):當前塊的難度
block.gaslimit (uint):當前塊的gaslimit
block.number (uint):當前塊的數量
block.blockhash (function(uint) returns (bytes32)):給定的塊的hash值, 只有最近工作的256個塊的hash值
block.timestamp (uint):當前塊的時間戳
msg.data (bytes):完整的calldata
msg.gas (uint): 剩余gas
msg.sender (address):消息的發送者（當前調用）
msg.value (uint):和消息一起發送的wei的數量
now (uint):當前塊的時間戳（block.timestamp的別名）
tx.gasprice (uint):交易的gas價格
tx.origin (address):交易的發送者（全調用鏈）
sha3(...) returns (bytes32):計算（緊湊排列的）參數的 Ethereum-SHA3 hash值
sha256(...) returns (bytes32)計算（緊湊排列的）參數的SHA256 hash值
ripemd160(...) returns (bytes20):計算 256個（緊湊排列的）參數的RIPEMD
ecrecover(bytes32, uint8, bytes32, bytes32) returns (address):橢圓曲線簽名公鑰恢復
addmod(uint x, uint y, uint k) returns (uint):計算（x + y）K，加法為任意精度，不以2 ** 256取余
mulmod(uint x, uint y, uint k) returns (uint):計算（XY）K，乘法為任意精度，不以2 * 256取余
this (current contract’s type): 當前合約，在地址上顯式轉換
super:在層次關系上一層的合約
selfdestruct(address):銷毀當前的合同，將其資金發送到指定address地址
<address>.balance:address地址中的賬戶余額（以wei為單位）
<address>.send(uint256) returns (bool):將一定量wei發送給address地址，若失敗返回false。
function myFunction() <visibility specifier> returns (bool) {
return true;
}public:在外部和內部均可見（創建存儲/狀態變量的訪問者函數）
private:僅在當前合約中可見
external: 只有外部可見（僅對函數）- 僅僅在消息調用中（通過this.fun）
internal: 只有內部可見
Modifiers
constant for state variables: Disallows assignment (except initialisation), does not occupy storage slot.
constant for functions: Disallows modification of state - this is not enforced yet.
anonymous for events: Does not store event signature as topic.
indexed for event parameters: Stores the parameter as topic.
修飾符
constant for state variables: 不允許賦值（除了初始化），不占用存儲塊。
constant for functions:不允許改變狀態- 這個目前不是強制的。
anonymous for events:不能將topic作為事件指紋進行存儲。
indexed for event parameters: 將topic作為參數存儲。
“solidity全局變量有哪些”的內容就介紹到這里了，感謝大家的閱讀。如果想了解更多行業相關的知識可以關注億速云網站，小編將為大家輸出更多高質量的實用文章！
免責聲明：本站發布的內容（圖片、視頻和文字）以原創、轉載和分享為主，文章觀點不代表本網站立場，如果涉及侵權請聯系站長郵箱：is@yisu.com進行舉報，并提供相關證據，一經查實，將立刻刪除涉嫌侵權內容。
