Java 干貨之深入理解內(nèi)部類

可以將一個類定義在另一個類或方法中,這樣的類叫做內(nèi)部類 --《Thinking in Java》

說起內(nèi)部類,大家并不陌生,并且會經(jīng)常在實(shí)例化容器的時候使用到它。但是內(nèi)部類的具體細(xì)節(jié)語法,原理以及實(shí)現(xiàn)是什么樣的可以不少人都還挺陌生,這里作一篇總結(jié),希望通過這篇總結(jié)提高對內(nèi)部類的認(rèn)識。


內(nèi)部類是什么?

由文章開頭可知,內(nèi)部類的定義為:定義在另一個類或方法中的類。而根據(jù)使用場景的不同,內(nèi)部類還可以分為四種:成員內(nèi)部類,局部內(nèi)部類,匿名內(nèi)部類和靜態(tài)內(nèi)部類。每一種的特性和注意事項(xiàng)都不同,下面我們一一說明。

成員內(nèi)部類

顧名思義,成員內(nèi)部類是定義在類內(nèi)部,作為類的成員的類。如下:

public class Outer {
    
   public class Inner{
       
   }

}

特點(diǎn)如下:

  1. 成員內(nèi)部類可以被權(quán)限修飾符(eg. public,private等)所修飾
  2. 成員內(nèi)部類可以訪問外部類的所有成員,(包括private)成員
  3. 成員內(nèi)部類是默認(rèn)包含了一個指向外部類對象的引用
  4. 如同使用this一樣,當(dāng)成員名或方法名發(fā)生覆蓋時,可以使用外部類的名字加.this指定訪問外部類成員。如:Outer.this.name
  5. 成員內(nèi)部類不可以定義static成員
  6. 成員內(nèi)部類創(chuàng)建語法:
Outer outer=new Outer();
Outer.Inner inner=outer.new Inner();

局部內(nèi)部類

局部內(nèi)部類是定義在方法或者作用域中類,它和成員內(nèi)部類的區(qū)別僅在于訪問權(quán)限的不同。

public class Outer{
    public void test(){
        class Inner{
            
        }
    }
}

特點(diǎn)如下:

  1. 局部內(nèi)部類不能有訪問權(quán)限修飾符

  2. 局部內(nèi)部類不能被定義為static

  3. 局部內(nèi)部類不能定義static成員

  4. 局部內(nèi)部類默認(rèn)包含了外部類對象的引用

  5. 局部內(nèi)部類也可以使用Outer.this語法制定訪問外部類成員

  6. 局部內(nèi)部類想要使用方法或域中的變量,該變量必須是final

    在JDK1.8 以后,沒有final修飾,effectively final的即可。什么意思呢?就是沒有final修飾,但是如果加上final編譯器也不會報錯即可。

匿名內(nèi)部類

匿名內(nèi)部類是與繼承合并在一起的沒有名字的內(nèi)部類

public class Outer{
    public List<String> list=new ArrayList<String>(){
        {
            add("test");
        }
    };
}

這是我們平時最常用的語法。
匿名內(nèi)部類的特點(diǎn)如下:

  1. 匿名內(nèi)部類使用單獨(dú)的塊表示初始化塊{}
  2. 匿名內(nèi)部類想要使用方法或域中的變量,該變量必須是final修飾的,JDK1.8之后effectively final也可以
  3. 匿名內(nèi)部類默認(rèn)包含了外部類對象的引用
  4. 匿名內(nèi)部類表示繼承所依賴的類

嵌套類

嵌套類是用static修飾的成員內(nèi)部類

public class Outer {
    
   public static class Inner{
       
   }

}

特點(diǎn)如下:

  1. 嵌套類是四種類中唯一一個不包含對外部類對象的引用的內(nèi)部類

  2. 嵌套類可以定義static成員

  3. 嵌套類能訪問外部類任何靜態(tài)數(shù)據(jù)成員與方法。

    構(gòu)造函數(shù)可以看作靜態(tài)方法,因此可以訪問。


為什么要有內(nèi)部類?

從上面可以看出,內(nèi)部類的特性和類方差不多,但是內(nèi)部類有許多繁瑣的細(xì)節(jié)語法。既然內(nèi)部類有這么多的細(xì)節(jié)要注意,那為什么Java還要支持內(nèi)部類呢?

