1.视图函数
视图函数确保它们不会修改状态。 函数可以声明为视图。 如果函数中存在以下语句,则视为修改状态,编译器将在这种情况下抛出警告。
修改状态变量。
发送事件。
创建其他合约。
使用自毁功能。
通过调用发送以太币。
调用任何未标记为视图或纯的函数。
使用底层调用。
使用包含某些操作码的内联汇编。
Getter 方法默认是视图函数。
请参阅下面使用视图函数的示例。
示例
pragma solidity ^0.5.0; contract Test { function getResult() public view returns(uint product, uint sum){ uint a = 1; // local variable uint b = 2; product = a * b; sum = a + b; } }
2.纯函数
纯函数确保它们不会读取或修改状态。 函数可以声明为纯函数。 如果函数中存在以下语句,则视为读取状态,在这种情况下编译器将引发警告。
读取状态变量。
访问地址(this).balance 或 <address>.balance。
访问block、tx、msg中任意一个特殊变量(可以读取msg.sig和msg.data)。
调用任何未标记为纯的函数。
使用包含某些操作码的内联汇编。
纯函数可以使用 revert() 和 require() 函数在发生错误时恢复潜在的状态更改。
3.回退函数
回退函数是合约可用的特殊函数。 它具有以下特点 −
当合约上调用不存在的函数时,会调用它。
需要标记为外部。
它没有名字。
它没有参数
它不能返回任何东西。
每个合约可以定义一个。
如果没有标记为应付,如果合约收到没有数据的普通以太币,则会抛出异常。
以下示例显示了每个合约的回退函数的概念。
示例
pragma solidity ^0.5.0; contract Test { uint public x ; function() external { x = 1; } } contract Sink { function() external payable { } } contract Caller { function callTest(Test test) public returns (bool) { (bool success,) = address(test).call(abi.encodeWithSignature("nonExistingFunction()")); require(success); // test.x is now 1 address payable testPayable = address(uint160(address(test))); // Sending ether to Test contract, // the transfer will fail, i.e. this returns false here. return (testPayable.send(2 ether)); } function callSink(Sink sink) public returns (bool) { address payable sinkPayable = address(sink); return (sinkPayable.send(2 ether)); } }