Solidity基礎教程2——值類型

本教程使用的開發環境是一款在線編譯器——ChainIDE，具體的使用方法在之前的文章當中已經有講解過，有需要的同學可以自行查看。

網址：https://eth.chainide.com/

序言

變量值是一個程序最基礎的部分，不管是各類的運算符，還是邏輯，都是由一個個值支撐的。

Solidity是一種靜態程序語言，也就是說它的每一個變量都需要對它指定類型（或者能推斷出的類型）。在程序當中有可能會用到的是以下幾種類型：布爾類型、整型、定長浮點型（不完全支持）、地址類型、常數類型。

作爲一個經歷過一些其他語言的編程者，我必須承認，在Solidity當中的變量這個環節是非常複雜的，智能合約是由邏輯+計算組成的，在計算當中的任何一個不安全或者是溢出都有可能會導致智能合約的崩潰。

在本章當中介紹的一些計算和運行方式僅作爲教學使用，實際項目部署當中的計算往往需要使用已經經過市場校驗和實踐過的庫， 比如Openzepplin的Safemath。

在結尾會有一個對所有類型的計算以及例程的總結，有需要的可以直接跳至底部。

布爾類型

布爾類型的關鍵詞是bool，其值可以爲true或者false，這個類型與其他語言基本相同。

有兩個運算符需要注意，分別是||和&&。在這裏，它們遵循短路原則，意思就是如果在||時第一個變量值爲true，就不會去看第二個變量了。同樣的，如果&&的時候第一個變量爲false，也不會去看第二個變量。

Tips：布爾類型在實際的運算與比較當中有可能是某個表達式的結果，如果這個表達式涉及到對某個變量的修改，建議放在布爾類型運算符外。

整型

Solidity支持有符號和無符號整數(uint/int)，對於不同長度的整數需要設置長度（可以從8～256，比如128位無符號整數是uint128），uint/int是uint256/int256的別稱。

整型支持的運算符與其他的語言類似，包括比較運算符、位運算符、算數運算符。在對整數進行除法運算時，會進行截斷操作，小數點之後的東西會被捨去。

Tips：在對有符號整數進行位運算時需要小心，有可能會導致負號消失，或者在運行時出現其他問題，最好不要對有符號整數進行左移或者右移運算。

地址類型

地址類型是以太坊的一個特有類型，它是一個160位二進制的數，不同於Bitcoin的UTXO模型，以太坊交易是以其特定的賬戶模型，每個賬戶都有其對應的地址。

地址類型有幾個常用的成員函數可以調用，首先是balance可以調用地址的當前餘額，transfer和send可以向當前地址發送代幣。

在合約當中，this關鍵字對應的是該合約的地址，address(this)可以返回對應的值。

bytes類型

   bytes2 bytes_example = 0x2353;

bytes類型又被成爲定長字節數組，但是其實它在定義時並不像其他數組那樣，它在定義時就是一個固定的長度的儲存空間，長度可以從1～32，定義時使用bytes2這樣表示2個字節長度的值，bytes1的別稱是byte。

當後面不帶數字時，bytes單寫則是表示不定長數組，就屬於引用變量類型了，有時這個寫法會帶來一些不必要的內存使用，這個後面我們會討論。

bytes類型的變量在初始化之後就不可以進行更改了，如果要對它進行修改，需要通過遍歷的方式賦給一個新的變量。

bytes變量也有一個length的成員函數，可以輸出這個變量的長度是多少，便於遍歷的執行。

枚舉類型

enum ActionChoices { GoLeft, GoRight, GoStraight, SitStill }
    ActionChoices choice;

枚舉變量與其他語言基本是類似的，通過預設置枚舉變量的值，在後續賦值時選擇在枚舉類內的值進行賦值。每個值對應一個數字，默認是從0開始逐個計數的。

Tips：在配置預設枚舉類型時後面是不需要分號的。

常量

就我個人經歷而言，Solidity對各種常量的處理方式好像是獨樹一幟的，Solidity內的常量有以下幾類：數值常量、地址常量、字符串常量、十六進制常量。

1.數值常量

        uint d_int = 5/2+4/2; //返回值爲9/2，編譯無法通過

數值類的常量運算跟我們之前說的又不太一樣，數值類的運算不會截斷，但是如果在運算結束後結果不符合前面變量類型的話，編譯不會通過。

數值類的常數還可以使用科學計數法比如3e10這樣的數字，但指數一定要是整數，因爲不能出現無理數,同時還要注意的是這個數字的大小不能超過類型的長度限制。

2.地址常量

地址常量代表的是通過了地址校驗和測試的十六進制字面常數，其實也就是我們之前在定義地址變量時賦值的那個值。

3.字符串常量

Solidity語言當中的字符串可以是'123'或者是"abc"，對於這種類型的變量bytes類型和string類型可以互相轉換。

字符串常量的長度是它所表示的字符串大小，後面不帶有停止符。

4.十六進制常量

十六進制字面常數以關鍵字 hex 打頭，後面緊跟着用單引號或雙引號引起來的字符串（例如，hex"001122FF"）。 字符串的內容必須是一個十六進制的字符串，它們的值將使用二進制表示。

示例代碼

pragma solidity >=0.4.22 <0.6.0;
contract Variable {

    //布爾變量演示
    bool a_bool = true; 
    bool b_bool = false;
    bool c_bool = a_bool != b_bool;
    
    function get_c_bool() public view returns(bool)
    {
        return c_bool;    // 返回值true
    }

    //整型變量演示
    uint a_int = 5; 
    uint b_int = 2;
    uint c_int = a_int / b_int;

    function get_c_int() public view returns(uint)
    {
        return c_int+c_int; //　返回值4
    }

    //地址類型

    address public account2 = 0x797206393eB6582ac86883fA623CB5A05021191D;
    
    //返回當前合約地址
    function get_contract_address() public view returns(address)
    {
        return address(this);    //0xE0CfA8573cFe2c078039Df2462A05E2c19bb86A6
    }

    function get_contract_balance() public view returns(uint)
    {
        return address(this).balance;  
    }

    //bytes類型

    bytes2 bytes_example = 0x2353;

    function get_bytes_length() public view returns(uint)
    {
        return uint(bytes_example.length);
    }

    //枚舉類型

    enum Color { Red, Yellow, Blue, SitStill }
    Color constant car_color = Color.Blue;
    function getChoice() public pure returns (Color) {
        return car_color;   // 返回值２
    }

    //常量計算演示
    function get_d_int() public pure returns(uint)
    {
        uint d_int = 5/2+5/2+3.14e10+0x12;  //2.5+2.5+31400000000+18
        return d_int;  //   返回值爲31400000023
    }

}

參考資料

常量不截斷與變量截斷的演示https://blog.csdn.net/weixin_43343144/article/details/88135232

拼接字符串
https://my.oschina.net/u/3794778/blog/1800631

solidity中文文檔
https://solidity-cn.readthedocs.io/zh/develop/index.html