摘要：另外只能做狀態變量，不能做本地局部變量。語法聲明映射類型包括類型包括狀態變量報錯。可視度指的是，決定函數或者狀態變量的可以被哪些智能合約可見和調用。狀態變量可見性沒有。在中，通過來抽象出狀態變量自增的代碼，并修飾。

映射(Mappings)：類似于哈希表。mapping 中任何一個可能的 key 都對應著一個 value，它的默認值是default-value 。底層用的不是使用鏈表 + 數組實現的，不需要擴容。value 引用存儲在 keccak256(key) 表姐地址，在 storage 上存儲，理論無限大。這也導致了，無法原生地遍歷 mapping。另外 mapping 只能做狀態變量，不能做本地局部變量。

語法

// 聲明映射
// key 類型包括: bool, int/uint , address, string...
// value 類型包括: any type
mapping(address => uint) balances; // 狀態變量

function() {
    mapping(address => uint) balances; // 報錯。本地局部變量報錯。
}

// 成員賦值
balances[0x1] = 1;

// 成員取值
balances[0x1] // 1
balances[0x2] // 默認值 0
balances[0x3] // 默認值 0

可視度(Visibility): 可視度不是說別人無法用肉眼無法看到，智能合約部署在區塊鏈上，代碼任何人都可以看見。可視度指的是，決定函數或者狀態變量的可以被哪些智能合約可見和調用。

public: 所有智能合約可見

external: 只能被外部合約或者外部調用者可見

internal: 外部合約不可見，當前合約內部和子類合約可見

private: 只有當前合約可見

可以用一個例子來解釋，什么是外部合約、外部調用者、當前合約內部、子類合約。

有三個合約，Child 、 Parent 和 OutSide。其中 Child 繼承 Parent， OutSide 和另外兩個合約沒有直接關系。

- 外部合約可見: `Child` 的函數可以調用 `OutSide` 的函數。
- 外部調用者可見: 在 remix 的 run 面板中 create `Child` 合約后，可以調用。
- 當前合約內部可見: `Child` 的函數可以調用 `Child` 自身的其他函數。
- 子類合約可見：`Child` 的函數可以調用 `Parent` 的函數。

Child 、 Parent 和 OutSide 都有以下四個函數：

function publicFunc() public {}

function externalFunc() external {}

function internalFunc() internal {} // 不可調用

function privateFunc() private {} // 不可調用

// `Child` 中的函數名都加了 `self` 前綴，和 Parent 中的函數做區分。

函數可見性：public(default) , external , internal , private。

具體示例代碼如下：

pragma solidity ^0.4.14;

import "./parent.sol";
import "./outside.sol";

contract Child is Parent{
        

    // 返回一個值
    function testOutside() {
        Outside o = new Outside();
        
        o.publicFunc();
        o.externalFunc();
        // o.internalFunc();  // 報錯。Child 不能調用 OutSide 的 internal 函數。
        // o.privateFunc();   // 報錯。Child 不能調用 OutSide 的 private 函數。
    }
    
    function testParent () {

        publicFunc();
        // externalFunc();   // 報錯。Child 不能調用 Parent 的 external 函數。
        internalFunc();
        // privateFunc();    // 報錯。Child 不能調用 Parent 的 private 函數。
    }
    
    function selfPublicFunc() public {}
    
    function selfExternalFunc() external {}
    
    function selfInternalFunc() internal {} // remix 不可見。外部調用者不能調用 internal 函數。
    
    function selfPrivateFunc() private {} // remix 不可見。外部調用者不能調用 private 函數。
}

狀態變量可見性：public , internal(default) , private 沒有 external。

狀態變量可見度和函數可見度非常相似，只有一點需要特殊說明。當在狀態變量上添加可視度時，編譯器會給狀態變量添加個 getter 函數，方便外部直接獲取。

使用 remix 創建以下合約時，會出現一個 data 函數，點擊該函數就可以獲取到 data 的值。

<圖>

函數修飾器(Function Modifiers): 函數修飾器可以改變函數的行為。可通過 _ 來控制修飾器的執行時機。

在 Example1 中，通過 modifier 來抽象出檢查條件的代碼，并修飾 input2。讓 input2 實現和 inputs2 一樣的行為。其中 _ 可以簡單的理解為，do something 代碼在 modifier 之后執行。

contract Example1 {
    address owner;

    function Example() public { owner = msg.sender; }

    modifier onlyOwner {
        require(msg.sender == owner);
        _;
    }

    function inputs1() {
        require(msg.sender == owner);
        // do something...
    }

    function inputs2() onlyOwner {}
}

例如：函數修飾器可以在執行自動執行指定語句。inputs1 和 inputs2 在行為上是等價的。

在 Example2 中，通過 modifier 來抽象出狀態變量自增的代碼，并修飾 input2。讓 input2 實現和 inputs2 一樣的行為。其中 _ 可以簡單的理解為，do something(不包括 return) 代碼在其之前執行。

contract Example2 {
    // 省略 ...
    uint output;

    modifier increase return(unit) {
        _;
        output++;
    }

    function change1() return(unit) {
        // do something...
        output++;
        return output;
    }

    function change2() increase {
        // do something...
        return output;
    }
}

因為 Solidity 數字大多數是和錢有關的，所以在加減乘除的四則運算時，發生上溢或下溢是非常危險的。

contract Test {
    uint8 public a = 0;

    function set () {
        a -= 100;
    }


    function set2 () {
        unit8 c = a - 100;
        assert(c < a);
        a = c;
    }

}

-----

set() // a = 156 整型溢出

import "./SafeMath.sol"; // 引入 unit8

contract Test {
    uint8 public a = 0;

    function set () {
        a = SafeMath.sub(a, 100);
    }
}

import "./SafeMath.sol"; // 引入 unit8


contract Test {
    using SafeMath for uint8; // 將 SafeMath 庫里的方法，賦予了 uint8 類型。
    uint8 public a = 0;

    function set () {
        a = a.sub(100);
        // a = SafeMath.sub(a, 100);
    }
}

函數(function)聲明：函數是合約內代碼的可執行單元。

contract SimpleStorage {
    function simpleFn() {
    }
}

函數返回值

返回一個或多個參數

直接賦值返回的命名參數，并返回

    // 返回一個值
    function oneParameter() returns(uint){
        return 1;
    }
    
    // 返回多個返回值
    function twoParameters() returns(uint, uint) {
        return (1,2);
    }
    
    // 命名參數直接賦值
    function namedParameter() returns(uint foo, uint bar) {
        foo = 1;
        bar = 2;
    }
    
    // 獲取返回值 
    function get() {
        uint one = oneParameter();
        var (two1, two2) = twoParameters();
        var (named1, named2) = namedParameter();
    }

本文由【區塊鏈研習社】優質內容計劃支持，更多關于區塊鏈的深度好文，請點擊【區塊鏈研習社】簡書專欄：區塊鏈研習社簡書專欄