概念

final 具有“不可改變的”的含義，可以修飾 非抽象類、非抽象成員方法和變量。

• 用 final 修飾的類不能被繼承，沒有子類。
• 用 final 修飾的方法不能被子類的方法覆蓋(重寫)。
• 用 final 修飾的變量表示常量，只能被賦一次值(聲明變量的時候)。

注：

final 不能用來修飾構造方法，因為“方法覆蓋”這一概念僅適用于類的成員方法，而不適用于類的構造方法，父類的構造方法和子類的構造方法之間不存在覆蓋的關系，因此用final修飾構造方法沒有任何意義。

父類中用 private 修飾的方法不能被子類的方法所覆蓋，因此可以理解為 private 類型的方法默認是 final 類型的。

final 類

把類定義為 final，使這個類不能被繼承。具體使用場景如下：

• 不是專門為繼承而設計的類，類本身的方法之間有復雜的調用關系。如果隨意創(chuàng)建這些類的子類，子類有可能會錯誤的修改了父類的實現(xiàn)細節(jié)。
• 處于安全的原因，類的實現(xiàn)細節(jié)不允許在被擴展。
• 在創(chuàng)建對象模型時，確信這個類不會再被擴展。

例如：JDK中的java.lang.String 類被定義為 final 類型。

public final class String{...}

final 方法

在某些情況下，出于安全原因，父類不允許子類覆蓋某個方法，此時可以把這個方法聲明為 final 類型。

例如：JDK中的java.lang.Object 類中，getClass()方法為 final 類型，而 equals() 方法不為 final 類型。

所有 Object 的子類都可以覆蓋 equals() 方法，但不能覆蓋 getClass() 方法。

final 變量

用 final 修飾的變量表示取值不會改變的常量。

例如：JDK中 java.lang.Integer 類中定義了兩個常量。

public static final int   MIN_VALUE = 0x80000000;

public static final int   MAX_VALUE = 0x7fffffff;

final 變量具有以下特征：

• final修飾符可以修飾靜態(tài)變量、成員變量和局部變量，分別表示靜態(tài)常量、實例常量和局部常量。

 public class Demo{
  public static final int MAX_VALUE = 23;  //靜態(tài)常量
  public static final int MIN_VALUE = 10;  //靜態(tài)常量
  private final Date birthday = new Date(); //成員常量
 }

靜態(tài)常量一般以大寫字母命名，單詞之間以“_”符號分開。

• final修飾的成員變量必須初始化。

 public class FinalTest {
   final int a = 1;  //成員常量 默認初始化
   static final int b = 2;  //靜態(tài)常量 默認初始化
   final int c;  //成員常量
   static final int d;  //靜態(tài)常量
   
   public FinalTest(){
     c = 3;  //成員常量 未默認初始化，可在構造函數(shù)中初始化
   }
   
   static {
     d = 4;  //靜態(tài)常量 未默認初始化，可在靜態(tài)代碼塊中初始化
   }
 }

final 變量只能賦一次值，如果將引用類型的變量用 final 修飾，該變量只能始終引用一個對象，但可以改變對象的內容。

 public class FinalTest {
   String str = "";
   public void print(){
     System.out.println(str);
   }  
   public static void main(String[] args){
     final FinalTest finalTest = new FinalTest();
     finalTest.str = "xixihaha";
     finalTest.print();
   }
 }

總結：

實際程序中，通過 final 修飾符來定義常量，目的為：

• 提高程序的安全性。
• 提高代碼可維護性。
• 提供代碼可讀性。

 以上就是本文的全部內容，希望對大家的學習有所幫助。

最新評論