パブリックメソッドでの前提条件と事後条件チェック

Question

キーワードを使用してメソッドの前提条件と事後条件を確認することについてOracle documentationを読んでいました。

文書は、それがpublicメソッドの事後条件を確認するためにassertキーワードを使用して大丈夫ですが、あなたは唯一のprivateメソッドのための前提条件を確認するためにassertキーワードを使用する必要があることを述べています。

これはなぜですか？

Answer 1

コメントにダンプするのではなく、完全な答えです。

パブリックメソッドの引数チェックにアサーションを使用しないのはなぜですか？

assertに依存するアサーションは、JVMフラグによって無効にすることができます。したがって、ユーザーがコードを実行したときにアサーションが実際に実行されることを保証する方法はありません。そのため、実際にAPIを使用することが保証できない場合は、APIに検証エラーを投げるという約束をするのは悪いことです。したがって、警告を出すために例外をスローせずに、ユーザーが無効なパラメータであなたに電話することを許可します。代わりにランタイム例外を使用する必要があります。

それでは、パブリックメソッドの後条件に使用するのはなぜですか？

あなたは次のように定義が事前と事後条件引用されたドキュメント：

事前条件 - メソッドが呼び出されたときに真でなければならないものを。 事後条件 - メソッドが完了した後に真でなければならないもの

事前条件は発信者に依存し、後条件は着信者によって異なります。事前条件が満たされた場合、ポスト条件が失敗する唯一の理由は、メソッド内のコードがバグであるためです。これはユーザーの間違いではなく、図書館自体の問題です。私はそれが、障害者のポスト条件アサーションに終わることはそれほど問題ではないとドクターが信じている理由だと推測しています。

事後条件が満たされないと、おそらくメソッドの契約が破られ、実行が停止する可能性があるため、個人的には同意できません。事後条件がいかに重要であるかによって異なります。 APIライターは、ダイナミック配列のサイズ変更の最後で、ある比率がパフォーマンスに最適かどうかチェックしたいかもしれませんが、最適ではない比率でもプログラムが期待どおりに動作するため、例外ではありません。

Answer 2

すべての場合、public関数の引数をチェックする必要があります。 assertが無効になっている場合、assertによって実装されていると、このようなチェックは行われません。