java斷言assert的用法是什么

150次閱讀

共計 894 個字符，預計需要花費 3 分鐘才能閱讀完成。

在 Java 中斷言 (assert) 是一種用于測試和調試程序的機制。它允許程序員在代碼中插入一些斷言語句，用來檢查程序的狀態是否符合預期。

斷言語句的語法是：

assert expression;

當斷言條件 (expression) 為 true 時，程序會繼續執行下去，什么也不發生。當斷言條件為 false 時，程序會拋出一個 AssertionError 異常，并終止執行。

斷言可以用于以下幾個方面：

斷言前提條件：在代碼中插入斷言語句，用來檢查方法或代碼塊的前提條件是否滿足。如果前提條件不滿足，斷言會拋出異常，從而避免程序錯誤繼續執行。

public void doSomething(int value) {assert value > 0 : "Value must be positive";
    // 繼續執行其他代碼
}

斷言后置條件：在方法的末尾或代碼塊的末尾插入斷言語句，用來檢查方法或代碼塊的后置條件是否滿足。如果后置條件不滿足，斷言會拋出異常，表示程序的邏輯出現了錯誤。

public int divide(int dividend, int divisor) {assert divisor != 0 : "Divisor cannot be zero";
    // 執行除法運算并返回結果
}

斷言不變量：在類的各個方法中插入斷言語句，用來檢查類的不變量是否被破壞。如果斷言失敗，表示類的狀態出現了錯誤。

public class Circle {private double radius;
    
    public Circle(double radius) {assert radius > 0 : "Radius must be positive";
        this.radius = radius;
    }
    
    public double getArea() {assert radius > 0 : "Radius must be positive";
        return Math.PI * radius * radius;
    }
}