Java Assert 断言在哪些场景用

Java中的断言（Assert）主要用于以下场景：

1. 参数校验：在方法入口处，可以使用断言来检查传入的参数是否满足预期的条件。如果不满足条件，可以抛出异常或者给出明确的错误信息。这有助于提高代码的可读性和健壮性。

public void process(int value) {
    assert value >= 0 : "Value must be non-negative";
    // ...处理逻辑
}

2. 状态检查：在执行某些关键操作之前，可以使用断言来检查系统或对象的状态是否满足预期。如果不满足条件，可以抛出异常或者给出明确的错误信息。

public void updateData(Data data) {
    assert data != null : "Data must not be null";
    // ...更新数据逻辑
}

3. 后置条件检查：在方法执行完成后，可以使用断言来检查方法的执行结果是否满足预期。如果不满足条件，可以抛出异常或者给出明确的错误信息。

public int divide(int a, int b) {
    int result = a / b;
    assert b != 0 && result * b == a : "Division by zero or incorrect result";
    return result;
}

4. 不应该到达的代码：在某些情况下，你可能希望确保某些代码段永远不会被执行。这时可以使用断言来检查这些代码段是否被执行，如果被执行，则说明存在问题。

public void process(int value) {
    if (value < 0) {
        throw new IllegalArgumentException("Value must be non-negative");
    }
    // ...处理逻辑
    assert false : "This line should never be reached";
}

需要注意的是，断言默认是禁用的，需要在运行Java程序时使用-ea（或-enableassertions）选项来启用断言。在生产环境中，通常建议关闭断言，因为它们可能会影响性能。断言主要用于开发和测试阶段，以确保代码的正确性和健壮性。