Java Assert 的使用场景

Java Assert 是一种在代码中设置检查点的机制，用于验证程序中的假设和不变式。Assert 的主要使用场景包括：

1. 输入验证：当程序接收外部输入时，可以使用 Assert 检查输入是否符合预期的格式、范围或类型。例如，检查用户输入的年龄是否为正数。

int age = 18;
assert age > 0 : "Age must be positive";

2. 参数验证：在方法开始时，可以使用 Assert 检查传入的参数是否符合预期。这有助于避免在方法内部出现意外的错误。

public void calculateArea(double radius) {
    assert radius > 0 : "Radius must be positive";
    // 计算面积的逻辑
}

3. 不变式检查：在某些情况下，程序中的某些变量或状态应始终保持不变。Assert 可以用于确保这些不变式在运行时得到满足。

class Circle {
    private final double radius;

    public Circle(double radius) {
        assert radius > 0 : "Radius must be positive";
        this.radius = radius;
    }

    // 其他方法
}

4. 资源管理：在处理文件、数据库连接等资源时，可以使用 Assert 确保资源在使用完毕后被正确关闭。

try (FileInputStream fis = new FileInputStream("file.txt")) {
    // 处理文件
} catch (IOException e) {
    assert false : "Failed to open file";
}

需要注意的是，Assert 在默认情况下是禁用的，需要在运行时通过 JVM 参数 -ea（启用断言）来启用。在生产环境中，通常建议禁用 Assert，因为它们可能会影响性能。