从原理到实战深入理解Java 断言assert

// 简单形式
assert condition;
// 带错误信息形式
assert condition : "Error message";

public class AssertDemo {
    public static void main(String[] args) {
        int[] arr = {1, 2, 3};
        printElement(arr, 2);  // 正常执行
        printElement(arr, 5); // 触发断言
    }
    static void printElement(int[] arr, int index) {
        assert index >= 0 && index < arr.length : "索引越界：" + index;
        System.out.println("元素值：" + arr[index]);
    }
}

# 禁用所有断言
java -da MainClass
# 启用全部但禁用特定包
java -ea -da:com.example.utils... MainClass

public void transfer(Account from, Account to, double amount) {
    assert from != null && to != null : "账户不能为空";
    assert amount > 0 : "转账金额必须大于0";
    // 业务逻辑...
}

class Stack {
    private int size;
    private Object[] elements;
    public Object pop() {
        assert !isEmpty() : "栈已空";
        Object result = elements[--size];
        assert elements[size] == null; // 确保引用被清除
        return result;
    }
}

// 1. 使用JDK自带工具类
Objects.requireNonNull(param, "参数不能为空");
// 2. 使用Guava Preconditions
Preconditions.checkArgument(age > 0, "年龄必须为正数");
// 3. 自定义验证工具
public static void checkState(boolean condition, String template, Object... args) {
    if (!condition) {
        throw new IllegalStateException(String.format(template, args));
    }
}

Assert.notNull(user, "用户对象不能为空");