22-final修饰符之修饰变量

1final修饰符

  final关键字可用于修饰类、变量、方法，用final修饰的类、方法、变量不可以改变。

2final修饰变量

  final修饰变量时，表示该变量一旦获得了初始值就不可被改变，final即可以修饰成员变量（包括类变量和实例变量），也可以修饰局部变量、形参。
  由于final变量获得初始值之后不能被重新赋值，因此final修饰成员变量和修饰局部变量时有一定的不同。

final 成员变量

成员变量初始化

  当类初始化时，系统会为该类的类变量分配内存，并分配默认值。也就是说当执行静态初始化块时可以对类变量赋初始值；
  当创建对象时，系统会为该对象的实例变量分配内存，并分配默认值。也就是说当执行普通初始化块、构造器时可以对实例变量赋初始值；
  因此，成员变量的初始值可以在定义该变量时指定默认值，也可以在初始化块、构造器中指定初始值。

final修饰的成员变量初始化

  final修饰的成员变量必须由程序员显示的指定初始值。因为对于final修饰的成员变量而言，一旦有了初始值，就不能被重新赋值。也就是说，如果既没有在定义成员变量时指定初始值，也没有在初始化块、构造器中为成员变量指定初始值，那么这些成员变量的值将被一直是系统默认分配的方法0、"\u0000"、false、null，这些变量就失去了存在的意义。
  归纳，final修饰的类变量、实例变量能指定初始值的地方如下：
  类变量必须在静态初始化块中或声明该变量时指定初始值，且只能在两个地方的其中之一指定。
  实例变量必须在非静态初始化块、声明该实例变量中或构造器中指定初始值，且只能是三者之一。

注意：在实际开发中，不推荐使用构造器对final变量进行初始化。

代码演示

package CaoGao;

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

    public static void main(String[] args) {
        FinalField ff = new FinalField();
        System.out.println(ff.a);
        System.out.println(ff.c);
        System.out.println(ff.b);
    }
    
}

注意：与普通成员变量不同的是，final成员变量必须由程序员显示初始化，系统不会对final成员进行隐式初始化。

final局部变量

系统不会对局部变量进行初始化，局部变量必须由程序员显示初始化。因此使用final修饰局部变量时，既可以在定义时指定默认值，也可以不指定默认值。
代码演示

package CaoGao;

public class FinalLocalVariableTest {
    public void test(final int a){
        // 不能对final修饰的形参赋值，下面语句非法
        // a = 5;
    }

    public static void main(String[] args) {
        // 定义final局部变量时指定默认值，则str变量无法重新赋值
        final String str = "hello";
        //下面赋值语句非法
        // str = "java";
        // 定义final局部变量时没有指定默认值，则d变量可能被赋值一次
        final double d;
        // 第一次赋值成功
        d = 5.6;
        // 对final变量重复赋值，下面语句非法
        // d = 3.4
    }
}

3final修饰基本类型变量和引用类型变量的区别

当使用final修饰基本类型变量时，不能对基本类型变量重新赋值，因此基本类型变量不能被改变。但对于引用类型变量而言，它保存的仅仅是一个引用，final只保证这个引用类型变量所引用的地址不会改变，即一直引用同一个对象，但这个对象完全可以发生改变。
图示

代码演示

package CaoGao;

public class Person1 {
    private int age;
    public Person1(int age){
        this.age = age;
    }

    public int getAge() {
        return age;
    }

    public void setAge(int age) {
        this.age = age;
    }
}

package CaoGao;
import java.util.Arrays;
public class FinalReferenceTest {
    public static void main(String[] args) {
        // final修饰数组变量，iArr是一个引用变量
        final int[] iArr = {1,2,3,4};
        System.out.println(Arrays.toString(iArr));
        // 对数组进行排序，合法
        Arrays.sort(iArr);
        System.out.println(Arrays.toString(iArr));
        // 对数组元素赋值，合法
        iArr[2] = -8;
        System.out.println(Arrays.toString(iArr));
        // 下面语句对IArr重新赋值，非法
        //iArr = null;

        // final修饰Person1变量，p是一个引用变量
        final Person1 p = new Person1(45);
        // 改变Person1对象的age实例变量，合法
        p.setAge(23);
        System.out.println(p.getAge());
        // 下面语句对p重新赋值，非法
        //p = null;
    }
}