final 類
final 類不能被繼承,同時,一旦用 final 修飾了類,也就意味著 final 類中的所有方法都被隱式地指定為 final 方法
final 方法
在類繼承的過程中,對于父類中的 final 方法,子類不能修改和覆蓋。
private 方法都被隱式指定為 final 方法。
有兩個原因使用 final 方法:
- 鎖定方法,防止被子類修改其含義
- 在早期的 java 實現版本中,final 方法被實現為內嵌調用,可以提升性能
final 變量
final 關鍵字用來修飾變量是最常用的用法,如果修飾成員變量,則必須在定義時或者構造方法中初始化,且一經初始化此后不能再進行任何賦值。
針對基本類型和類對象有著不同的含義:
- 對于基本類型,final 變量一經初始化,此后不能再改變該變量的值
- 對于類對象,已經初始化后,不能讓這個變量再指向另一個對象,但他指向的對象的內容是可以改變的
static final 域稱為編譯期常量,一般全部大寫。
示例
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
|
class Glyph { void draw() { System.out.println( "Glyph.draw()" ); } Glyph() { System.out.println( "Glyph() before draw()" ); draw(); System.out.println( "Glyph() after draw()" ); } } class RoundGlyph extends Glyph { private int redius = 1 ; RoundGlyph( int r) { radius = r; System.out.println( "RoundGlyph.RoundGlyph(), radius = " + radius); } void draw() { System.out.println( "RoundGlyph.draw(), radius = " + radius); } } public class RolyConstructors { public static void main(String[] args) { new RoundGlyph( 5 ); } } |
輸出結果:
1
2
3
4
|
Glyph() before draw() RoundGlyph.draw(), radius = 0 Glyph() after draw() RoundGlyph.RoundGlyph(), radius = 5 |
上面的代碼展示了類初始化過程以及隱藏的災難性問題。
main 函數中以參數 5 調用 RoundGlyph 的構造函數創建了 RoundGlyph 對象,在 RoundGlyph 構造方法執行前調用了其父類 Glyph 的構造方法。
然而,在父類 Glyph 的構造方法中調用了 draw 方法,由于多態性,此時實際上調用了子類的 draw 方法,然而子類的 redius 此時還沒有通過構造器初始化,因此輸出了:
1
|
RoundGlyph.draw(), radius = 0 |
這顯然不是我們想要的結果,因此需要注意:
- 用盡可能簡單的方法初始化類成員
- 在構造器中最好只調用 final 方法
第二條的原因是 final 不會應用多態性,因此可以保證調用的是當前對象的相應方法,而不是初始化工作還沒有進行的子類的覆蓋方法。
總結final的內存分配方式:
1.修飾變量:
通常情況下,final變量有3個地方可以賦值:直接賦值,構造函數中,或是初始化塊中。
(1)初始化:
由于在java的語法中,聲明和初始化是聯系在一起的,
也就是說:如果你不顯示的初始化一個變量,系統會自動用一個默認值來對其進行初始化。(如int就是0)
對于final變量,在聲明時,如果你沒有賦值,系統默認這是一個空白域,在構造函數進行初始化,
如果是靜態的,則可以在初始化塊。
(2)內存:
常量(final變量)和非final變量的處理方式是不一樣的。
每一個類型在用到一個常量時,都會復制一份到自己的常量池中。
常量也像類變量(static)一樣保存在方法區,只不過他保存在常量池。
(可能是,類變量被所有實例共享,而常量池是每個實例獨有的。)
2.修飾方法:
保存在方法區,并且可以被函數代碼直接替換,而不用等到執行時再決定具體是那個函數。
3.修飾類:
保存在方法區。