revert、require、assertによるエラー処理[Solidity]

エラーハンドリングであるrevert、require、assert関数について記述しておきます。

以下のコードは条件分岐としての流れは全て同じとなりますが、利用シーンやGas消費の仕様が変わってきます。

if( !x ) { throw; }

if( !x ) { revert(); }

require( x );

assert( x );

if( !x ) { throw; }

if( !x ) { revert(); }

require( x );

assert( x );

例外処理について

例外処理としてのthrowとrevertはコントラクトに対する処理を全て取り消します。つまりトランザクション処理の前の状態に戻します（ロールバック）。そして、その処理までのGasのみを消費し、残りのGasは戻されます（Solidity 0.4.10以降）。

※throwはSolidity 0.4.13以降は非推奨となっているので以下のようなコードはrequireを利用するようにします。

//非推奨
modifier onlyOwner () {
	if( msg.sender !== owner ) throw;
	_;
}

//非推奨

modifier onlyOwner () {

if( msg.sender !== owner ) throw;

}

modifier onlyOwner () {
	require( msg.sender == owner );
	_;
}

modifier onlyOwner () {

require( msg.sender == owner );

}

requireとassertについて

require
仕様として「REVERT（戻す）」opcodeである0xfdにコンパイルされます。
falseを返した場合、処理実行前のコントラクトの状態へと戻し、その処理までのGasは消費しますが、残りのGasは返されます。

assert
仕様として「INVALID（無効とする）」opcodeである0xfeにコンパイルされます。
falseを返した場合、処理実行前のコントラクトの状態へと戻しますが、残りすべてのGasも消費されます。

requireとassertのイメージの違いは以下のコードを参照しておくと良いでしょう。

pragma solidity ^0.4.0;

contract Sharer {
    function sendHalf(address addr) public payable returns (uint balance) {
        require(msg.value % 2 == 0);
        uint balanceBeforeTransfer = this.balance;
        addr.transfer(msg.value / 2);
        assert(this.balance == balanceBeforeTransfer - msg.value / 2);
        return this.balance;
    }
}