アサーション

SJCP

Oracle Technology Network for Java Developers | Oracle Technology Network | Oracle

アサーションは、boolean 式が true であることを確認することによって、プログラムの動作に関する前提を検証します。

  • アサーションの使用が役に立つ状況は次のように数多くあります。
    • 内部の不変条件
    • 制御フローの不変条件
    • 事前条件、事後条件、およびクラスの不変条件
  • 使用してはいけない場面
    • public メソッド内の引数チェック
    • アプリケーションの正しい動作に必要な処理を実行する

形式

  1. assert Expression1;
  2. assert Expression1 : Expression2 ;

スイッチ

さまざまな詳細レベルでアサーションを有効にするには、-enableassertions スイッチまたは -ea スイッチを使用します。さまざまな詳細レベルでアサーションを無効にするには、-disableassertions スイッチまたは -da スイッチを使用します。詳細レベルは、次のようにスイッチに渡す引数を使用して指定します。