Java中final关键字学习

final 关键字基本用法

在Java中，final 关键字在不同的应用环境中可能会有差异，但它最一般的意思就是"这个东西不能改变"，这样设计的目的是出于两方面考虑，设计和效率。final 关键字的三种应用场合：数据、方法以及类。

final 修饰成员变量

final 成员变量表示常量，只能被赋值一次，赋值后值不再改变。
当final 修饰一个基本数据类型时，表示该基本数据类型的值一旦在初始化后便不能发生变化；如果final 修饰一个引用类型时，则在对其初始化之后便不能再让其指向其他对象了，但该引用所指向的对象的内容是可以发生变化的。本质上是一回事，因为引用的值是一个地址，final 要求的值，即地址的值不发生变化。

final 修饰一个成员变量(属性),必须要显示初始化。这里有两种初始化方式，一种是在变量声明的时候初始化；第二种方法是在声明变量的时候不赋初值，但是要在这个变量所在的类的所有的构造函数中对这个变量赋初值。当函数的参数类型声明为final 时，说明该参数是只读型的。即可以读取使用该参数，但是无法改变该参数的值。

//: FinalData.java
// The effect of final on fields
class Value {
 int i = 1;
}
public class FinalData {
 // 编译时常量
 final int i1 = 9;
 static final int I2 = 99;
 // 经典公共常量
 public static final int I3 = 39;
 // 非编译时常量
 final int i4 = (int)(Math.random()*20);
 static final int i5 = (int)(Math.random()*20);
 
 Value v1 = new Value();
 //final 修饰引用类型变量
 final Value v2 = new Value();
 static final Value v3 = new Value();
 final Value v4;  // Pre-Java 1.1 Error: 预编译报错，没有初始化，没有指向具体的地址
 // Arrays:
 final int[] a = { 1, 2, 3, 4, 5, 6 };
 public void print(String id) {
 System.out.println(
 id + ": " + "i4 = " + i4 + 
 ", i5 = " + i5);
 }
 public static void main(String[] args) {
 FinalData fd1 = new FinalData();
 //! fd1.i1++;      // Error: can't change value i1 是一个整型常量
 fd1.v2.i++; // Object isn't constant! i 不是常量
 fd1.v1 = new Value(); // OK -- not final  v1 不是常量
 for(int i = 0; i < fd1.a.length; i++)
 fd1.a[i]++; // Object isn't constant!  数组a 的地址不可以改变，但数组内容可以改变
 //! fd1.v2 = new Value(); // Error: Can't  v2 是引用类型常量，初始化只能一次
 //! fd1.v3 = new Value(); // change handle  v3 是静态引用类型常量不能改变
 //! fd1.a = new int[3];  //常量数组，值可以改变，引用不可以改变
 fd1.print("fd1");
 System.out.println("Creating new FinalData");
154
 FinalData fd2 = new FinalData();
 fd1.print("fd1");
 fd2.print("fd2");
 }
} 

声明时未初始化的常量在构造函数中必须初始化

//: BlankFinal.java
// "Blank" final data members
class Poppet { }
class BlankFinal {
 final int i = 0; // Initialized final
 final int j; // Blank final  基础数据类型未初始化
 final Poppet p; // Blank final handle  引用类型未初始化
 // Blank finals MUST be initialized  
 // in the constructor  在所有构造函数中必须初始化
 BlankFinal() {
 j = 1; // Initialize blank final  常量初始化
 p = new Poppet();  //引用常量初始化
 }
 BlankFinal(int x) {
 j = x; // Initialize blank final  基础数据类型初始化
155
 p = new Poppet(); //引用常量初始化
 }
 public static void main(String[] args) {
 BlankFinal bf = new BlankFinal();
 }
} 

函数参数类型声明为 final

