Solidity智慧合約檔案結構

編譯器版本宣告：

pragma solidity ^0.4.0；

說明：

pragma是一個版本雜注的編譯命令，它告知編譯器如何處理原始碼的指令，這裡告訴編譯器原始碼使用的是不低於solidity04.0的但不高於0.5.0版本的編譯器編寫的。

引用其他原始檔

• 全域性引入

import “filename”;

• 自定義名稱空間引入

import * as symbolName from “filename”

• 分別定義引入

import  {symbol1 as alias, symbol2} from “filename”

非es6相容的簡寫語法

import “filename” as symbolName

等同於上述

import * as symbolName from “filename”

關於路徑

引入檔案路徑時需要注意，非“ .  ”開頭的路徑會被認為是絕對路徑，所以要引用同目錄下的檔案使用。

import “./x” as x

也不要使用下述方式，這樣會是在一個全域性的目錄下

import “x” as x;

為什麼會有這個區別，是因為這取決於編譯器，如果解析路徑，通常來說目錄層級結構並不與我們本地的檔案一一對應，它非常有可能是通過ipfs,http,或git建立的一個網路上的虛擬目錄。

編譯器解析引用檔案機制

各編譯器提供了檔案字首對映機制。

• 可以將一個域名下的檔案對映到本地，從而從本地的某個檔案中讀取
• 提供對同一實現的不同版本的支援（可能是某版本的實習前後不相容，需要區分）
• 如果字首相同，取最長
• 有一個“faceback-remapping”機制，空串會對映到“/usr/local/include/solidity”

Solc編譯器

命令列編譯器，通過下述命令名稱空間對映提供支援

context:prefix=target

上述的context:和=target是可選的。所有context目錄下的以prefix開頭的都會被替換成target

舉例來說，如果你將“github.com/ethereum/dapp-bin”拷貝到本地的“usr/local/dapp-bin”,並使用下述方式使用檔案：

import “github.com/ethereum/dapp-bin/library/iterable_mapping.sol” as it_mapping;

要編譯這個檔案，需要使用一下命令：

solc github.com/ethereum/dapp-bin=/usr/local/dapp-bin source.sol

另外一個更加複雜的例子，如果你使用一個更舊版本的dapp-bin，舊版本在“/usr/local/dapp-bin_old”,那麼，可以使用下述命令編譯：

solc module1:github.com/ethereum/dapp-bin=/usr/local/dapp-bin  \
        modeule2:github.com/ethereum/dapp-bin=/usr/local/dapp-bin_old \
        source.sol

需要注意的是solc僅僅允許包含實際存在的檔案。他必須存在於你重對映後目錄裡，或其子目錄裡。如果你想包含直接的絕對路徑，那麼可以將名稱空間重新對映為“=/”

備註：如果有多個重對映指向了同一個檔案，那麼取最長的那個檔案即可。

Browser-solidity編譯器

browser-solidity編譯器預設會自動對映到GitHub上，然後會自動從網路上檢索檔案。例如：你可以通過下述方式引入一個迭代包：

import “github.com/ethereum/dapp-bin/library/iterable_mapping.sol” as it_mapping

備註：未來可能會支援其他的原始碼。

程式碼註釋

兩種方式，單行註釋（//）,多行註釋（/*.........*/）

例如：

// this is a single-line comment
/*
    this is a
    mulit-line comment
*/

文件註釋

寫文件用。三個斜槓（///）或（/**.......*/），可以使用Doxygen語法，以支援生成對文件的說明，引數驗證的註釋或者是在使用者呼叫這個函式時，彈出來的確認內容：

程式碼例項

pragma solidity ^0.4.0；
/** @title Shape calculator.*/
contract shapeCalculator{
    /**
    *@dev calculate a rectangle's suface and perimeter
    *@param w width of the rectangles
    *@param h height of the rectangles
    *@return s surface of the rectangles
    *@return p perimeter of the rectangles
    */

    function rectangles(uint w, uint h) returns (uint s, uint p){
        s = w * h;
        p = 2 * ( w + h) ;
    }
}

智慧合約原始檔的基本要素

• 合約類似面嚮物件語言中的類。
• 支援繼承

每個合約中可包含狀態變數（State Variables）,函式（function）、函式修飾符（Function modifiers）、事件（Event）、結構型別（struct types）、列舉型別（Enum Types）

狀態變數（state Variable）

變數值會永遠存在在合約中的儲存空間中。

pragma solidity ^0.4.0;

// simple store example
contract simpleStorage{
    uint valueStore;   //state variable

}

詳情見“型別（type）”一節，關於所有支援的型別和變數相關的可見性（Visibility and Accessors）.

函式（Function）

智慧合約中的一個可執行單元

pragma solidity ^0.4.0;

contract simpleMath{
    //Simple add function,try a divide action?
    function add(uint x, uint y) returns (uint z){
        z = x + y;
    }
}

上述例項展示了一個簡單的加法函式。

函式呼叫可以設定為內部（internal）和外部（External）的。同時對於其他合同的不同級別的可見性和訪問控制（Visibility and  Accessors）。具體的情況詳見後面型別中關於函式的章節。

函式修飾符（Function Modifiers）

函式修飾符用於增強語義。主要有public、private、internal、external等，在之後的內容中會細細講述的。

事件（Events）

事件是以太坊虛擬機器（EVM）日誌基礎設施的一個便利介面。用於獲取當前發生的事件。

例項：

pragma solidity ^0.4.0;
contract SimpleAuction {

    event aNewHigherBid(address bidder, uint amount);
 
    function  bid(uint bidValue) external {
        aNewHigherBid(msg.sender, msg.value);
    }
}

關於事件如何宣告以及如何使用，在之後的內容中會詳細的介紹到。

結構體型別（Struct types）

自定義的將幾個變數組合在一起形成的新的資料型別。

例項：

pragma solidity ^0.4.0;
contract Company {
    //user defined `Employee` struct type
    //group with serveral variables
    
   struct employee{
        string name;
        uint age;
        uint salary;
    }
    
    //User defined `manager` struct type
    //group with serveral variables
    struct manager{
        employee employ;
        string title;
    }
}

列舉型別

特殊的自定義型別，型別的所有值可以列舉的情況。詳見後續的章節。

例項：

pragma solidity ^0.4.0;

contract Home {
    enum Switch{On,Off}
}

參考內容：Solidity翻譯文件