断言概述

编写代码时，我们总是会做出一些假设，断言就是用于在代码中捕捉这些假设
可以将断言看作是异常处理的一种高级形式
断言表示为一些布尔表达式，程序员相信在程序中的某个特定点该表达式值为真
可以在任何时候启用和禁用断言验证，因此可以在测试时启用断言而在部署时禁用断言。同样，程序投入运行后，最终用户在遇到问题时可以重新起用断言。
使用断言可以创建更稳定，品质更好且易于除错的代码
当需要在一个值为FALSE时中断当前操作的话，可以使用断言
单元测试必须使用断言（Junit/JunitX）
除了类型检查和单元测试外，断言还提供了一种确定个种特性是否在程序中得到维护的极好的方法
使用断言使我们向按契约式设计 更近了一部

常见的断言特性

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

断言使用方式

  断言可以有两种形式
  1.assert Expression1
  2.assert Expression1:Expression2
  其中Expression1应该总是一个布尔值，Expression2是断言失败时输出的失败消息的字符串。如果Expression1为假，则抛出一个 AssertionError，这是一个错误，而不是一个异常，也就是说是一个不可控制异常（unchecked Exception),AssertionError由于是错误，所以可以不捕获，但不推荐这样做，因为那样会使你的系统进入不稳定状态。

Idea 断言设置

-ea 代表开启断言，-da代表禁用断言

demo代码

package com.fb.fbluser.controller;

/**
 * @author Administrator
 * @date 2020/4/26 0026.
 */
public class TestAbc {

    static int i = 5;
    public static void main(String[] args) {
        assert i==6;
        System.out.println("如果断言正常，我就被打印");
    }
}