Re: [問題] 為什麼存取final欄位不會觸發initializer

看板java作者sbrhsieh (十年一夢)時間11年前 (2014/02/11 00:12)推噓6(6推 0噓 1→)

留言7則, 7人參與討論串2/2 (看更多)

※ 引述《NewSpec (新規格)》之銘言： : 標題: [問題] 為什麼存取final欄位不會觸發initializer : 時間: Mon Feb 10 16:22:18 2014 : : : 直接看例子 : : // Test.java : public class Test : { : public static final int CONST = 10; : : static { : System.out.println("initializer in Test"); : } : } : : // Main.java : public class Main : { : public static void main(String[] args){ : System.out.println("Main.main() is called."); : System.out.println(Test.CONST); : } : } : : // Output: : Main.main() is called. : 10 : : 但去掉Test.CONST宣告中的final後, output就成為了: : Main.main() is called. : initializer in Test : 10 : : 雖然說Java語言規格中有說明到: 對類別或界面中的常數的存取不會觸發初始化 : (§12.4.1) : : 但我還是想了解一下為什麼要做這樣的限制 : : 是效能的考量嗎? 多謝 : : : -- : ※ 發信站: 批踢踢實業坊(ptt.cc) : ◆ From: 59.120.134.11 : 推 PsMonkey:不需要執行 static block 不是很好嗎？反正值都確定了 02/10 17:28 : → sbrhsieh:只有 primitive type 與 String type final field 是這樣 02/10 19:59 : → sbrhsieh:其初始值是直接存在 class bytecode 裡。 02/10 20:01 : → NewSpec:got it! 謝謝解惑! 02/10 20:14 : → sbrhsieh:我講得太過粗略，也不十分正確，補個文～～ 02/10 23:35 詳細的故事是 primitive 與 String type 之 static final field 的初始值若是 compile-time constant value：literal 或是可在編譯時求值(evaluate)的 expression etc..，那麼編譯器會把這已知的初始值放在 class bytecode 裡定義該 field 的區段裡。有這個機制後的一個 consequence 是影響到使用這一類的 static final field 的 client code。以你文中的第一個例子來說，Main.java 裡有參考到 Test.CONST，編譯器載入 Test.class 檔後，可以得知 Test class 有個名為 CONST 的 static final field 與其初始值 10，這個初始值是載入 Test class 的 bytecode 後就可以得知，不需要在 runtime 去 resolve Test class，於是編譯器進一步直接在產生 Main class 的 bytecode 時把參考到 Test.CONST 的地方換成常數值 10。這樣子的 main method 與你例子中的 Main::main method 等效: public static void main(String[] args) { System.out.println("Main.main() is called."); System.out.println(10); } 也就是說當你去執行 Main class(的 main method)時，JVM 甚至沒有載入 Test.class，簡單的驗證方式是你可以把 Test.class 檔刪除，你依然可以執行 Main class 且產出相同的 output。 -- ※ 發信站: 批踢踢實業坊(ptt.cc) ◆ From: 218.164.110.144 ※ 編輯: sbrhsieh 來自: 218.164.110.144 (02/11 00:45)