在 Java 中声明类、属性和方法时,可使用关键字 final 来修饰。final 所标记的成分具有“终态”的特征,表示“最终的”意思。其具体规定如下:
事实上,为确保这终态性,提供了上述方法和常量的 java.lang.Math 类也已被定义为final 的。
需要注意的是,如果将引用类型(即,任何类的类型)的变量标记为 final,那么该变量不能指向任何其它对象。但可以改0变对象的内容,因为只有引用本身是 final 的。
如果变量被标记为 final,其结果是使它成为常数。想改变 final 变量的值会导致一个编译错误。下面是一个正确定义 final 变量的例子:
public final int MAX_ARRAY_SIZE = 25;
例 final 关键字程序:Test.java
public final class Test {
public static final int TOTAL_NUMBER = 5;
public int id;
public Test() {
id = ++TOTAL_NUMBER;// 非法,对final变量TOTAL_NUMBER进行二次赋值了。
// 因为++TOTAL_NUMBER相当于:TOTAL_NUMBER=TOTAL_NUMBER+1
}
public static void main(String[] args) {
final Test t = new Test();
final int i = 10;
final int j;
j = 20;
j = 30; // 非法,对final变量进行二次赋值
}
}
Java 编程语言允许关键字 final 被应用到类上(放在 class 关键字前面)。如果这样做了, 类便不能被再派生出子类。比如,类 Java.lang.String 就是一个 final 类。这样做是出于安全原因,因为它保证,如果方法有字符串的引用,它肯定就是类 String 的字符串,而不是某个其它类的字符串,这个类是 String 的被修改过的子类,因为 String 可能被恶意窜改过。
方法也可以被标记为 final。被标记为 final 的方法不能被覆盖。这是由于安全原因。如果方法具有不能被改变的实现,而且对于对象的一致状态是关键的,那么就要使方法成为final。
- final 标记的类不能被继承。
- final 标记的方法不能被子类重写。
- final 标记的变量(成员变量或局部变量)即成为常量,只能赋值一次。
- final 标记的成员变量必须在声明的同时赋值,如果在声明的时候没有赋值,那么只有 一次赋值的机会,而且只能在构造方法中显式赋值,然后才能使用。
- final 标记的局部变量可以只声明不赋值,然后再进行一次性的赋值。
- final 一般用于标记那些通用性的功能、实现方式或取值不能随意被改变的成分,以避免被误用,例如实现数学三角方法、幂运算等功能的方法,以及数学常量π=3.141593、e=2.71828 等。
事实上,为确保这终态性,提供了上述方法和常量的 java.lang.Math 类也已被定义为final 的。
需要注意的是,如果将引用类型(即,任何类的类型)的变量标记为 final,那么该变量不能指向任何其它对象。但可以改0变对象的内容,因为只有引用本身是 final 的。
如果变量被标记为 final,其结果是使它成为常数。想改变 final 变量的值会导致一个编译错误。下面是一个正确定义 final 变量的例子:
public final int MAX_ARRAY_SIZE = 25;
例 final 关键字程序:Test.java
public final class Test {
public static final int TOTAL_NUMBER = 5;
public int id;
public Test() {
id = ++TOTAL_NUMBER;// 非法,对final变量TOTAL_NUMBER进行二次赋值了。
// 因为++TOTAL_NUMBER相当于:TOTAL_NUMBER=TOTAL_NUMBER+1
}
public static void main(String[] args) {
final Test t = new Test();
final int i = 10;
final int j;
j = 20;
j = 30; // 非法,对final变量进行二次赋值
}
}
Java 编程语言允许关键字 final 被应用到类上(放在 class 关键字前面)。如果这样做了, 类便不能被再派生出子类。比如,类 Java.lang.String 就是一个 final 类。这样做是出于安全原因,因为它保证,如果方法有字符串的引用,它肯定就是类 String 的字符串,而不是某个其它类的字符串,这个类是 String 的被修改过的子类,因为 String 可能被恶意窜改过。
方法也可以被标记为 final。被标记为 final 的方法不能被覆盖。这是由于安全原因。如果方法具有不能被改变的实现,而且对于对象的一致状态是关键的,那么就要使方法成为final。
被声明为 final 的方法有时被用于优化。编译器能产生直接对方法调用的代码,而不是通常的涉及运行时查找的虚拟方法调用。被标记为 static 或 private 的方法被自动地 final,因为动态联编在上述两种情况下都不能应用。