//: FinalArguments.java
// Using "final" with method arguments  函数参数声明为final
class Gizmo {
 public void spin() {}
}
public class FinalArguments {
 void with(final Gizmo g) {
 //! g = new Gizmo(); // Illegal -- g is final  在with 函数中已经声明为final,不能再被初始化
 g.spin();
 }
 void without(Gizmo g) {
 g = new Gizmo(); // OK -- g not final 非 final 参数
 g.spin();
 }
 // void f(final int i) { i++; } // Can't change   i 为基本数据类型，声明为final，不能再被改变
 // You can only read from a final primitive:
 int g(final int i) { return i + 1; }
 public static void main(String[] args) {
 FinalArguments bf = new FinalArguments();
 bf.without(null);
 bf.with(null);
 }
}

final 修饰类

当用final 修饰一个类时，表明这个类不能被继承。final 类中的成员变量可以根据需要设计为final ，但是要注意final 类中的所有成员方法都会被隐式地指定为final 方法，这样做的目的是出于安全和效率考虑。

//: Jurassic.java
// Making an entire class final
class SmallBrain {}
final class Dinosaur {
 int i = 7;
 int j = 1;
 SmallBrain x = new SmallBrain();
 void f() {}
}
//! class Further extends Dinosaur {}   常量类不能被继承
// error: Cannot extend final class 'Dinosaur'
public class Jurassic {
 public static void main(String[] args) {
 Dinosaur n = new Dinosaur();
 n.f();
 n.i = 40;
 n.j++;
 }
} 

注:在使用final修饰类的时候，要注意谨慎选择，除非这个类真的在以后不会用来继承或者出于安全的考虑，尽量不要将类设计为final类。

final 修饰方法

使用final 方法的原因有两个，第一个原因是把方法锁定，以防任何继承类修改它的含义；第二个原因是效率。在早期的Java实现版本中，会将final 方法转为内嵌调用，但是如果方法过于庞大，可能看不到内嵌调用带来的任何性能提升，在最近的版本中，不需要使用final 方法进行这些优化了。

因此，如果只有在明确禁止该方法在子类中被覆盖的情况下才将方法设置为final 的。即父类的final 方法是不能被子类所覆盖的，也就是说子类是不能够存在和父类一模一样的方法的。

final修饰的方法表示此方法已经是“最后的、最终的”含义，亦即此方法不能被重写（可以重载多个final修饰的方法）。此处需要注意的一点是：因为重写的前提是子类可以从父类中继承此方法，如果父类中final修饰的方法同时访问控制权限为private，将会导致子类中不能直接继承到此方法，因此，此时可以在子类中定义相同的方法名和参数，此时不再产生重写与final的矛盾，而是在子类中重新定义了新的方法。（注：类的private方法会隐式地被指定为final方法。）

public class B extends A {
    public static void main(String[] args) {
    }
    public void getName() {   
    }
}

class A {
    /**
     * 因为private修饰，子类中不能继承到此方法，因此，子类中的getName方法是重新定义的、
     * 属于子类本身的方法，编译正常
     */
    private final void getName() {
    }
    /* 因为public修饰，子类可以继承到此方法，导致重写了父类的final方法，编译出错
    public final void getName() {
    }
    */
}

深入理解final 关键字

1.类的final 变量和普通变量有什么区别？

当用final 作用于类的成员变量时，成员变量(注意是类的成员变量，局部变量只需要保证在使用之前被初始化赋值即可)必须在定义时或者构造器中进行初始化赋值，而且final 变量一旦被初始化赋值之后，就不能再被赋值了。

public class Test { 
    public static void main(String[] args)  { 
        String a = "hello2";   
        final String b = "hello"; 
        String d = "hello"; 
        String c = b + 2;   
        String e = d + 2; 
        System.out.println((a == c)); 
        System.out.println((a == e)); 
    } 
}

输出结果:true, false

当final 变量是基本数据类型以及String 类型时，如果在编译期间能知道它的确切值，则编译器会把它当做编译期常用使用。也就是说在用到该final 变量的地方，相当于直接访问的这个常量，不需要在运行时确定。因此在上面的一段代码中，由于变量b被final 修饰，因此会被当做编译器常量，所以在使用到b 的地方会被直接将变量b替换为它的值。而对于变量d 的访问却需要在运行时通过链接来进行。只有在编译期间能确切知道final 变量值得情况下，编译器才会进行这样的优化，比如下面的这段代码就不会进行优化:

