泛型類型
泛型類型是通過類型參數(shù)化的泛型類或接口，修改以下Box類以演示此概念。
一個(gè)簡(jiǎn)單的Box類
首先檢查一個(gè)對(duì)任何類型的對(duì)象進(jìn)行操作的非泛型Box類，它只需要提供兩個(gè)方法：set，它將一個(gè)對(duì)象添加到box中，get，它將檢索它：
public class Box {
private Object object;
public void set(Object object) { this.object = object; }
public Object get() { return object; }
}
由于它的方法接受或返回一個(gè)Object，所以你可以自由地傳入任何你想要的東西，前提是它不是一種原始類型，無法在編譯時(shí)沒有辦法驗(yàn)證如何使用該類，代碼的一部分可能會(huì)在box中放置一個(gè)Integer并期望從中獲取Integer，而代碼的另一部分可能會(huì)錯(cuò)誤地傳入String，從而導(dǎo)致運(yùn)行時(shí)錯(cuò)誤。
Box類的泛型版本
泛型類使用以下格式定義：
class name { /* ... */ }
由尖括號(hào)（<>）分隔的類型參數(shù)部分跟在類名后面，它指定類型參數(shù)（也稱為類型變量）T1, T2, ...和Tn。
要更新Box類以使用泛型，可以通過將代碼“public class Box”更改為“public class Box ”來創(chuàng)建泛型類型聲明，這引入了類型變量T，可以在類中的任何位置使用。
通過此更改，Box類變?yōu)椋?/p>
/**
* Generic version of the Box class.
* @param the type of the value being boxed
*/
public class Box {
// T stands for "Type"
private T t;
public void set(T t) { this.t = t; }
public T get() { return t; }
}
如你所見，所有出現(xiàn)的Object都被T替換，類型變量可以是你指定的任何非基本類型：任何類類型、任何接口類型、任何數(shù)組類型，甚至是其他類型變量。
可以應(yīng)用相同的技術(shù)來創(chuàng)建泛型接口。
類型參數(shù)命名約定
按照慣例，類型參數(shù)名稱是單個(gè)大寫字母，這與你已經(jīng)了解的變量命名約定形成鮮明對(duì)比，并且有充分的理由：如果沒有這種約定，就很難區(qū)分類型變量和普通類或接口名稱。
最常用的類型參數(shù)名稱是：
E — 元素（Java集合框架廣泛使用）
K — 鍵
N — 數(shù)
T — 類型
V — 值
S、U、V等 — 第二、第三、第四種類型
你將在整個(gè)Java SE API和本課程的其余部分中看到這些名稱。
調(diào)用和實(shí)例化泛型類型
要從代碼中引用泛型Box類，必須執(zhí)行泛型類型調(diào)用，它將T替換為某些具體值，例如Integer：
Box integerBox;
你可以將泛型類型調(diào)用視為與普通方法調(diào)用類似，但不是將參數(shù)傳遞給方法，而是將類型參數(shù)（在本例中為Integer）傳遞給Box類本身。
類型參數(shù)和類型參數(shù)術(shù)語：許多開發(fā)人員互換地使用術(shù)語“類型參數(shù)”和“類型實(shí)參”，但這些術(shù)語并不相同，編碼時(shí)，提供類型實(shí)參以創(chuàng)建參數(shù)化類型，因此，Foo中的T是類型參數(shù)，而Foo f中的String是類型實(shí)參，本課程在使用這些術(shù)語時(shí)會(huì)遵循此定義。
與任何其他變量聲明一樣，此代碼實(shí)際上并不創(chuàng)建新的Box對(duì)象，它只是聲明integerBox將保存對(duì)“Box of Integer”的引用，這就是Box的讀取方式。
泛型類型的調(diào)用通常稱為參數(shù)化類型。
要實(shí)例化此類，請(qǐng)像往常一樣使用new關(guān)鍵字，但在類名和括號(hào)之間放置：
Box integerBox = new Box();
菱形
在Java SE 7及更高版本中，只要編譯器可以從上下文中確定或推斷類型參數(shù)，就可以用一組空的類型參數(shù)（<>）替換調(diào)用泛型類的構(gòu)造函數(shù)所需的類型參數(shù)，這對(duì)尖括號(hào)<>非正式地稱為菱形，例如，你可以使用以下語句創(chuàng)建Box的實(shí)例：
Box integerBox = new Box<>();
有關(guān)菱形表示法和類型推斷的更多信息，請(qǐng)參閱類型推斷。
多個(gè)類型參數(shù)
如前所述，泛型類可以有多個(gè)類型參數(shù)，例如，OrderedPair泛型類，它實(shí)現(xiàn)了Pair泛型接口：
public interface Pair {
public K getKey();
public V getValue();
}
public class OrderedPair implements Pair {
private K key;
private V value;
public OrderedPair(K key, V value) {
this.key = key;
this.value = value;
}
public K getKey() { return key; }
public V getValue() { return value; }
}
以下語句創(chuàng)建OrderedPair類的兩個(gè)實(shí)例：
Pair p1 = new OrderedPair("Even", 8);
Pair p2 = new OrderedPair("hello", "world");
代碼new OrderedPair，將K實(shí)例化為String，將V實(shí)例化為Integer，因此，OrderedPair的構(gòu)造函數(shù)的參數(shù)類型分別是String和Integer，由于自動(dòng)裝箱，將String和int傳遞給類是有效的。
正如菱形中所提到的，因?yàn)镴ava編譯器可以從聲明OrderedPair推斷出K和V類型，所以可以使用菱形表示法縮短這些語句：
OrderedPair p1 = new OrderedPair<>("Even", 8);
OrderedPair p2 = new OrderedPair<>("hello", "world");
要?jiǎng)?chuàng)建泛型接口，請(qǐng)遵循與創(chuàng)建泛型類相同的約定。
參數(shù)化類型
你還可以使用參數(shù)化類型（即List）替換類型參數(shù)（即K或V），例如，使用OrderedPair示例：
OrderedPair> p = new OrderedPair<>("primes", new Box(...));
上一篇：為什么要使用泛型？
下一篇：泛型原始類型
文章版權(quán)歸作者所有，未經(jīng)允許請(qǐng)勿轉(zhuǎn)載,若此文章存在違規(guī)行為，您可以聯(lián)系管理員刪除。
轉(zhuǎn)載請(qǐng)注明本文地址：http://m.specialneedsforspecialkids.com/yun/72926.html
