这个案例能让你学会用Java的断言（assert）进行调试吗

wen java案例 2026-06-04 48

是的,通过实际案例学习Java的assert关键字是一个非常好的方法，让我用一个完整的例子来演示断言的使用场景、语法和注意事项。

案例：银行账户转账系统

基础案例 - 验证不变量

public class BankAccount {
    private double balance;
    private String accountNumber;
    public BankAccount(String accountNumber, double initialBalance) {
        this.accountNumber = accountNumber;
        this.balance = initialBalance;
    }
    /**
     * 转账方法 - 使用断言确保业务逻辑正确
     */
    public void transfer(BankAccount target, double amount) {
        // 前置条件断言：转账金额必须为正数
        assert amount > 0 : "转账金额必须为正数，当前金额：" + amount;
        // 前置条件断言：账户必须有足够余额
        assert this.balance >= amount : "余额不足，当前余额：" + this.balance + "，需要：" + amount;
        // 执行转账
        double oldBalance = this.balance;
        this.balance -= amount;
        target.balance += amount;
        // 后置条件断言：转出账户余额减少正确
        assert this.balance == oldBalance - amount : 
            "转出账户余额计算错误，期望：" + (oldBalance - amount) + "，实际：" + this.balance;
        // 后置条件断言：转入账户余额增加正确
        assert target.balance == target.balance : // 这里故意写错，稍后演示
            "转入账户余额计算错误";
    }
    public double getBalance() {
        return balance;
    }
}

完整的测试程序

public class AssertDemo {
    public static void main(String[] args) {
        // 注意：需要添加 -ea 参数启用断言
        // 在命令行运行：java -ea AssertDemo
        // 或在IDE中配置JVM参数
        BankAccount account1 = new BankAccount("A001", 1000.0);
        BankAccount account2 = new BankAccount("A002", 500.0);
        System.out.println("=== 正常转账测试 ===");
        System.out.println("转账前 - 账户A: " + account1.getBalance() + 
                          ", 账户B: " + account2.getBalance());
        account1.transfer(account2, 200.0);
        System.out.println("转账后 - 账户A: " + account1.getBalance() + 
                          ", 账户B: " + account2.getBalance());
        System.out.println("\n=== 异常情况测试 ===");
        // 测试一：负数金额
        try {
            // 需要启用断言才会抛出AssertionError
            account1.transfer(account2, -100.0);
        } catch (AssertionError e) {
            System.out.println("捕获到断言错误: " + e.getMessage());
        }
        // 测试二：余额不足
        try {
            account1.transfer(account2, 99999.0);
        } catch (AssertionError e) {
            System.out.println("捕获到断言错误: " + e.getMessage());
        }
    }
}

启用断言的配置方式

命令行运行：

# 启用断言
java -ea AssertDemo
# 启用特定包的断言
java -ea:com.mybank... AssertDemo
# 禁用断言（默认）
java -da AssertDemo

在IDE中（以IntelliJ IDEA为例）：

运行 → 编辑配置
在VM options中添加：-ea

Eclipse：

运行配置 → Arguments
VM arguments中添加：-ea

实际的调试案例 - 发现隐藏bug

public class DebugCase {
    private static int[] processData(int[] input) {
        // 断言输入数据不为空
        assert input != null && input.length > 0 : "输入数据不能为空";
        int[] result = new int[input.length];
        for (int i = 0; i < input.length; i++) {
            result[i] = input[i] * 2;
        }
        // 断言：处理后的数据应该是偶数
        for (int value : result) {
            assert value % 2 == 0 : "处理结果错误，发现奇数：" + value;
        }
        return result;
    }
    public static void main(String[] args) {
        // 正常情况
        int[] data = {1, 2, 3, 4, 5};
        int[] processed = processData(data);
        System.out.println("正常处理结果：");
        for (int v : processed) {
            System.out.print(v + " ");
        }
        System.out.println();
        // 边界情况测试
        System.out.println("\n测试空数组：");
        try {
            processData(new int[0]);  // 会触发断言
        } catch (AssertionError e) {
            System.out.println("断言触发：" + e.getMessage());
        }
    }
}

断言的最佳实践示例

public class BestPractices {
    // 1. 使用断言检查方法参数
    public void setAge(int age) {
        assert age >= 0 && age <= 150 : "年龄范围错误: " + age;
        // 实际业务逻辑
    }
    // 2. 使用断言检查永远不会发生的条件
    public String getDayName(int dayNumber) {
        switch (dayNumber) {
            case 1: return "Monday";
            case 2: return "Tuesday";
            case 3: return "Wednesday";
            case 4: return "Thursday";
            case 5: return "Friday";
            case 6: return "Saturday";
            case 7: return "Sunday";
            default:
                assert false : "无效的日期: " + dayNumber;
                return null;
        }
    }
    // 3. 使用断言检查复杂算法的不变量
    public static int binarySearch(int[] sortedArray, int key) {
        // 断言数组是排序的
        assert isSorted(sortedArray) : "数组未排序";
        int low = 0;
        int high = sortedArray.length - 1;
        while (low <= high) {
            int mid = low + (high - low) / 2;
            int midVal = sortedArray[mid];
            // 断言中间索引在有效范围内
            assert mid >= low && mid <= high : 
                "中间索引越界: " + mid + " [low=" + low + ", high=" + high + "]";
            if (midVal < key) {
                low = mid + 1;
            } else if (midVal > key) {
                high = mid - 1;
            } else {
                return mid;
            }
        }
        return -1;
    }
    private static boolean isSorted(int[] arr) {
        for (int i = 1; i < arr.length; i++) {
            if (arr[i] < arr[i-1]) return false;
        }
        return true;
    }
}

常见陷阱和注意事项

public class AssertTraps {
    // 错误示例：不要在断言中执行操作
    public void wrongExample(List<String> list) {
        // 危险！断言会在禁用时跳过
        assert list.remove("test") : "删除失败";
        // 如果禁用断言，下面的代码会处理未删除的情况
        if (list.contains("test")) {
            // 这行代码永远不会执行
        }
    }
    // 正确做法
    public void correctExample(List<String> list) {
        boolean removed = list.remove("test");
        assert removed : "删除失败";
        if (!removed) {
            // 处理删除失败的情况
        }
    }
    // 错误示例：使用复杂的表达式
    public void complexExpressionExample() {
        // 复杂的断言表达式可能会影响性能
        assert expensiveOperation() : "操作失败";
    }
    private boolean expensiveOperation() {
        // 模拟耗时操作
        try {
            Thread.sleep(1000);
        } catch (InterruptedException e) {
            Thread.currentThread().interrupt();
        }
        return true;
    }
    // 正确做法：将复杂计算移出断言
    public void betterExample() {
        boolean result = expensiveOperation();
        assert result : "操作失败";
    }
}