1. 程式人生 > 實用技巧 >Java集合之泛型類和泛型介面

Java集合之泛型類和泛型介面

目錄

1. 為什麼要有泛型

1.1 不使用泛型的問題

當不使用泛型時,集合中是可以存放任意型別物件的,只要把物件儲存集合後,那麼他們都會被提升為Object型別。當我們在取出每一個物件,並且進行相應的操作,需要進行型別轉換。

觀察下面程式碼:

public static void main(String[] args) {
    Collection coll = new ArrayList();
    coll.add("abc");
    coll.add("def");
    coll.add(5);//由於集合沒有做任何限定,任何型別都可以存放
    Iterator it = coll.iterator();
    while(it.hasNext()){
        //需要列印每個字串的長度,就要把迭代出來的物件轉成String型別
        String str = (String) it.next();
        System.out.println(str.length());
    }
}

程式在執行時發生了問題 java.lang.ClassCastException。為什麼會發生型別轉換異常呢?
由於集合沒有使用泛型,什麼型別的元素都可以儲存,導致取出時強轉引發執行時 ClassCastException。怎麼來解決這個問題呢?
Collection雖然可以儲存各種型別物件,但一般只儲存同一型別物件,例如都是字串物件。因此在JDK5之後,新增了泛型(Generic)語法,讓你在設計API時可以指定類或方法支援泛型,這樣我們使用API的時候也變得更為簡潔,並得到了編譯時期的語法檢查。

1.2 泛型概念

泛型引數化型別,也就是說要操作的資料一開始不確定是什麼型別,在使用的時候,才能確定是什麼型別,把要操作的資料型別指定為一個引數,在使用時傳入具體的型別,實現程式碼的模板化。

//比如ArrayList集合(含有泛型),部分原始碼如下(可以理解為模板)
public class ArrayList<E> {
    public E get(int index) {...}
    public E set(int index, E element) {...}
    public boolean add(E e) {...}
    public E remove(int index) {...}
}

//建立ArrayList集合物件指定型別為String時
List<String> list1 = new ArrayList<>();
//模板程式碼相當於變成如下形式
public class ArrayList<String> {
    public String get(int index) {...}
    public String set(int index, String element) {...}
    public boolean add(String e) {...}
    public String remove(int index) {...}
}
//所以使用list1集合物件,呼叫以上四個方法時,所有E的位置都變為了String


//建立ArrayList集合物件指定型別為Integer時
List<Integer> list2 = new ArrayList<>();
//模板程式碼相當於變成如下形式
public class ArrayList<Person> {
    public Integer get(int index) {...}
    public Integer set(int index, Integer element) {...}
    public boolean add(Integer e) {...}
    public Integer remove(int index) {...}
}
//所以使用list2集合物件,呼叫以上四個方法時,所有E的位置都變為了Integer

jdk1.7之後,泛型的簡化操作:ArrayList flist = new ArrayList<>(); 可省略右側中的資料型別。

1.3 使用泛型的好處

  • 將執行時期的ClassCastException,提前到編譯時期變成了編譯失敗

  • 避免了型別強轉的麻煩。

import java.util.ArrayList;
import java.util.Collection;
import java.util.Iterator;

public class GenericDemo {
    public static void main(String[] args) {
        show02();
    }

    /**
     * 建立集合物件,使用泛型
     * 好處:
     *     1.想使用元素特有的方法,避免了型別轉換的麻煩
     *     2.把執行時異常,提升到編譯時期
     * 弊端:
     *     一旦確定資料型別,就只能儲存該型別資料
     */
    private static void show02() {
        Collection<String> list = new ArrayList<>();
        list.add("abc");
        list.add("def");
        // list.add(5);//當集合明確型別後,存放型別不一致就會編譯報錯
        // 集合已經明確具體存放的元素型別,那麼在使用迭代器的時候,迭代器也同樣會知道具體遍歷元素型別
        Iterator<String> it = list.iterator();
        while(it.hasNext()){
            String str = it.next();
            //當使用Iterator<String>控制元素型別後,就不需要強轉了。獲取到的元素直接就是String型別
            System.out.println(str.length());
        }
    }

