Từ khóa khẳng định Java
Ví dụ
Sử dụng khẳng định để kiểm tra giá trị đúng của biểu thức:
public class Main { public static void main(String[] args) { // Enable assertions ClassLoader loader = ClassLoader.getSystemClassLoader(); loader.setDefaultAssertionStatus(true); // Run the assert example AssertExample example = new AssertExample(); example.run(); } } class AssertExample { public void run() { int a = 12; try { assert a == 12; // Assertion without a fail message assert a == 12 : "a is not 12"; assert a == 15 : "a is not 15"; } catch (AssertionError e) { System.out.println(e.getMessage()); } } }
Định nghĩa và cách sử dụng
Từ khóa assert
đánh giá một biểu thức boolean và đưa ra một ngoại lệ AssertionError
nếu biểu thức đánh giá là false
. Khi ngoại lệ được ném ra, chúng ta nói rằng xác nhận đó không thành công.
Một biểu thức tùy chọn có thể được thêm vào sẽ được sử dụng làm thông báo ngoại lệ nếu xác nhận không thành công.
Các xác nhận bị tắt theo mặc định. các câu lệnh assert
sẽ bị bỏ qua trừ khi các xác nhận được bật.
Mục đích của các xác nhận là để đánh dấu rõ ràng nơi chương trình đang thực hiện điều gì đó ngoài ý muốn khi gỡ lỗi và kiểm tra chương trình.