泛型類、泛型方法及泛型應用-馬洋

泛型是Java SE 1.5的新特性，泛型的本質是參數化類型，也就是說所操做的數據類型被指定爲一個參數。這種參數類型能夠用在類、接口和方法的建立中，分別稱爲泛型類、泛型接口、泛型方法。 Java語言引入泛型的好處是安全簡單。

 

在Java SE 1.5以前，沒有泛型的狀況的下，經過對類型Object的引用來實現參數的「任意化」，「任意化」帶來的缺點是要作顯式的強制類型轉換，而這種轉換是要求開發者對實際參數類型能夠預知的狀況下進行的。對於強制類型轉換錯誤的狀況，編譯器可能不提示錯誤，在運行的時候纔出現異常，這是一個安全隱患。

 

泛型的好處是在編譯的時候檢查類型安全，而且全部的強制轉換都是自動和隱式的，以提升代碼的重用率。

 

藍橋軟件學院的馬洋老師講解了泛型的相關內容：

 

規則限制：

1、同一種泛型能夠對應多個版本（由於參數類型是不肯定的），不一樣版本的泛型類實例是不兼容的。

2、泛型的參數類型能夠使用extends語句，例如<T extends superclass>。習慣上稱爲「有界類型」。

3、泛型的參數類型還能夠是通配符類型。例如Class<?> classType = Class.forName("java.lang.String");

泛型還有接口、方法等等，內容不少，須要花費一番功夫才能理解掌握並熟練應用。在此給出我曾經瞭解泛型時候寫出的兩個例子（根據看的印象寫的），實現一樣的功能，一個使用了泛型，一個沒有使用，經過對比，能夠很快學會泛型的應用，學會這個基本上學會了泛型70%的內容。

 

例子一：使用了泛型

 

class Gen<T> {     private T ob; // 定義泛型成員變量       public Gen(T ob) {         this.ob = ob;     }       public T getOb() {         return ob;     }       public void setOb(T ob) {         this.ob = ob;     }       public void showType() {         System.out.println("T的實際類型是: " + ob.getClass().getName());     } }   public class GenDemo {     public static void main(String[] args) {         // 定義泛型類Gen的一個Integer版本         Gen<Integer> intOb = new Gen<Integer>(88);         intOb.showType();         int i = intOb.getOb();         System.out.println("value= " + i);         System.out.println("----------------------------------");         // 定義泛型類Gen的一個String版本         Gen<String> strOb = new Gen<String>("Hello Gen!");         strOb.showType();         String s = strOb.getOb();         System.out.println("value= " + s);     } }

例子二：沒有使用泛型

?

class Gen2 {     private Object ob; // 定義一個通用類型成員       public Gen2(Object ob) {         this.ob = ob;     }       public Object getOb() {         return ob;     }       public void setOb(Object ob) {         this.ob = ob;     }       public void showTyep() {         System.out.println("T的實際類型是: " + ob.getClass().getName());     } }   public class GenDemo2 {     public static void main(String[] args) {         // 定義類Gen2的一個Integer版本         Gen2 intOb = new Gen2(new Integer(88));         intOb.showTyep();         int i = (Integer) intOb.getOb();         System.out.println("value= " + i);         System.out.println("---------------------------------");         // 定義類Gen2的一個String版本         Gen2 strOb = new Gen2("Hello Gen!");         strOb.showTyep();         String s = (String) strOb.getOb();         System.out.println("value= " + s);     } }

運行結果：

兩個例子運行Demo結果是相同的,控制檯輸出結果以下：

T的實際類型是:

java.lang.Integer

value= 88

----------------------------------

T的實際類型是: java.lang.String

value= Hello Gen!

Process finished with exit code 0

看明白這個，之後基本的泛型應用和代碼閱讀就不成問題了。

 

 

泛型介紹：

 

 

一. 自定義泛型接口、泛型類和泛型方法

 

在泛型接口、泛型類和泛型方法的定義過程當中，咱們常見的如T、E、K、V等形式的參數經常使用於表示泛型形參，因爲接收來自外部使用時候傳入的類型實參。那麼對於不一樣傳入的類型實參，生成的相應對象實例的類型是否是同樣的呢？

 

 

 1 public class GenericTest {

 2

 3     public static void main(String[] args) {

 4

 5         Box<String> name = new Box<String>("corn");

 6         Box<Integer> age = new Box<Integer>(712);

 7

 8         System.out.println("name class:" + name.getClass());      // com.qqyumidi.Box

 9         System.out.println("age class:" + age.getClass());        // com.qqyumidi.Box

10         System.out.println(name.getClass() == age.getClass());    // true

11

12     }

13

14 }

 

 

究其緣由，在於Java中的泛型這一律念提出的目的，致使其只是做用於代碼編譯階段，【在編譯過程當中，對於正確檢驗泛型結果後，會將泛型的相關信息擦出，】也就是說，成功編譯事後的class文件中是不包含任何泛型信息的。泛型信息不會進入到運行時階段。

 

對此總結成一句話：泛型類型在邏輯上看以當作是多個不一樣的類型，實際上都是相同的基本類型。

 

 

 

二.類型通配符

 

1.相似於Box<Number>和Box<Integer>是否能夠當作具備父子關係的泛型類型呢？

 

 public class GenericTest {

 2

 3     public static void main(String[] args) {

 4

 5         Box<Number> name = new Box<Number>(99);

 6         Box<Integer> age = new Box<Integer>(712);

 7

 8         getData(name);

 9         

10         //The method getData(Box<Number>) in the type GenericTest is

11         //not applicable for the arguments (Box<Integer>)

12         getData(age);   // 1

13

14     }

15     

16     public static void getData(Box<Number> data){

17         System.out.println("data :" + data.getData());

18     }

19

 

顯然，經過提示信息，咱們知道Box<Number>在邏輯上不能視爲 Box<Integer>的父類。