    /**
     * 建立集合物件,不使用泛型
     * 好處:
     *     集合的型別預設為Object型別,可以儲存任意的物件
     * 弊端:
     *     不安全,
     *     不能使用元素特有的方法
     */
    private static void show01() {
        ArrayList list = new ArrayList();
        list.add("abc");
        list.add(1);
        //使用迭代器遍歷集合
        Iterator it = list.iterator();
        while(it.hasNext()){
            //取出集合中元素,Object型別
            Object obj = it.next();
            System.out.println(obj);

            /*
               想使用字串特有的方法length
               不能使用,需要向下轉型
               Object obj = "abc";多型
             */
            String s = (String)obj;
            System.out.println(s.length());
        }

    }
}

2. 泛型類

2.1 定義格式:

//其中型別引數,一般用一個大寫字母表示,比如: T,E,K,V
//如果要定義多個泛型,多個型別引數之間用逗號,隔開,例如:public class HashMap<K,V> {...}
許可權修飾符 class 類名<型別形參> {  }

例如,API中的ArrayList集合:

泛型在定義的時候不具體,使用的時候才變得具體。在使用的時候確定泛型的具體資料型別。

public class ArrayList<E>{ 
    public boolean add(E e){ }

    public E get(int index){ }
   	....
}

2.2 使用泛型: 即什麼時候確定泛型。

在建立物件的時候指定型別

例如,ArrayList<String> list = new ArrayList<>();

此時,變數E的值就是String型別,那麼我們的型別就可以理解為:

class ArrayList<String>{ 
     public boolean add(String e){ }

     public String get(int index){  }
     ...
}

再例如,ArrayList<Integer> list = new ArrayList<>();

此時,變數E的值就是Integer型別,那麼我們的型別就可以理解為:

class ArrayList<Integer> { 
     public boolean add(Integer e) { }

     public Integer get(int index) {  }
     ...
}

類、介面上宣告的泛型,在本類、本介面中即代表某種資料型別,可以作為非靜態成員變數的型別、非靜態方法的形參型別、非靜態方法的返回值型別、區域性變數的型別等,但不能用於靜態成員上

自定義泛型類:

public class MyGenericClass<T> {
    // 沒有T型別,在這裡代表 未知的一種資料型別 未來傳遞什麼就是什麼型別
    private T t; // 用於成員變數的資料型別

    public MyGenericClass() {
    }

    public MyGenericClass(T t) { // 用於方法的形參的資料型別
        this.t = t;
    }

    public T getT() { // 用於方法的形參的資料型別
        return t;
    }

    public void setT(T t) {
        this.t = t;
    }
    
    public void test() { // 用於區域性變數的資料型別
        T t;
    }
}

使用:

public class GenericClassDemo {
    public static void main(String[] args) {
        // 建立一個泛型為String的類
        MyGenericClass<String> gc1 = new MyGenericClass<>();
        // 呼叫setT
        gc1.setT("abc");
        // 呼叫getT
        String str = gc1.getT();
        System.out.println(str);
        //建立一個泛型為Integer的類
        MyGenericClass<Integer> gc2 = new MyGenericClass<>();
        gc2.setT(123);
        Integer num = gc2.getT();
        System.out.println(num);
    }
}

注意:

型別實參必須是一個類型別,不能用基本資料型別填充,但可以使用包裝類。

繼承中的使用:

父類:

public class MyGenericFuClass<T> {
    public void print(T t) {
        System.out.println(t);
    }
}
  • 定義子類繼承泛型父類的同時指定泛型的型別
public class MyGenericZiClassA extends MyGenericFuClass<Integer> {
    @Override
    public void print(Integer num) {
        System.out.println(num);
    }
}
public static void main(String[] args) {
    // MyGenericZiClassA類已經沒有泛型了
    MyGenericZiClassA gzA = new MyGenericZiClassA();
    gzA.print(100);
}
  • 定義子類繼承泛型父類,若不指定的父類泛型型別,子類也必須宣告為泛型類,建立物件時指定泛型的型別
