邊界處的動(dòng)作
正因?yàn)榉盒偷牟脸嚼海盒蛶砹艘粋€(gè)事實(shí)，可以表示沒有任何意義的事物巾表，即可以表示沒有任何意義的事物。
public class ArrayMaker<T> {
private Class<T> kind;
public ArrayMaker(Class<T> kind) {
this.kind = kind;
}
@SuppressWarnings("unchecked")
T[] create(int size) {
return (T[]) Array.newInstance(kind, size);
}
public static void main(String[] args) {
ArrayMaker<String> stringMaker = new ArrayMaker<>(String.class);
String[] stringArray = stringMaker.create(9);
System.out.println(Arrays.toString(stringArray));
}
}
盡管在上面的例子中，kind被存儲(chǔ)為Class<T>吃既，但是擦除也意味著它實(shí)際將被存儲(chǔ)為Class，沒有任何的參數(shù)申鱼。因此當(dāng)我們將它作為參數(shù)傳入Array.newInstance時(shí)，實(shí)際上并沒擁有kind的類型信息匣砖，因此不會(huì)產(chǎn)生具體的結(jié)果，所以必須進(jìn)行轉(zhuǎn)型拂共，并產(chǎn)生一條警告蛇捌。
但是如果創(chuàng)建的是一個(gè)容器而不是數(shù)組俭驮，情況又會(huì)變得不一樣混萝。例子代碼如下。
public class ListMaker<T> {
List<T> create() {
return new ArrayList<T>();
}
public static void main(String[] args) {
ListMaker<String> stringMaker = new ListMaker<>();
List<String> list = stringMaker.create();
}
}
上面的代碼中屯蹦，編譯器不會(huì)提出任何警告脑蠕，盡管在create()內(nèi)部的new ArrayList<T>中的<T>
被移除了——在運(yùn)行時(shí)，這個(gè)類的內(nèi)部沒有任何的<T>晃跺，因此看起來毫無意義。但是將代碼改為返回new ArrayList()，編譯器就會(huì)給出警告二打。
如果在返回list之前，將某些對(duì)象放入其中鸳慈，那么情況就會(huì)像下面一樣潘鲫。
public class FilledListMaker<T> {
List<T> create(T t, int n) {
List<T> result = new ArrayList<>();
for (int i = 0; i < n; i++) {
result.add(t);
}
return result;
}
public static void main(String[] args) {
FilledListMaker<String> stringMaker = new FilledListMaker<>();
List<String> list = stringMaker.create("Hello", 4);
System.out.println(list);
}
}
// Outputs
[Hello, Hello, Hello, Hello]
即是上面代碼中状植，編譯器無法知道create()中的T的任何信息振定，但是它仍舊可以在編譯器確保代碼中放置到result中的對(duì)象具有T類型卑惜，使其適合ArrayList<T>芋浮。因此，即使擦除在方法內(nèi)部或者類內(nèi)部移除了有關(guān)實(shí)際類型的信息，編譯器仍可以依舊確保在方法或者類中使用的類型的內(nèi)部一致性。
因?yàn)椴脸诜椒w中移除了類型信息，所以在運(yùn)行時(shí)的問題就是邊界：即對(duì)象進(jìn)入和離開方法的地點(diǎn)。這正是編譯器在編譯器執(zhí)行類型檢查并插入轉(zhuǎn)型代碼的地點(diǎn)。
字節(jié)碼解析
public class SimpleHolder {
private Object obj;
public Object getObj() {
return obj;
}
public void setObj(Object obj) {
this.obj = obj;
}
public static void main(String[] args) {
SimpleHolder holder = new SimpleHolder();
holder.setObj("Item");
String s = (String) holder.getObj();
}
}
在解析生成的字節(jié)碼中巢块，可以發(fā)現(xiàn)歹鱼。set()和get()方法將直接存儲(chǔ)值和產(chǎn)生值庭敦，而轉(zhuǎn)型調(diào)用是在get的時(shí)候執(zhí)行檢查的疼电。
public class GenericHolder<T> {
private T obj;
public T getObj() {
return obj;
}
public void setObj(T obj) {
this.obj = obj;
}
public static void main(String[] args) {
GenericHolder<String> holder = new GenericHolder<>();
holder.setObj("Item");
String s = holder.getObj();
}
}
字節(jié)碼中沧侥，從get()返回的轉(zhuǎn)型消失了拾因，但是在傳遞給set()的值在編譯器會(huì)接受檢查。
這與之前所產(chǎn)生的字節(jié)碼是相同的，而對(duì)set()的類型進(jìn)行檢查是不需要的，因?yàn)檫@將由編譯器執(zhí)行，而對(duì)get()返回的值進(jìn)行轉(zhuǎn)型仍然是需要的，但這個(gè)與不加泛型執(zhí)行的操作是一樣的。但這將由編譯器自動(dòng)插入，減少了讀取與寫入的代碼噪聲。
由于所產(chǎn)生的get()和set()是相同的，所以在泛型中所有的動(dòng)作都是在邊界處發(fā)生的贾节，對(duì)傳入的值做額外的編譯期檢查，并插入對(duì)傳遞出去的值的轉(zhuǎn)型。要記住的是，邊界就是發(fā)生動(dòng)作的地方。
