Почему программа не показывает AssertionError?

Question

Я выполнил код следующим образом: java -ea HelloWorld, а для других кодов отображается AssertionError, но для этого конкретного кода я не получаю AssertionError.

public class HelloWorld{ 

    public static void main(String []args){ 
     boolean b=true; 
     assert(b==true); 
     b=false;  
    } 
} 

Answer 1

Вы утверждаете, что b==true, что он делает в момент утверждения выполняющей. Если утверждение ложно, то бросается AssertionError. Из Oracle documentation:

Каждое утверждение содержит логическое выражение, которое вы считаете, будет верно, когда утверждение выполняется. Если это неверно, система выведет ошибку . Подтвердив, что логическое выражение действительно верно утверждение подтверждает ваши предположения о поведении вашей программы, увеличивая вашу уверенность в том, что программа является свободным ошибок

И он может быть применен в 2 различными способами :

Утверждение утверждения имеет две формы. Первая, более простая форма:

assertExpression1;

, где Выражение1 - выражение boolean. Когда система выполняет это утверждение, оно вычисляет Expression1, а если оно false, то выдает AssertionError без подробного сообщения.

Вторая форма оператора утверждение:

assertВыражение1: Выражение2;

где:

• Выражение1 является boolean выражением.
• Expression2 - выражение, которое имеет значение. (Это не может быть вызовом метода, который объявлен недействительным.)

Используйте эту версию assert заявления, чтобы обеспечить сообщение детализации AssertionError. Система передает значение Expression2 в соответствующий конструктор AssertionError, который использует строковое представление значения как подробное сообщение об ошибке.

Answer 2

, если вы еще не поняли, как работает Java утверждение:

утверждают выражение: message_if_not_true

Поэтому, если ваше утверждение вычисляется как False, то вы получите сообщение об ошибке.

Что вы делаете:

assert(b == true) 

не будет вызывать AssertionError, потому что б установлена ​​истина на предыдущей строке. Проверьте документацию Java Oracle для утверждений.