Java アサーション-＆＃＆チュートリアル-php.cn

Java アサーション

WBOY

リリース： 2024-08-30 16:05:04

オリジナル

791 人が閲覧しました

Java では、アサーションは、プログラム内で行われた仮定の正しさを保証またはテストするステートメントです。これは、assert ステートメントを使用して行われます。書かれた仮定が実行されると、それは真実とみなされます。 false の場合、Java 仮想マシンによってアサーションエラーがスローされます。

無料ソフトウェア開発コースを始めましょう

Web 開発、プログラミング言語、ソフトウェアテスト、その他

アサーションが使用される主な理由は次のとおりです。

到達不能なコードが到達可能かどうかを確認するため。
コメント内の仮定が正しいかどうかを確認するため。
確認しますが、スイッチのデフォルトのケースには達していません。
メソッドの呼び出し後。
オブジェクトの状態を確認します。

構文

以下は Java Assertion ステートメントの構文です。

assert expression;

ログイン後にコピー

assert expr1 : expr2;

ログイン後にコピー

要件に基づいて、これらの構文のいずれかを使用できます。

Java ではアサーションはどのように機能しますか?

すでに述べたように、assert は 2 つの形式で記述できます。

構文は式をアサートします。ブール形式の式をテストするために使用されます。特定の式が false の場合、プログラムは AssertionError をスローして終了します。通常の例外とは異なり、これらのエラーは実行時に無効になります。
ただし、構文は expr1: expr2; をアサートします。これは、特定の障害の診断に役立つ追加情報がプログラムに含まれている場合に使用されます。
Java のキャッチされなかった例外と同様に、アサーションエラーは通常、ファイルおよび例外がスローされた行番号とともにスタックトレースにラベル付けされます。

これらがアサーションの主な長所ですが、アサーションを使用すべきではない特定の状況があります。それらは次のとおりです:

エラーメッセージの置き換え
パブリックメソッドの引数チェック
コマンドライン引数。

注: コードをコンパイルする前に、アサーションが有効になっていることを確認してください。

構文

java –ea programname

ログイン後にコピー

または

java –enable assertions programname

ログイン後にコピー

Eclipse Java アサーションを使用する手順

Eclipse では、以下の手順を使用して実行できます。

ステップ 1: [実行構成] を選択します。

Java アサーション

ステップ 2: 左側のパネルに移動して Java アプリケーションを選択し、それを右クリックします。

Java アサーション

ステップ 3: 新しい構成を選択し、VM 引数に –ea と入力します。完了したら、クリックします。

Java アサーション

同様に、以下の構文を使用してアサーションを無効にすることができます。 Java -da プログラム名

Java アサーションの実装例

ここで、アサーションを明確に理解するために、アサーションのサンプルプログラムをいくつか見てみましょう。

例 #1

特定の値が 20 より大きいかどうかを確認する Java プログラム。

コード:

class AssertionExample{
public static void main( String args[] ){
int val = 14;
assert val>=20:" Value is not valid";
System.out.println("The given value is: "+ val);
}
}

ログイン後にコピー

出力:

コードを実行すると、「指定された値は 14 です」というメッセージが表示されます。

Java アサーション

値が 20 より大きい場合はチェックされないため、ここではアサーションがチェックされていないことが明らかにわかります。
アサーションを有効にするには、コンパイル前に -ea を設定する必要があります。そのためには、注に記載されている手順を実行してください。
もう一度コードを実行しようとすると、値が 20 未満であるため、AssertionError がスローされたことがはっきりとわかります。

Java アサーション

例 #2

特定のユーザー入力値が 20 より大きいかどうかを確認する Java プログラム。

コード:

import java.util.Scanner;
class AssertionExample{
public static void main( String args[] ){
Scanner <u>sc</u> = new Scanner( System.in );
System.out.print("Enter a number to check assertion ");
//store the input value to the variable <u>val</u>
int val = sc.nextInt();
//assertion check whether the input value is greater than 20
assert val>=20:" Value is not valid";
System.out.println("The given value is: "+ val);
}
}

ログイン後にコピー

出力:

ユーザーはコードを実行する際に番号の入力を求められます。以下の結果では、数値 13 が入力として与えられています。 20未満なのでAssertionErrorがスローされています。

Java アサーション

同時に、20 より大きい値が指定された場合、エラーはスローされず、メッセージが表示されます。

Java アサーション

例 #3

一週間の日数を確認する Java プログラム。

コード:

class AssertionExample {
//main method
public static void main(String args[]) {
//declare a string days
String[] days = {" Monday " , " Holiday " , " Saturday " , " Tuesday " , " Wednesday " , " Sunday " , " Thursday " , " Friday " };
//set the assertion as 7
assert days.length==7 : "7 days are present in a week, Your input is wrong";
//print the line below
System.out.println("There are " + days.length + "  days in a week");
}
}

ログイン後にコピー

出力: