堅実さでエラーを処理する方法は？ （要求、戻る、主張）

堅牢性でのエラー処理の理解

Ethereumスマートコントラクトの主要なプログラミング言語であるSolidityは、エラー処理のためのいくつかのメカニズムを提供します。これらのメカニズムは、予期しない条件または無効な条件が発生した場合に契約が予測可能かつ安全に動作することを保証するために重要です。堅牢性でエラー処理に利用できる主なツールは、 require 、 revert 、およびassertます。これらの各機能は異なる目的を果たし、状況に基づいて適切に使用する必要があります。

入力検証にrequireを使用します

require関数は、主に関数のコアロジックを実行する前に入力と条件を検証するために使用されます。評価requireために提供された条件がfalseになると、トランザクションが戻り、状態に加えられた変更は後退します。さらに、開発者はカスタムエラーメッセージを提供できるようにしrequire 。

例：

 function transfer(address to, uint amount) public { require(amount > 0, 'Amount must be greater than zero'); require(balance[msg.sender] >= amount, 'Insufficient balance'); balance[msg.sender] -= amount; balance[to] += amount;

}

この例では、送信者のバランスが十分にあり、転送される金額が有効であることをrequire 。いずれかの条件が失敗した場合、トランザクションは明確なエラーメッセージで戻ります。

カスタムエラー条件にrevert

revert関数は、開発者が関数内の任意のポイントで実行を戻すことを許可することで、 requireよりも多くの柔軟性を提供します。複雑なロジックまたは単一のrequireステートメントで簡単に処理されない可能性のある複数の条件を扱う場合に特に役立ちます。

例：

 function withdraw(uint amount) public { if (amount > balance[msg.sender]) { revert('Insufficient funds for withdrawal'); } if (block.timestamp < lockTime[msg.sender]) { revert('Funds are locked until a later time'); } balance[msg.sender] -= amount; payable(msg.sender).transfer(amount);

}

このシナリオでは、 revertを使用して、撤退を防ぐことができる2つの異なる条件を処理します。各条件は個別に評価され、条件が故障したときに特定のメッセージが返されます。

内部エラー検出のためにassertを利用します

assert関数は、不変剤をチェックし、通常の状況では決して発生しない内部エラーをキャッチすることを目的としています。 requireとrevertは異なり、 assertを使用すると、トリガーされたときにトランザクションで提供されるすべてのガスが消費されます。したがって、重要なバグが疑われる状況のために予約する必要があります。

例：

 function calculateSum(uint a, uint b) internal pure returns (uint) { uint sum = a + b; assert(sum >= a); return sum;

}

この関数では、 assert 、追加操作がアンダーフローやオーバーフローをもたらさないことを保証します。そのような異常が発生した場合、トランザクションは戻り、コードの潜在的なバグを示します。

require 、 revert 、およびassertの違い

堅牢性での効果的なエラー処理のために、 require 、 revert 、およびassertの区別を理解することが不可欠です。

• ガス消費：エラーのポイントまでガスのみをrequire 、 revert 、 assertは提供されたすべてのガスを消費します。
• ユースケース： require 、入力検証に最適であり、カスタム条件にrevert 、内部ロジックチェックをassert 。
• エラーメッセージ：カスタムエラーメッセージrequireとrevert両方が許可されます。 assert 、古いバージョンのSolidity（0.8.0以前）でカスタムメッセージを返す方法を提供しません。

適切なエラー処理方法を選択すると、スマートコントラクトが安全で効率的であることが保証されます。

堅牢性のカスタムエラー

Solidity 0.8.0から始めて、開発者は、文字列ベースのエラーメッセージよりもガス効率が高く読みやすいカスタムエラータイプを定義できます。カスタムエラーはerrorキーワードを使用して定義され、 revertと組み合わせて使用できます。

例：

 error InsufficientBalance(uint requested, uint available); error FundsLocked(uint releaseTime, uint currentTime);関数撤回（UINT量）public {




if (amount > balance[msg.sender]) { revert InsufficientBalance(amount, balance[msg.sender]); } if (block.timestamp < lockTime[msg.sender]) { revert FundsLocked(lockTime[msg.sender], block.timestamp); } balance[msg.sender] -= amount; payable(msg.sender).transfer(amount);
 }

カスタムエラーを使用することにより、開発者は、ガス使用量の点で理解しやすく効率的な構造化されたエラー情報を提供できます。

よくある質問

Q：入力検証にassert使用できますか？ A：いいえ、入力検証にはassertを使用しないでください。内部チェック用に設計されており、到達不可能なコードまたは重要なバグを検出するためにのみ使用する必要があります。

Q：文字列メッセージと比較して、カスタムエラーはガスをどのように保存しますか？ A：カスタムエラーは、フル文字列メッセージよりもはるかに短く、安価な関数署名と同様の4バイトセレクターとしてエンコードされます。これにより、エラーがトリガーされるとガスコストが削減されます。

Q：契約のエラーを処理しないとどうなりますか？ A：エラーが適切に処理されていない場合、無効または予期しない条件が、攻撃者が悪用する可能性のある状態の変更、資金の喪失、または脆弱性に誤った変化につながる可能性があります。

Q：同じ関数でrequireを組み合わせてrevertはできますか？ A：はい、同じ関数でrequireとrevert必要があります。通常、単純な条件チェックにはrequireが使用されますが、 revert 、関数の後半でより複雑なまたは条件付き戻りに使用されます。