什么assertion，并用它在Java语言中的应用举例说明之

`Assertion`是Java提供的一种用于检查程序运行时条件的方法，它不是强制性的语句，但在开发阶段常常用来验证某些预期的结果或假设，帮助开发者发现潜在的问题。当某个断言失败（即表达式为假），`java.lang.AssertionError`会被抛出，这通常会导致程序终止并打印异常信息。

在Java中，使用`assert`关键字进行断言。它的基本语法如下：

assert expression : message;

- `expression`: 需要测试的条件，如果为`false`，则触发断言错误。
- `message`: 断言失败时显示的详细信息，可选。

例如，如果你正在编写一个函数处理整数数组，确保所有的元素都是正数，你可以这样使用：

int[] numbers = {5, 10, -3}; // 假设这是从外部获取的数据

assert Arrays.stream(numbers).allMatch(n -> n > 0) : "Array contains negative numbers";

在这个例子中，`Arrays.stream(numbers).allMatch(n -> n > 0)` 是表达式，如果数组中存在非正数，该表达式的值就会为`false`，断言失败，程序会输出包含"Array contains negative numbers"的消息。