1. 完善多重繼承
  1. 在早期C++作為面向?qū)ο缶幊陶Z言的時候,最難處理的也就是多重繼承,多重繼承對于代碼耦合度,代碼使用人員的理解來說,并不怎么友好,并且還要比較出名的死亡菱形的多重繼承問題。因此Java并不支持多繼承。
  2. 后來,Java設(shè)計者發(fā)現(xiàn),沒有多繼承,一些代碼友好的設(shè)計與編程問題變得十分難以解決。于是便產(chǎn)生了內(nèi)部類。內(nèi)部類具有:隱式包含外部類對象并且能夠與之通信的特點(diǎn),完美的解決了多重繼承的問題。
2. 解決多次實(shí)現(xiàn)/繼承問題
  1. 有時候在一個類中,需要多次通過不同的方式實(shí)現(xiàn)同一個接口,如果沒有內(nèi)部類,必須多次定義不同數(shù)量的類,但是使用內(nèi)部類可以很好的解決這個問題,每個內(nèi)部類都可以實(shí)現(xiàn)同一個接口,即實(shí)現(xiàn)了代碼的封裝,又實(shí)現(xiàn)了同一接口不同的實(shí)現(xiàn)。

  2. 內(nèi)部類可以將組合的實(shí)現(xiàn)封裝在內(nèi)部中。


為什么內(nèi)部類的語法這么繁雜

這一點(diǎn)是本文的重點(diǎn)。內(nèi)部類語法之所以這么繁雜,是因?yàn)樗切聰?shù)據(jù)類型加語法糖的結(jié)合。想要理解內(nèi)部類,還得從本質(zhì)上出發(fā).

內(nèi)部類根據(jù)應(yīng)用場景的不同分為4種。其應(yīng)用場景完全可以和類方法對比起來。
下面我們通過類方法對比的模式一一解答為什么內(nèi)部類會有這樣的特點(diǎn)

成員內(nèi)部類——>成員方法

成員內(nèi)部類的設(shè)計完全和成員方法一樣。
調(diào)用成員方法:outer.getName()
新建內(nèi)部類對象:outer.new Inner()
它們都是要依賴對象而被調(diào)用。
正如《Thinking in Java》所說,outer.getName()正真的形似是Outer.getName(outer),也就是將調(diào)用對象作為參數(shù)傳遞給方法。
新建一個內(nèi)部類也是這樣:Outer.new Inner(outer)

下面,我們用實(shí)際情況證明:
新建一個包含內(nèi)部類的類:

public class Outer {

    private int m = 1;

    public class Inner {
    
        private void test() {
            //訪問外部類private成員
            System.out.println(m);
        }
    }
}

編譯,會發(fā)現(xiàn)會在編譯目標(biāo)目錄生成兩個.class文件:Outer.classOuter$Inner.class。

PS:不知道為什么Java總是和過不去,就連變量命名規(guī)則都要比C++多一個能由組成 :)

Outer$Inner.class放入IDEA中打開,會自動反編譯,查看結(jié)果:

public class Outer$Inner {
    public Outer$Inner(Outer this$0) {
        this.this$0 = this$0;
    }

    private void test() {
        System.out.println(Outer.access$000(this.this$0));
    }
}

可以看見,編譯器已經(jīng)自動生成了一個默認(rèn)構(gòu)造器,這個默認(rèn)構(gòu)造器是一個帶有外部類型引用的參數(shù)構(gòu)造器。

可以看到外部類成員對象的引用:Outer是由final修飾的。

因此:

  1. 成員內(nèi)部類作為類級成員,因此能被訪問修飾符所修飾
  2. 成員內(nèi)部類中包含創(chuàng)建內(nèi)部類時對外部類對象的引用,所以成員內(nèi)部類能訪問外部類的所有成員。
  3. 語法規(guī)定:因?yàn)樗鳛橥獠款惖囊徊糠殖蓡T,所以即使private的對象,內(nèi)部類也能訪問。。通過Outer.access$ 指令訪問
  4. 如同非靜態(tài)方法不能訪問靜態(tài)成員一樣,非靜態(tài)內(nèi)部類也被設(shè)計的不能擁有靜態(tài)變量,因此內(nèi)部類不能定義static對象和方法。