public class MyGenericZiClassB<T> extends MyGenericFuClass<T> {
    @Override
    public void print(T t) {
        System.out.println(t);
    }
}
public static void main(String[] args) {
    //建立物件指定泛型型別為String
    MyGenericZiClassB<String> gzB = new MyGenericZiClassB<>();
    gzB.print("abc");
    //gzB.print(100);//錯誤,只能傳遞String型別的引數
    
    //建立物件指定泛型型別為Integer
    MyGenericZiClassB<Integer> gzB2 = new MyGenericZiClassB<>();
    gzB2.print(100);
}

3. 泛型介面

3.1 定義格式:

許可權修飾符 interface 介面名<型別形參> {...}

例如,

public interface MyGenericInterface<T> {
    //抽象方法
    public abstract void show(T t);
}

3.2 使用方式:

1、定義實現類的同時指定泛型介面上的的具體資料型別

public class MyGenericInterfaceImplA implements MyGenericInterface<String> {
    @Override
    public void show(String s) {
        System.out.println(s);
    }
}
public class MyGenericInterfaceDemo1 {
    public static void main(String[] args) {
        MyGenericInterfaceImplA mi = new MyGenericInterfaceImplA();
        // 已指定String型別,只能傳字串
        mi.show("abc");
    }
}

2、定義實現類時,若不指定介面上的泛型的具體資料型別,實現類也必須指定為泛型類,建立物件時,確定泛型的型別

public class MyGenericInterfaceImplB<T> implements MyGenericInterface<T> {
    @Override
    public void show(T t) {
        System.out.println(t);
    }
}
public class MyGenericInterfaceDemo2 {
    public static void main(String[] args) {
        //建立物件指定泛型型別為String
        MyGenericInterfaceImplB<String> mi = new MyGenericInterfaceImplB<>();
        mi.show("abc");

        //建立物件指定泛型型別為Integer
        MyGenericInterfaceImplB<Integer> mi2 = new MyGenericInterfaceImplB<>();
        mi2.show(100);
    }
}

4. 泛型類、泛型介面小結:

  • 語法格式:

    • 在建立泛型類、泛型介面的物件時,為泛型形參指定具體型別

    • 在繼承泛型類或實現泛型介面時,為泛型形參指定具體型別

  • 異常類不能是泛型的

  • 不能使用new E[]。但是可以:E[] array = (E[])new Object[size]; E[] array = (E[])new Object[]{...};等

  • 父類有泛型,子類可以選擇保留泛型也可以選擇指定泛型型別:

    • 子類不保留父類的泛型:按需傳參
      • 沒有型別 擦除
      • 具體型別
    • 子類保留父類的泛型:泛型子類
      • 全部保留
      • 部分保留
    • 結論:子類除了指定或保留父類的泛型,還可以增加自己的泛型(可類推到介面繼承、介面實現)
class Father<T1, T2> {
}
// 子類不保留父類的泛型
// 1)沒有型別 擦除
class Son1 extends Father {// 等價於class Son extends Father<Object,Object>{
}
// 2)具體型別
class Son2 extends Father<Integer, String> {
}
// 子類保留父類的泛型
// 1)全部保留
class Son3<T1, T2> extends Father<T1, T2> {
}
// 2)部分保留
class Son4<T2> extends Father<Integer, T2> {
}

增加自己的泛型:

class Father<T1, T2> {
}
// 子類不保留父類的泛型
// 1)沒有型別 擦除
class Son<A, B> extends Father{//等價於class Son extends Father<Object, Object>{
}
// 2)具體型別
class Son2<A, B> extends Father<Integer, String> {
}
// 子類保留父類的泛型
// 1)全部保留
class Son3<T1, T2, A, B> extends Father<T1, T2> {
}
// 2)部分保留
class Son4<T2, A, B> extends Father<Integer, T2> {
}