1. 函數(shù)類型：內(nèi)部(internal)函數(shù)和外部(external)函數(shù)
函數(shù)類型是一種表示函數(shù)的類型刺下“筻冢可以將一個函數(shù)賦值給另一個函數(shù)類型的變量，也可以將一個函數(shù)作為參數(shù)進(jìn)行傳遞橘茉，還能在函數(shù)調(diào)用中返回函數(shù)類型變量工腋。 函數(shù)類型有兩類：- 內(nèi)部（internal）函數(shù)和 外部（external） 函數(shù)：
內(nèi)部函數(shù)只能在當(dāng)前合約內(nèi)被調(diào)用（更具體來說，在當(dāng)前代碼塊內(nèi)畅卓，包括內(nèi)部庫函數(shù)和繼承的函數(shù)中）擅腰，因?yàn)樗鼈儾荒茉诋?dāng)前合約上下文的外部被執(zhí)行。 調(diào)用一個內(nèi)部函數(shù)是通過跳轉(zhuǎn)到它的入口標(biāo)簽來實(shí)現(xiàn)的翁潘，就像在當(dāng)前合約的內(nèi)部調(diào)用一個函數(shù)趁冈。
外部函數(shù)由一個地址和一個函數(shù)簽名組成，可以通過外部函數(shù)調(diào)用傳遞或者返回拜马。
函數(shù)類型表示成如下的形式
function (<parameter types>) {internal|external} [pure|constant|view|payable] [returns (<return types>)]
與參數(shù)類型相反渗勘，返回類型不能為空 —— 如果函數(shù)類型不需要返回，則需要刪除整個 returns (<return types>) 部分俩莽。
函數(shù)類型默認(rèn)是內(nèi)部函數(shù)旺坠，因此不需要聲明 internal 關(guān)鍵字。 與此相反的是扮超，合約中的函數(shù)本身默認(rèn)是 public 的价淌，只有當(dāng)它被當(dāng)做類型名稱時申眼，默認(rèn)才是內(nèi)部函數(shù)。
有兩種方法可以訪問當(dāng)前合約中的函數(shù)：一種是直接使用它的名字蝉衣，f 括尸，另一種是使用 this.f 。 前者適用于內(nèi)部函數(shù)病毡，后者適用于外部函數(shù)濒翻。
如果當(dāng)函數(shù)類型的變量還沒有初始化時就調(diào)用它的話會引發(fā)一個異常。 如果在一個函數(shù)被 delete之后調(diào)用它也會發(fā)生相同的情況啦膜。
如果外部函數(shù)類型在 Solidity 的上下文環(huán)境以外的地方使用有送，它們會被視為 function 類型。 該類型將函數(shù)地址緊跟其函數(shù)標(biāo)識一起編碼為一個 bytes24 類型僧家。雀摘。
請注意，當(dāng)前合約的 public 函數(shù)既可以被當(dāng)作內(nèi)部函數(shù)也可以被當(dāng)作外部函數(shù)使用八拱。 如果想將一個函數(shù)當(dāng)作內(nèi)部函數(shù)使用阵赠，就用 f 調(diào)用，如果想將其當(dāng)作外部函數(shù)肌稻，使用 this.f 清蚀。
除此之外，public（或 external）函數(shù)也有一個特殊的成員變量稱作 selector爹谭，可以返回 ABI 函數(shù)選擇器:
pragma solidity ^0.4.16;
contract Selector {
function f() public view returns (bytes4) {
return this.f.selector;
}
}
如果使用內(nèi)部函數(shù)類型的例子:
pragma solidity ^0.4.16;
library ArrayUtils {
// 內(nèi)部函數(shù)可以在內(nèi)部庫函數(shù)中使用枷邪，
// 因?yàn)樗鼈儠蔀橥淮a上下文的一部分
function map(uint[] memory self, function (uint) pure returns (uint) f)
internal
pure
returns (uint[] memory r)
{
r = new uint[](self.length);
for (uint i = 0; i < self.length; i++) {
r[i] = f(self[i]);
}
}
function reduce(
uint[] memory self,
function (uint, uint) pure returns (uint) f
)
internal
pure
returns (uint r)
{
r = self[0];
for (uint i = 1; i < self.length; i++) {
r = f(r, self[i]);
}
}
function range(uint length) internal pure returns (uint[] memory r) {
r = new uint[](length);
for (uint i = 0; i < r.length; i++) {
r[i] = i;
}
}
}
contract Pyramid {
using ArrayUtils for *;
function pyramid(uint l) public pure returns (uint) {
return ArrayUtils.range(l).map(square).reduce(sum);
}
function square(uint x) internal pure returns (uint) {
return x * x;
}
function sum(uint x, uint y) internal pure returns (uint) {
return x + y;
}
}
另外一個使用外部函數(shù)類型的例子:
pragma solidity ^0.4.11;
contract Oracle {
struct Request {
bytes data;
function(bytes memory) external callback;
}
Request[] requests;
event NewRequest(uint);
function query(bytes data, function(bytes memory) external callback) public {
requests.push(Request(data, callback));
NewRequest(requests.length - 1);
}
function reply(uint requestID, bytes response) public {
// 這里要驗(yàn)證 reply 來自可信的源
requests[requestID].callback(response);
}
}
contract OracleUser {
Oracle constant oracle = Oracle(0x1234567); // 已知的合約
function buySomething() {
oracle.query("USD", this.oracleResponse);
}
function oracleResponse(bytes response) public {
require(msg.sender == address(oracle));
// 使用數(shù)據(jù)
}
}
注解
Lambda 表達(dá)式或者內(nèi)聯(lián)函數(shù)的引入在計劃內(nèi)，但目前還沒支持诺凡。
2. 函數(shù)可見性說明符：public东揣，private，external腹泌，internal
-
public：內(nèi)部救斑、外部均可見（參考為存儲/狀態(tài)變量創(chuàng)建 getter 函數(shù)） -
private：僅在當(dāng)前合約內(nèi)可見 -
external：僅在外部可見（僅可修飾函數(shù)）——就是說，僅可用于消息調(diào)用（即使在合約內(nèi)調(diào)用真屯，也只能通過this.func的方式） -
internal：僅在內(nèi)部可見（也就是在當(dāng)前 Solidity 源代碼文件內(nèi)均可見脸候，不僅限于當(dāng)前合約內(nèi)，譯者注）
函數(shù)可見性說明符格式：
function myFunction() <visibility specifier> returns (bool) {
return true;
}
3. 函數(shù)修改器
pure 修飾函數(shù)時：不允許修改或訪問狀態(tài)——但目前并不是強(qiáng)制的绑蔫。
view 修飾函數(shù)時：不允許修改狀態(tài)——但目前不是強(qiáng)制的运沦。
payable 修飾函數(shù)時：允許從調(diào)用中接收 以太幣Ether 。
constant 修飾狀態(tài)變量時：不允許賦值（除初始化以外）配深，不會占據(jù) 存儲插槽storage slot 携添。
constant 修飾函數(shù)時：與 view 等價。
anonymous 修飾事件時：不把事件簽名作為 topic 存儲篓叶。
indexed 修飾事件時：將參數(shù)作為 topic 存儲烈掠。