但是可以定義static final變量,這并不沖突,因?yàn)樗x的final字段必須是編譯時確定的,而且在編譯類時會將對應(yīng)的變量替換為具體的值,所以在JVM看來,并沒有訪問內(nèi)部類。

局部內(nèi)部類——> 局部代碼塊

局部內(nèi)部類可以和局部代碼塊相理解。它最大的特點(diǎn)就是只能訪問外部的final變量。
先別著急問為什么。
定義一個局部內(nèi)部類:

public class Outer {

    private void test() {

        int  m= 3;

        class Inner {

            private void print() {
                System.out.println(m);
            }
        }
    }

}

編譯,發(fā)現(xiàn)生成兩個.class文件Outer.classOuter$1Inner.class
Outer$1Inner.class放入IDEA中反編譯:

class Outer$1Inner {
    Outer$1Inner(Outer this$0, int var2) {
        this.this$0 = this$0;
        this.val$m = var2;
    }

    private void print() {
        System.out.println(this.val$m);
    }
}

可以看見,編譯器自動生成了帶有兩個參數(shù)的默認(rèn)構(gòu)造器。
看到這里,也許應(yīng)該能明了:我們將代碼轉(zhuǎn)換下:

public class Outer {

    private void test() {

        int  m= 3;

        Inner inner=new Outer$1Inner(this,m);
        
        inner.print();
        }
    }

}

也就是在Inner中,其實(shí)是將m的值,拷貝到內(nèi)部類中的。print()方法只是輸出了m,如果我們寫出了這樣的代碼:

    private void test() {

        int  m= 3;

        class Inner {

            private void print() {
               m=4;
            }
        }
        
       System.out.println(m);  
    }

在我們看來,m的值應(yīng)該被修改為4,但是它真正的效果是:

private void test(){
    int m = 3;
    
    print(m);
    
    System.out.println(m);
}

private void print(int m){
    m=4;
}

m被作為參數(shù)拷貝進(jìn)了方法中。因此修改它的值其實(shí)沒有任何效果,所以為了不讓程序員隨意修改m而卻沒達(dá)到任何效果而迷惑,m必須被final修飾。

繞了這么大一圈,為什么編譯器要生成這樣的效果呢?
其實(shí),了解閉包的概念的人應(yīng)該都知道原因。而Java中各種詭異的語法一般都是由生命周期帶來的影響。上面的程序中,m是一個局部變量,它被定義在棧上,而new Outer$1Inner(this,m);所生成的對象,是定義在堆上的。如果不將m作為成員變量拷貝進(jìn)對象中,那么離開m的作用域,Inner對象所指向的便是一個無效的地址。因此,編譯器會自動將局部類所使用的所有參數(shù)自動生成成員。

為什么其他語言沒有這種現(xiàn)象呢?
這又回到了一個經(jīng)典的問題上:Java是值傳遞還是引用傳遞。由于Java always pass-by-value,對于真正的引用,Java是無法傳遞過去的。而上面的問題核心就在與m如果被改變了,那么其它的m的副本是無法感知到的。而其他語言都通過其他的途徑解決了這個問題。
對于C++就是一個指針問題。

理解了真正的原因,便也能知道什么時候需要final,什么時候不需要final了。

public class Outer {

    private void test() {
    
    
        class Inner {
        int m=3;
            private void print() {
            
                System.out.println(m);//作為參數(shù)傳遞,本身都已經(jīng) pass-by-value。不用final
                
                int c=m+1; //直接使用m,需要加final
                
            }
        }
    }

}

而在Java 8 中,已經(jīng)放寬政策,允許是effectively final的變量,實(shí)際上,就是編譯器在編譯的過程中,幫你加上final而已。而你應(yīng)該保證允許編譯器加上final后,程序不報錯。

  1. 局部內(nèi)部類還有個特點(diǎn)就是不能有權(quán)限修飾符。就好像局部變量不能有訪問修飾符一樣

  2. 由上面可以看到,外部對象同樣是被傳入局部類中,因此局部類可以訪問外部對象