public class Test { 
    public static void main(String[] args)  { 
        String a = "hello2";   
        final String b = getHello(); 
        String c = b + 2;   
        System.out.println((a == c)); 
    } 
    public static String getHello() { 
        return "hello"; 
    } 
} 

这段代码的输出结果为false。这里要注意一点就是：不要以为某些数据是final 就可以在编译期知道其值，通过变量b我们就知道了，在这里是使用getHello() 方法对其进行初始化，他要在运行期才知道其值。(==比较的是两个字符串的地址是否为相等（同一个地址），equals()方法比较的是两个字符串对象的内容是否相同（当然，若两个字符串引用同一个地址，使用equals()比较也返回true）)

被final 修饰的引用变量指向的对象内容可变吗？

在上面提到被final修饰的引用变量一旦初始化赋值之后就不能再指向其他的对象，那么该引用变量指向的对象的内容可变吗？看下面这个例子：

public class Test { 
    public static void main(String[] args)  { 
        final MyClass myClass = new MyClass(); 
        System.out.println(++myClass.i); 
    } 
} 
class MyClass { 
    public int i = 0; 
}

这段代码可以顺利编译通过并且有输出结果，输出结果为1。这说明引用变量被final修饰之后，虽然不能再指向其他对象，但是它指向的对象的内容是可变的。

final 参数的问题

在实际应用中，我们除了可以用final 修饰成员变量、成员方法、类，还可以修饰参数、若某个参数被final 修饰了，则代表了该参数是不可变的。如果在方法中我们修改了该参数，则编译器会提示你：The final local variable i cannot be assigned. It must be blank and not using a compound assignment。

public class TestFinal {
    public static void main(String[] args){
        TestFinal testFinal = new TestFinal();
        int i = 0;
        testFinal.changeValue(i);
        System.out.println(i);
        
    }
    public void changeValue(final int i){
        //final参数不可改变
        //i++;
        System.out.println(i);
    }
}

上面这段代码changeValue 方法中的参数i 用final 修饰之后，就不能再方法中更改变量i的值了。方法changeValue 和main 方法中的变量不是一个变量，因为java 参数传递采用的是值传递，对于基本类型的变量，相当于直接将变量进行了拷贝。所以即使没有final 修饰的情况下，在方法内部改变了变量i的值也不会影响方法外的i。

public class TestFinal {
    public static void main(String[] args){
        TestFinal testFinal = new TestFinal();
        StringBuffer buffer = new StringBuffer("hello");
        testFinal.changeValue(buffer);
        System.out.println(buffer);
    }
    public void changeValue(final StringBuffer buffer){
        //final修饰引用类型的参数，不能再让其指向其他对象，但是对其所指向的内容是可以更改的。
        //buffer = new StringBuffer("hi");
        buffer.append("world");
    }
}

运行这段代码就会发现输出结果为helloworld。很显然，用final 进行修饰虽不能再让buffer 指向其他对象，但对于buffer 指向的对象的内容是可以改变的。现在假设一种情况，如果把final 去掉

public class TestFinal {
    public static void main(String[] args){
        TestFinal testFinal = new TestFinal();
        StringBuffer buffer = new StringBuffer("hello");
        testFinal.changeValue(buffer);
        System.out.println(buffer);
        
    }
    public void changeValue(StringBuffer buffer){
        //buffer重新指向另一个对象
        buffer = new StringBuffer("hi");
        buffer.append("world");
        System.out.println(buffer);
    }
}

运行结果:

hiworld
hello

从运行结果可以看出，将final 去掉后，同时在changeValue中让buffer指向了其他对象，并不会影响到main方法中的buffer，原因在于java 采用的是值传递，对于引用变量，传递的是引用的值，也就是说让实参和形参同时指向了同一个对象，因此让形参重新指向另一个对象对实参并没有任何影响。

参考：https://www.cnblogs.com/xiaoxi/p/6392154.html