1. lib庫 
   1. 庫是一種不同型別的合約，沒有儲存，不擁有以太幣
   2. 庫中沒有payable
2. Using for 
   1. 宣告方式：using A for B,將A中定義的所有函式附著於任意型別B上，型別B的例項可以呼叫A中所有的方法
   2. SafeMath庫包含在OpenZeppelin中(node_modules/openzeppelin-solidity/contracts/math)，主要是添加了一些安全判斷
   3. Ownable庫包含在OpenZeppelin中(node_modules/openzeppelin-solidity/contracts/ownership)，主要是提供基本的授權功能

pragma solidity ^0.4.18;
library C {
    function a() returns(address){
        return this;
    }
}
contract A {    
    function test() returns (address) {
        return C.a();// 返回合約A的地址
    }
}