11、Java 编程中的断言与方法定义

Java 编程中的断言与方法定义

1. Java 中的断言使用

Java 1.4 为 java.lang.ClassLoader 添加了启用和禁用通过该类加载器加载的类的断言的方法。如果你在程序中使用自定义类加载器并想启用断言，这些方法会很有用。

1.1 断言的基本使用

断言默认是禁用的，并且不会对代码性能造成影响，因此可以在编程时自由使用断言来记录假设。例如，当编写一个方法，已知变量 x 只能是 0 或 1 时，若不使用断言，代码可能如下：

if (x == 0) {
    ...
}
else {  // x is 1
    ...
}

这里的注释是一个非正式的断言，表示在 else 子句中， x 始终等于 1。但如果后续代码修改后， x 可以取 0 和 1 之外的值，这个注释和假设就不再有效，可能导致难以发现和定位的错误。此时可以将注释转换为断言语句：

if (x == 0) {
    ...
}
else {
    assert x == 1 : x;  // x must be 0 or 1
    ...
}

如果 x 最终持有意外值，会抛出 AssertionError ，使错误易于发现和定位。断言语句中冒号后的表达式会