Java基础知识梳理&assert

断言概述

  编写代码时，我们总是会做出一些假设，断言就是用于在代码中捕捉这些假设。

  可以将断言看作是异常处理的一种高级形式

  断言表示为一些 【布尔表达式】，程序员相信在程序中的某个特定点该表达式值为真
  可以在任何时候启用和禁用断言验证，因此可以在测试时启用断言而在部署时禁用断言。同样，程序投入运行后，最终用户在遇到问题时可以重新起用断言。

  使用断言可以创建更稳定，品质更好且易于除错的代码

  当需要在一个值为FALSE时中断当前操作的话，可以使用断言
  单元测试必须使用断言（Junit/JunitX）
  除了类型检查和单元测试外，断言还提供了一种确定个种特性是否在程序中得到维护的极好的方法
  使用断言使我们向按契约式设计更近了一部

常见的断言特性

  前置条件断言：代码执行之前必须具备的特性
  后置条件断言：代码执行之后必须具备的特性
  前后不变断言：代码执行前后不能变化的特性
 

断言使用方式

  断言可以有两种形式
  1.assert Expression1
  2.assert Expression1:Expression2

1.assert[boolean 表达式]

如果[boolean表达式]为true，则程序继续执行。

如果为false，则程序抛出AssertionError，并终止执行。

示例：

public class Test1 {

    public static void main(String[] args) {
        int a = 1;
        int b = 2;
        // 格式1：assert [boolean 表达式]
        assert a > b;
    }
}

输出日志如下：Exception in thread "main" java.lang.AssertionError at Test1.main(Test1.java:7)

2.assert[boolean 表达式 : 错误表达式 （日志）]

如果[boolean表达式]为true，则程序继续执行。

如果为false，则程序抛出java.lang.AssertionError，输出[错误信息]。

示例：

public class Test1{

    public static void main(String[] args) {
        int a = 1;
        int b = 2;
        // 格式2：assert [boolean 表达式] : [错误表达式 （日志）]
        assert a > b : "错误，a不大于b";
    }
}

输出日志如下：Exception in thread "main" java.lang.AssertionError: 错误，a不大于b at Test1.main(Test1.java:7)