嵌套類——>靜態(tài)方法

嵌套類沒什么好說的,就好像靜態(tài)方法一樣,他可以被直接訪問,他也能定義靜態(tài)變量。同時不能訪問非靜態(tài)成員。
值得注意的是《Think in Java》中說過,可以將構(gòu)造函數(shù)看作為靜態(tài)方法,因此嵌套類可以訪問外部類的構(gòu)造方法。

匿名類——>局部方法+繼承的語法糖

匿名類可以看作是對前3種類的再次擴(kuò)展。具體來說匿名類根據(jù)應(yīng)用場景可以看作:

  • 成員內(nèi)部類+繼承
  • 局部內(nèi)部類+繼承
  • 嵌套內(nèi)部類+繼承

匿名類語法為:

new 繼承類名(){
  
  //Override 重載的方法    
    
}

返回的結(jié)果會向上轉(zhuǎn)型為繼承類。

聲明一個匿名類:

public class Outer {

    private  List<String> list=new ArrayList<String>(){
        {
            add("test");
        }
    };

}

這便是一個經(jīng)典的匿名類用法。
同樣編譯上面代碼會看到生成了兩個.class文件Outer.class,Outer$1.class
Outer$1.class放入IDEA中反編譯:

class Outer$1 extends ArrayList<String> {
    Outer$1(Outer this$0) {
        this.this$0 = this$0;
        this.add("1");
    }
}

可以看到匿名類的完整語法便是繼承+內(nèi)部類。
由于匿名類可以申明為成員變量,局部變量,靜態(tài)成員變量,因此它的組合便是幾種內(nèi)部類加繼承的語法糖,這里不一一證明。
在這里值得注意的是匿名類由于沒有類名,因此不能通過語法糖像正常的類一樣聲明構(gòu)造函數(shù),但是編譯器可以識別{},并在編譯的時候?qū)⒋a放入構(gòu)造函數(shù)中。

{}可以有多個,會在生成的構(gòu)造函數(shù)中按順序執(zhí)行。


怎么正確的使用內(nèi)部類

在第二小節(jié)中,我們已經(jīng)討論過內(nèi)部類的應(yīng)用場景,但是如何優(yōu)雅,并在正確的應(yīng)用場景使用它呢?本小節(jié)將會詳細(xì)討論。

1.注意內(nèi)存泄露

《Effective Java》第二十四小節(jié)明確提出過。優(yōu)先使用靜態(tài)內(nèi)部類。這是為什么呢?
由上面的分析我們可以知道,除了嵌套類,其他的內(nèi)部類都隱式包含了外部類對象。這便是Java內(nèi)存泄露的源頭。看代碼:

定義Outer:

public class Outer{

    public  List<String> getList(String item) {

        return new ArrayList<String>() {
            {
                add(item);
            }
        };
    }
}

使用Outer:

public class Test{

   public static List<String> getOutersList(){
   
    Outer outer=new Outer();
    //do something
    List<String> list=outer.getList("test");
   
    return list;    
   }
   
   public static void main(String[] args){
       List<String> list=getOutersList();
       
      
      //do something with list
   }
   
}

相信這樣的代碼一定有同學(xué)寫出來,這涉及到一個習(xí)慣的問題:

不涉及到類成員方法和成員變量的方法,最好定義為static

我們先研究上面的代碼,最大的問題便是帶來的內(nèi)存泄露:
在使用過程中,我們定義Outer對象完成一系列的動作

  • 使用outer得到了一個ArraList對象
  • ArrayList作為結(jié)果返回出去。

正常來說,在getOutersList方法中,我們new出來了兩個對象:outerlist,而在離開此方法時,我們只將list對象的引用傳遞出去,outer的引用隨著方法棧的退出而被銷毀。按道理來說,outer對象此時應(yīng)該沒有作用了,也應(yīng)該在下一次內(nèi)存回收中被銷毀。

然而,事實(shí)并不是這樣。按上面所說的,新建的list對象是默認(rèn)包含對outer對象的引用的,因此只要list不被銷毀,outer對象將會一直存在,然而我們并不需要outer對象,這便是內(nèi)存泄露。

怎么避免這種情況呢?

