6.4 final修饰符 6.4.1 fina成员变量

6.4 final修饰符

成员变量是随类初始化或对象初始化而初始化的。
当类初始化时,系统会为该类的类变量分配内存,并分配默认值;
当创建对象时,系统会为该对象的实例变量分配内存,并分配默认值。

也就是说,当执行静态初始化块时可以对类变量赋初始值;
当执行普通初始化块、构造器时可对实例变量赋初始值。

因此,成员变量的初始值可以在定义该变量时指定默认值,也可以在初始化块、构造器中指定初始值

final修饰的成员变量只能赋值一次

对于final修饰的成员变量而言,一旦有了初始值,就不能被重新赋值,

必须显示初始化final成员变量

如果既没有在定义成员变量时指定初始值,也没有在初始化块、构造器中为成员变量指定初始值,那么这些成员变量的值将一直是系统默认分配的0、\u0000、 false或null,这些成员变量也就完全失去了存在的意义。

因此Java语法规定:final修饰的成员变量必须由程序员显式地指定初始值。

final修饰的成员变量的合法初始化位置

归纳起来, final修饰的类变量、实例变量能指定初始值的地方如下。

1. 类变量:必须在静态初始化块中指定初始值或声明该类变量时指定初始值,而且只能在两个地方的其中之一指定,不可以在其他地方指定初始值.
2. 实例变量:必须在非静态初始化块、声明该实例变量时指定初始值或在构造器中指定初始值,而且只能在三个地方的其中之一指定。不可以在其他地方指定初始值.

实例

public class FinalVariableTest
{
    // 定义成员变量时指定默认值，合法。
    final int a = 6;
    // 下面变量将在构造器或初始化块中分配初始值
    final String str;
    final int c;
    final static double d;
    // 既没有指定默认值，又没有在初始化块、构造器中指定初始值，
    // 下面定义的ch实例变量是不合法的。
    // final char ch;
    // 初始化块，可对没有指定默认值的实例变量指定初始值
    {
        //在初始化块中为实例变量指定初始值，合法
        str = "Hello";
        // 定义a实例变量时已经指定了默认值，
        // 不能为a重新赋值，因此下面赋值语句非法
        // a = 9;
    }
    // 静态初始化块，可对没有指定默认值的类变量指定初始值
    static
    {
        // 在静态初始化块中为类变量指定初始值，合法
        d = 5.6;
    }
    // 构造器，可对既没有指定默认值、有没有在初始化块中
    // 指定初始值的实例变量指定初始值
    public FinalVariableTest()
    {
        // 如果在初始化块中已经对str指定了初始化值，
        // 构造器中不能对final变量重新赋值，下面赋值语句非法
        // str = "java";
        c = 5;
    }
    public void changeFinal()
    {
        // 普通方法不能为final修饰的成员变量赋值
        // d = 1.2;
        // 不能在普通方法中为final成员变量指定初始值
        // ch = 'a';
    }
    public static void main(String[] args)
    {
        FinalVariableTest ft = new FinalVariableTest();
        System.out.println(ft.a);
        System.out.println(ft.c);
        System.out.println(ft.d);
    }
}