final变量只能赋值一次,赋值的方式有三种:
1)声明变量时直接赋值;
2)非静态成员变量在{}块中赋值,静态成员变量在static{}块中赋值;
3)非静态成员变量在构造方法中赋值。
final修饰类
final类不能被继承,因此不会有子类。final类中的方法不论是否有final修改,都是final的。
下面定义了一个简单的final类:
public final class FinalClass { }
//下面的类继承将会出现编译错误
class Sub extends FinalClass { }
final修饰方法
final方法不能被override。若父类中的方法为final的,则子类不能override该方法,但可以调用该方法(父类的final方法)。
下面的程序试图重写final方法,将会引发编译错误:
public class FinalMethod {
public final void say () { }
}
class Sub extends FinalMethod {
//下面方法将会出现编译错误
public void say () { }
}
final成员变量
final修饰的变量不可被改变,意思是不能被重新赋值。由于final修饰的成员变量不能重新赋值,所以Java语规定:final修饰的成员变量必须由程序员显示的指定初始值。
final修饰的类变量和实例变量指定初始值得地方如下:
1)类变量:必须在静态初始化块中指定初始值或声明该类变量时指定初始值,而且只能二选一指定。
2)实例变量:必须在非静态初始化块、声明该实例变量或构造器中指定初始值,而且只能三选一指定。
final修饰基本类型变量和引用类型变量的区别:
当final修饰基本类型变量时,改基本类型变量不能被改变。但对于引用类型变量而言,它保存的仅仅只是引用,final只保证这个引用类型变量所引用的地址不会改变,即一直引用同一个对象,但这个对象完全可以发生改变。