很簡單:不涉及到類成員方法和成員變量的方法,最好定義為static

public class Outer{

    public static List<String> getList(String item) {

        return new ArrayList<String>() {
            {
                add(item);
            }
        };
    }
}

這樣定義出來的類便是嵌套類+繼承,并不包含對外部類的引用。

2.應(yīng)用于只實(shí)現(xiàn)一個接口的實(shí)現(xiàn)類

  • 優(yōu)雅工廠方法模式

我們可以看到,在工廠方法模式中,每個實(shí)現(xiàn)都會需要實(shí)現(xiàn)一個Fractory來實(shí)現(xiàn)產(chǎn)生對象的接口,而這樣接口其實(shí)和原本的類關(guān)聯(lián)性很大的,因此我們可以將Fractory定義在具體的類中,作為內(nèi)部類存在

  • 簡單的實(shí)現(xiàn)接口
       new Thread(new Runnable() {
           @Override
           public void run() {
               System.out.println("test");
           }
       }

       ).start();
    }

盡量不要直接使用Thread,這里只做演示使用
Java 8 的話建議使用lambda代替此類應(yīng)用

  • 同時實(shí)現(xiàn)多個接口
public class imple{

    public static Eat getDogEat(){
        return new EatDog();
    }

    public static Eat getCatEat(){
        return new EatCat();
    }



    private static class EatDog implements Eat {
        @Override
        public void eat() {
            System.out.println("dog eat");
        }
    }

    private static class EatCat implements Eat{
        @Override
        public void eat() {
            System.out.println("cat eat");
        }
    }
}

3.優(yōu)雅的單例類

public class Imple {

    public static Imple getInstance(){
        return ImpleHolder.INSTANCE;
    }


    private static class ImpleHolder{
        private static final Imple INSTANCE=new Imple();
    }
}

4.反序列化JSON接受的JavaBean
有時候需要反序列化嵌套JSON

{
    "student":{
        "name":"",
        "age":""
    }
}

類似這種。我們可以直接定義嵌套類進(jìn)行反序列化

public JsonStr{
    
    private Student student;
    
    public static Student{
        private String name;
        private String age;
        
        //getter & setter
    }

    //getter & setter
}

但是注意,這里應(yīng)該使用嵌套類,因?yàn)槲覀儾恍枰屯獠款愡M(jìn)行數(shù)據(jù)交換。

核心思想:

  • 嵌套類能夠訪問外部類的構(gòu)造函數(shù)
  • 將第一次訪問內(nèi)部類放在方法中,這樣只有調(diào)用這個方法的時候才會第一次訪問內(nèi)部類,實(shí)現(xiàn)了懶加載

內(nèi)部類還有很多用法,這里不一一列舉。


總結(jié)

內(nèi)部類的理解可以按照方法來理解,但是內(nèi)部類很多特性都必須剝開語法糖和明白為什么需要這么做才能完全理解,明白內(nèi)部類的所有特性才能更好使用內(nèi)部類,在內(nèi)部類的使用過程中,一定記住:能使用嵌套類就使用嵌套類,如果內(nèi)部類需要和外部類聯(lián)系,才使用內(nèi)部類。最后不涉及到類成員方法和成員變量的方法,最好定義為static可以防止內(nèi)部類內(nèi)存泄露。

尊重勞動成果,轉(zhuǎn)載請標(biāo)注出處。

參考文章:
Java 中引入內(nèi)部類的意義?
成員內(nèi)部類里面為什么不能有靜態(tài)成員和方法?

?著作權(quán)歸作者所有,轉(zhuǎn)載或內(nèi)容合作請聯(lián)系作者
【社區(qū)內(nèi)容提示】社區(qū)部分內(nèi)容疑似由AI輔助生成,瀏覽時請結(jié)合常識與多方信息審慎甄別。
平臺聲明:文章內(nèi)容(如有圖片或視頻亦包括在內(nèi))由作者上傳并發(fā)布,文章內(nèi)容僅代表作者本人觀點(diǎn),簡書系信息發(fā)布平臺,僅提供信息存儲服務(wù)。

相關(guān)閱讀更多精彩內(nèi)容

友情鏈接更多精彩內(nèi)容