【java基础】断言(assert)

迷南。 2023-09-24 21:51 45阅读 0赞

### 文章目录 ###

*  IDEA配置
 *  语法

# IDEA配置 #

如果要在java种使用断言，需要在程序运行时使用 **-enableassertions** 或者 **-ea**启用断言，因为断言默认是关闭的。

> 我们一般都是在IDEA运行程序，于是我们就要配置vm选项，下面是具体步骤

![在这里插入图片描述][848abb36509442c080f3bd1ed629c008.png]

> 进入配置面板

![在这里插入图片描述][59c45fa03c3e4a389cdb27aa303e5be7.png]

> 如果没有VM这个输入框，那么勾选Add VM option选项就行了

![在这里插入图片描述][9be367ddeddd4cd1a9e9feaebb21ee55.png]

![在这里插入图片描述][c83d51b38f4e4055a10f8e172f31bf03.png]

> 搞好后点击apply，然后退出即可，这样做后我们就成功启用了当前配置类的断言功能  
> **禁用断言使用 -disableassertions 或者 -da**

# 语法 #

断言语法很简单，就是 assert 表达式 : 错误逻辑; 或者为 assert 表达式

assert a < 0 : "断言失败";
            assert a < 0;

如果表达式为true，那么代码正常执行，如果表达式为false，那么程序就会终止，因为断言抛出的是AssertionError，它继承Error，所以我们无法进行处理，然后给出提示信息，也就是我们在:后面写的提示字符串。如果没写，那么就没有提示信息

![在这里插入图片描述][e5e5354966f64a4ebe4df53473e4777a.png]

下面代码是正常运行的

public static void main(String[] args) {
        
            double a = 100;
            assert a > 0 : "断言失败";
            System.out.println(a);
        }

输出如下，没有问题  
![在这里插入图片描述][b9d975b2102d485a9e3b7fb5a28d303f.png]

--------------------

下面代码是断言失败的

public static void main(String[] args) {
        
            double a = 100;
            assert a < 0 : "断言失败";
            System.out.println(a);
        }

输出如下

![在这里插入图片描述][9d2de0aebc664b1eb7b23e3bfe1adf78.png]

[848abb36509442c080f3bd1ed629c008.png]: https://img-blog.csdnimg.cn/848abb36509442c080f3bd1ed629c008.png
[59c45fa03c3e4a389cdb27aa303e5be7.png]: https://img-blog.csdnimg.cn/59c45fa03c3e4a389cdb27aa303e5be7.png
[9be367ddeddd4cd1a9e9feaebb21ee55.png]: https://img-blog.csdnimg.cn/9be367ddeddd4cd1a9e9feaebb21ee55.png
[c83d51b38f4e4055a10f8e172f31bf03.png]: https://img-blog.csdnimg.cn/c83d51b38f4e4055a10f8e172f31bf03.png
[e5e5354966f64a4ebe4df53473e4777a.png]: https://img-blog.csdnimg.cn/e5e5354966f64a4ebe4df53473e4777a.png
[b9d975b2102d485a9e3b7fb5a28d303f.png]: https://img-blog.csdnimg.cn/b9d975b2102d485a9e3b7fb5a28d303f.png
[9d2de0aebc664b1eb7b23e3bfe1adf78.png]: https://img-blog.csdnimg.cn/9d2de0aebc664b1eb7b23e3bfe1adf78.png