隨筆 - 7  文章 - 5  trackbacks - 0
          <2006年11月>
          2930311234
          567891011
          12131415161718
          19202122232425
          262728293012
          3456789

          目前在研究生階段,主要是做基于J2EE的web services

          常用鏈接

          留言簿(2)

          隨筆分類

          文章分類

          最新隨筆

          最新評論

          ????? 最近的程序中總是出現(xiàn)寫奇怪的問題....于是乎就查了一點(diǎn)相關(guān)的資料....找到了這樣一片相關(guān)的文章....感覺收獲挺多了.....??????分享分享.......
          ??
          ????? 關(guān)于Java 初始化,有多文章都用了很大篇幅的介紹。經(jīng)典的<<Thinking in java>>更是用了專門的一章來介紹Java初始化。但在大量有代碼實(shí)例后面,感覺上仍然沒有真正深入到初始化的本質(zhì)。

            本文以作者對JVM的理解和自己的經(jīng)驗(yàn),對Java的初始化做一個(gè)比深入的說明,由于作者有水平限制,以及JDK各實(shí)現(xiàn)版本的變化,可能仍然有不少錯(cuò)誤和缺點(diǎn)。歡迎行家高手賜教。

            要深入了解Java初始化,我們無法知道從程序流程上知道JVM是按什么順序來執(zhí)行的。了解JVM的執(zhí)行機(jī)制和堆棧跟蹤是有效的手段。可惜的是,到目前為止。JDK1。4和JDK1。5在javap功能上卻仍然存在著BUG。所以有些過程我無法用實(shí)際的結(jié)果向你證明兩種相反的情況。

            <<Thinking in java>>(第三版)在第四章一開始的時(shí)候,這樣來描述Java的初始化工作:

            以下譯文原文:

            可以這樣認(rèn)為,每個(gè)類都有一個(gè)名為Initialize()的方法,這個(gè)名字就暗示了它得在使用之前調(diào)用,不幸的是,這么做的話,用戶就得記住要調(diào)用這個(gè)方法,java類庫的設(shè)計(jì)者們可以通過一種被稱為構(gòu)造函數(shù)的特殊方法,來保證每個(gè)對象都能得到被始化.如果類有構(gòu)造函數(shù),那么java就會(huì)在對象剛剛創(chuàng)建,用戶還來不及得到的時(shí)候,自動(dòng)調(diào)用那個(gè)構(gòu)造函數(shù),這樣初始化就有保障了。

            我不知道原作者的描述和譯者的理解之間有多大的差異,結(jié)合全章,我沒有發(fā)現(xiàn)兩個(gè)最關(guān)鍵的字"<clinit>"和"<init>"。至少說明原作者和譯者并沒有真正說明JVM在初始化時(shí)做了什么,或者說并不了解JVM的初始化內(nèi)幕,要不然明明有這兩個(gè)方法,卻為什么要認(rèn)為有一個(gè)事實(shí)上并不存在的"Initialize()"方法呢?

            "<clinit>"和"<init>"方法在哪里?這兩個(gè)方法是實(shí)際存在而你又找不到的方法,也許正是這樣才使得一些大師都犯暈。加上jdk實(shí)現(xiàn)上的一些BUG,如果沒有深入了解,真的讓人摸不著北。

            現(xiàn)在科學(xué)體系有一個(gè)奇怪的現(xiàn)象,那么龐大的體系最初都是建立在一個(gè)假設(shè)的基礎(chǔ)是,假設(shè)1是正確的,由此推導(dǎo)出2,再繼續(xù)推導(dǎo)出10000000000。可惜的是太多的人根本不在乎2-100000000000這樣的體系都是建立在假設(shè)1是正確的基礎(chǔ)上的。我并不會(huì)用“可以這樣認(rèn)為”這樣的假設(shè),我要確實(shí)證明"<clinit>"和"<init>"方法是真真實(shí)實(shí)的存在的:

           package debug;
           public class MyTest{
            static int i = 100/0;
            public static void main(String[] args){
             Ssytem.out.println("Hello,World!");
            }
           }
          

            執(zhí)行一下看看,這是jdk1.5的輸出:

          java.lang.ExceptionInInitializerError
          Caused by: java.lang.ArithmeticException: / by zero
           at debug.MyTest.(Test.java:3)
          Exception in thread "main" 
          

            請注意,和其它方法調(diào)用時(shí)產(chǎn)生的異常一樣,異常被定位于debug.MyTest的<clinit>.

            再來看:

          package debug;
          public class Test {
            Test(){
                int i = 100 / 0;
            }
            public static void main(String[] args) {
              new Test();
            }
          }
          jdk1.5輸入:
          Exception in thread "main" java.lang.ArithmeticException: / by zero at debug.Test.<init>(Test.java:4) at debug.Test.main(Test.java:7)
          JVM并沒有把異常定位在Test()構(gòu)造方法中,而是在debug.Test.<init>。

            當(dāng)我們看到了這兩個(gè)方法以后,我們再來詳細(xì)討論這兩個(gè)“內(nèi)置初始化方法”(我并不喜歡生造一些

            非標(biāo)準(zhǔn)的術(shù)語,但我確實(shí)不知道如何規(guī)范地稱呼他們)。

            內(nèi)置初始化方法是JVM在內(nèi)部專門用于初始化的特有方法,而不是提供給程序員調(diào)用的方法,事實(shí)上“<>”這樣的語法在源程序中你連編譯都無法通過。這就說明,初始化是由JVM控制而不是讓程序員來控制的。

          類初始化方法:<clinit>

            我沒有從任何地方了解到<clinit>的cl是不是class的簡寫,但這個(gè)方法確實(shí)是用來對“類”進(jìn)行初

            始化的。換句話說它是用來初始化static上下文的。

            在類裝載(load)時(shí),JVM會(huì)調(diào)用內(nèi)置的<clinit>方法對類成員和靜態(tài)初始化塊進(jìn)行初始化調(diào)用。它們的順序按照源文件的原文順序。

            我們稍微增加兩行static語句:

          package debug;
          public class Test {
            static int x = 0;
            static String s = "123";
            static {
              String s1 = "456";
              if(1==1)
              throw new RuntimeException();
            }
            public static void main(String[] args) {
              new Test();
            }
          }
          

            然后進(jìn)行反編譯:

          javap -c debug.Test
          Compiled from "Test.java"
          public class debug.Test extends java.lang.Object{
          static int x;
          static java.lang.String s;
          public debug.Test();
            Code:
             0:   aload_0
             1:   invokespecial   #1; //Method java/lang/Object."":()V
             4:   return
          public static void main(java.lang.String[]);
            Code:
             0:   new     #2; //class debug/Test
             3:   dup
             4:   invokespecial   #3; //Method "":()V
             7:   pop
             8:   return
          static {};
            Code:
             0:   iconst_0
             1:   putstatic       #4; //Field x:I
             4:   ldc     #5; //String 123
             6:   putstatic       #6; //Field s:Ljava/lang/String;
             9:   ldc     #7; //String 456
             11:  astore_0
             12:  new     #8; //class java/lang/RuntimeException
             15:  dup
             16:  invokespecial   #9; //Method java/lang/RuntimeException."":()V
             19:  athrow
          我們可以看到,類初始化正是按照源文件中定義的原文順序進(jìn)行。先是聲明
            static  int x;
            static  java.lang.String s;

            然后對int x和String s進(jìn)行賦值:

             0:   iconst_0
             1:   putstatic       #4; //Field x:I
             4:   ldc     #5; //String 123
             6:   putstatic       #6; //Field s:Ljava/lang/String;
          

            執(zhí)行初始化塊的String s1 = "456";生成一個(gè)RuntimeException拋

             9:   ldc     #7; //String 456
             11:  astore_0
             12:  new     #8; //class java/lang/RuntimeException
             15:  dup
             16:  invokespecial   #9; //Method java/lang/RuntimeException."":()V
             19:  athrow
          

            要明白的是,"<clinit>"方法不僅是類初始化方法,而且也是接口初始化方法。并不是所以接口

            的屬性都是內(nèi)聯(lián)的,只有直接賦常量值的接口常量才會(huì)內(nèi)聯(lián)。而

            [public static final] double d = Math.random()*100;

            這樣的表達(dá)式是需要計(jì)算的,在接口中就要由"<clinit>"方法來初始化。

          下面我們再來看看實(shí)例初始化方法"<init>"

            "<init>"用于對象創(chuàng)建時(shí)對對象進(jìn)行初始化,當(dāng)在HEAP中創(chuàng)建對象時(shí),一旦在HEAP分配了空間。最先就會(huì)調(diào)用"<init>"方法。這個(gè)方法包括實(shí)例變量的賦值(聲明不在其中)和初始化塊,以及構(gòu)造方法調(diào)用。如果有多個(gè)重載的構(gòu)造方法,每個(gè)構(gòu)造方法都會(huì)有一個(gè)對應(yīng)的"<init>"方法。構(gòu)造方法隱式或顯示調(diào)用父類的構(gòu)造方法前,總是先執(zhí)行實(shí)例變量初始化和初始化塊.同樣,實(shí)例變量和初始化塊的順序也是按源文件的原文順序執(zhí)行,構(gòu)造方法中的代碼在最后執(zhí)行:


          package debug;
          public class Test {
            int x = 0;
            String s = "123";
            {
              String s1 = "456";
              //if(1==1)
              //throw new RuntimeException();
            }
            public Test(){
              String ss = "789";
            }
            public static void main(String[] args) {
              new Test();
            }
          }
          javap -c debug.Test的結(jié)果:
          Compiled from "Test.java"
          public class debug.Test extends java.lang.Object{
          int x;
          java.lang.String s;
          public debug.Test();
            Code:
             0:   aload_0
             1:   invokespecial   #1; //Method java/lang/Object."":()V
             4:   aload_0
             5:   iconst_0
             6:   putfield        #2; //Field x:I
             9:   aload_0
             10:  ldc     #3; //String 123
             12:  putfield        #4; //Field s:Ljava/lang/String;
             15:  ldc     #5; //String 456
             17:  astore_1
             18:  ldc     #6; //String 789
             20:  astore_1
             21:  return
          public static void main(java.lang.String[]);
            Code:
             0:   new     #7; //class debug/Test
             3:   dup
             4:   invokespecial   #8; //Method "":()V
             7:   pop
             8:   return
          }
          

            如果在同一個(gè)類中,一個(gè)構(gòu)造方法調(diào)用了另一個(gè)構(gòu)造方法,那么對應(yīng)的"<init>"方法就會(huì)調(diào)用另一

            個(gè)"<init>",但是實(shí)例變量和初始化塊會(huì)被忽略,否則它們就會(huì)被多次執(zhí)行。

          package debug;
          public class Test {
            String s1 = rt("s1");
            String s2 = "s2";
            
            public Test(){
              s1 = "s1";
            }
            public Test(String s){
              this();
              if(1==1) throw new Runtime();
            }
            String rt(String s){
              return s;
            }
            public static void main(String[] args) {
              new Test("");
            }
          }
          

            反編譯的結(jié)果:

          Compiled from "Test.java"
          public class debug.Test extends java.lang.Object{
          java.lang.String s1;
          java.lang.String s2;
          public debug.Test();
            Code:
             0:   aload_0
             1:   invokespecial   #1; //Method java/lang/Object."":()V
             4:   aload_0
             5:   aload_0
             6:   ldc     #2; //String s1
             8:   invokevirtual   #3; //Method rt:(Ljava/lang/String;)Ljava/lang/String;
             11:  putfield        #4; //Field s1:Ljava/lang/String;
             14:  aload_0
             15:  ldc     #5; //String s2
             17:  putfield        #6; //Field s2:Ljava/lang/String;
             20:  aload_0
             21:  ldc     #2; //String s1
             23:  putfield        #4; //Field s1:Ljava/lang/String;
             26:  return
          public debug.Test(java.lang.String);
            Code:
             0:   aload_0
             1:   invokespecial   #7; //Method "":()V
             4:   new     #8; //class java/lang/RuntimeException
             7:   dup
             8:   invokespecial   #9; //Method java/lang/RuntimeException."":()V
             11:  athrow
          java.lang.String rt(java.lang.String);
            Code:
             0:   aload_1
             1:   areturn
          public static void main(java.lang.String[]);
            Code:
             0:   new     #10; //class debug/Test
             3:   dup
             4:   ldc     #11; //String
             6:   invokespecial   #12; //Method "":(Ljava/lang/String;)V
             9:   pop
             10:  return
          }
          

            我們看到,由于Test(String s)調(diào)用了Test();所以"<init>":(Ljava/lang/String;)V不再對

            實(shí)例變量和初始化塊進(jìn)次初始化:

          public debug.Test(java.lang.String);
            Code:
             0:   aload_0
             1:   invokespecial   #7; //Method "":()V
             4:   new     #8; //class java/lang/RuntimeException
             7:   dup
             8:   invokespecial   #9; //Method java/lang/RuntimeException."":()V
             11:  athrow
          

            而如果兩個(gè)構(gòu)造方法是相互獨(dú)立的,則每個(gè)構(gòu)造方法調(diào)用前都會(huì)執(zhí)行實(shí)例變量和初始化塊的調(diào)用:

          package debug;
          public class Test {
            String s1 = rt("s1");
            String s2 = "s2";
            {
              String s3 = "s3";
            }
            public Test() {
              s1 = "s1";
            }
            public Test(String s) {
              if (1 == 1) 
                throw new RuntimeException();
            }
            String rt(String s) {
              return s;
            }
            public static void main(String[] args) {
              new Test("");
            }
          }
          

            反編譯的結(jié)果:

          Compiled from "Test.java"
          public class debug.Test extends java.lang.Object{
          java.lang.String s1;
          java.lang.String s2;
          public debug.Test();
            Code:
             0:   aload_0
             1:   invokespecial   #1; //Method java/lang/Object."":()V
             4:   aload_0
             5:   aload_0
             6:   ldc     #2; //String s1
             8:   invokevirtual   #3; //Method rt:(Ljava/lang/String;)Ljava/lang/String;
             11:  putfield        #4; //Field s1:Ljava/lang/String;
             14:  aload_0
             15:  ldc     #5; //String s2
             17:  putfield        #6; //Field s2:Ljava/lang/String;
             20:  ldc     #7; //String s3
             22:  astore_1
             23:  aload_0
             24:  ldc     #2; //String s1
             26:  putfield        #4; //Field s1:Ljava/lang/String;
             29:  return
          public debug.Test(java.lang.String);
            Code:
             0:   aload_0
             1:   invokespecial   #1; //Method java/lang/Object."":()V
             4:   aload_0
             5:   aload_0
             6:   ldc     #2; //String s1
             8:   invokevirtual   #3; //Method rt:(Ljava/lang/String;)Ljava/lang/String;
             11:  putfield        #4; //Field s1:Ljava/lang/String;
             14:  aload_0
             15:  ldc     #5; //String s2
             17:  putfield        #6; //Field s2:Ljava/lang/String;
             20:  ldc     #7; //String s3
             22:  astore_2
             23:  new     #8; //class java/lang/RuntimeException
             26:  dup
             27:  invokespecial   #9; //Method java/lang/RuntimeException."":()V
             30:  athrow
          java.lang.String rt(java.lang.String);
            Code:
             0:   aload_1
             1:   areturn
          public static void main(java.lang.String[]);
            Code:
             0:   new     #10; //class debug/Test
             3:   dup
             4:   ldc     #11; //String
             6:   invokespecial   #12; //Method "":(Ljava/lang/String;)V
             9:   pop
             10:  return
          }
          

            明白了上面這些知識,我們來做一個(gè)小測試吧:

          public class Test2 extends Test1{
           {
            System.out.print("1");
           }
           Test2(){
            System.out.print("2");
           }
           static{
            System.out.print("3");
           }
           {
            System.out.print("4");
           }
           public static void main(String[] args) {
            new Test2();
           }
          }
          class Test1 {
           Test1(){
            System.out.print("5"); 
           }
           static{
            System.out.print("6");
           }
          }
          

            試試看能清楚打印的順序嗎?如果沒有new Test2()將打印什么?


          作者:axman 專欄:http://blog.csdn.net/axman/
          posted on 2006-11-05 14:43 Stefanie 閱讀(382) 評論(0)  編輯  收藏 所屬分類: Java

          只有注冊用戶登錄后才能發(fā)表評論。


          網(wǎng)站導(dǎo)航:
           
          主站蜘蛛池模板: 睢宁县| 柏乡县| 青州市| 本溪市| 鲜城| 崇明县| 长宁区| 怀远县| 遵化市| 抚宁县| 多伦县| 石柱| 黄陵县| 大余县| 丹东市| 旬邑县| 丽水市| 库伦旗| 濮阳县| 玛多县| 辽中县| 益阳市| 拉萨市| 宁强县| 尉犁县| 七台河市| 北流市| 昌吉市| 广平县| 杭锦后旗| 韶关市| 长白| 商南县| 墨竹工卡县| 闸北区| 时尚| 老河口市| 敦煌市| 万载县| 土默特右旗| 金昌市|