※ 引述《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)