Solidity语法基础学习
四、函数类型：
函数
Function
function FnName [V] [SM] [return (……)] {}
·[V]：Visibility，可见性；
·[SM]：State Mutability，状态可变性；
·[returns (types……)]：回传值
·若无回传值可以省略；
·可回传一个或多个回传值。
·returns ( int , string memory )
代码示例：
可见性 visibility
public,private,internal,external
·public → 任何合约或者账户都可以呼叫
·private → 只有目前合约可以呼叫
·external → 除了目前合约与其继承合约外可以呼叫
·internal → 只有目前合约与其继承合约可以呼叫
状态可变性 State Mutability
pure,view
·pure → 该函数不会“读取”或“写入”任何状态
·view → 该函数只“读取”状态，比如：
·读取storage变量
·读取任何合约的余额
·读取以下全域变量的任何成员函数block,tx,msg(除了msg.sig与msg.data外)
·呼叫任何不被标记为pure的函数
·直接使用特定的组合语言指令
状态可变性 State Mutability
pure,view
·以下行为视为写入状态：
·写入资料到storage变量
·发出事件（emit log）
·建立其他合约
·呼叫特殊指令 selfdestruct
·通过call来发送Ether
·呼叫任何不被标记为pure或view的函数
·使用low-level calls
·使用特定组合语言指令
构造函数 Constructor
Constructor () {}
·构造函数是可选用的，若合约没有特别定义，则等价于：constructor(){}
·无回传值
·可以有传入参数，定义和普通函数相同
·构建函数只会在合约部署的那一刻被呼叫
·用来改变“变数的预设值”
·所有storage变量在呼叫constructor之前已经被初始化
·当构造函数被执行之后
·合约的最终程式码会被部署到区块链上
·可以理解成“部署”的回传值为“合约的最终程式码”
·最终程式码的长度也会影响燃料使用量，越走越贵
·最终程式码不包含构建函数，与仅构建函数所使用之“内部函数（Internal Functions）”
代码示例：
·本题在运行时有两种合约选择，第一个是合约A，第二个为合约B。
·合约A是没有构建函数的赋值合约
·合约B是有构建函数的整数赋值合约，不同于A合约，B合约能够在运行后再输入数值和字符串。
接收 Ether
receive() external payable{……}
·一个合约内只能有“唯一一个receive函数”
·这个特殊函数有特定形态：
·不需要‘function’这个关键字
·不允许回传任何回传值
·必须有‘external’与‘payable’
·receive函数会在发送一个“无calldata的交易”到合约中被触发。
特殊限制
· 当发送者使用‘send’或‘transfer’直接发送Ether过来时，receive函数可能只允许使用“2300”燃料（Gas）。
·如果在receive函数中多了以下行为，将可能消耗更多的燃料，将导致交易失败：
·写入存储空间（storage）
·建立新合约
·呼叫一个会消耗大量燃料的外部函数（External Function）
·发送Ether（因为至少会消耗另外2300燃料）
例子：
·建立一个合约PiggyBank
·部署时就能收Ether
·部署后也能够接收Ether
位址型态的成员函数 Member function of AddressType non-payable系列成员
·balance → uint256：回传该地址的余额（单位为wei）
·code → bytes memory：回传该地址的代码（可能为空）
·codehash → bytes32：回传该位址代码的杂凑值
·low-level call 系列：
·call
·delegatecall
·staticcall
payable 系列成员
·addr.transfer(uint256 amount)
·转amount WEI 从当前账户到addr
·只允许使用2300燃料
·失败时会触发revert → 整笔交易都取消，回到交易前
·addr.send(uint256 amount)→bool
·转amount WEI 从当前账户到addr
·只允许使用2300燃料
·失败时回传false
·建议使用‘send’
全域变量 Global Variables
msg.sender
·msg.sender → address
·取得当前call的发送者
当前合约 this
this
·this代指当前的合约
·address(this)可以建立一个address指向当前的合约
·便可以使用address拥有的成员函数
·如：address(this).balance()便能取得目前合约的余额
代码示例：
可以改变函数的行为
modifier MF(……){……}
·关键字：modifier
·宣告一个修饰函数，跟宣告函数很像
·允许有输入参数，写在（）内
·modifier M(int X){/*对x做事情*/}
·{}就是跟函数本身一样，为各种东西
·_;
·这个是特殊的表示法，代表原本函数的本身
Modifier代码示例：
modifier M(){
//做一些事情
_;
//可以继续做一些事情
}
function F() public M{……}
错误处理函数 Error Handler Function
require(条件，“错误原因”)；
·当条件为true时，不会发生事情
·反之，会触发revert(“错误原因”，将交易驳回报错原因)
代码示例：
