java泛型容器Collection怎麼用

先簡單來段例子：

<code>public void testGenerics() {<br>    Collection<Number> numbers = new ArrayList<>();<br>    numbers.add(1); // ok<br>    numbers.add(0.1); // ok<br><br>    Collection<? extends Number> numbers2 = new ArrayList<>();<br>    // don't work, you don't know which subtype 'numbers2' exactly contains<br>    numbers2.add(1); // oops!<br>}<br></code>

這個例子其實有點反人類，估計大部分人（包括我）對這種轉換的第一反應肯定是「當然是對的」（這就掉坑了），說下我的理解：

• Collection：表示這個Collection裡包含的都是Number類型的對象，可以是Integer/Long/Float，因為編譯器可以判斷obj instanceof Number == true;

• Collection：表示這個Collection是Number類型的「某個子類型」的Collection實例，可以是Collection< Integer>/Collection，所以呼叫numbers2.add(1)是不行的，因為編譯器不知道這個numbers2包含的元素到底是Number的哪個子類型，編譯器無法判斷obj instanceof UnknownType的結果；

• Collection，這個E型別是「一個」具體的型，而不能是表示某個parent的多種子型別的佔位符；

再來個例子：

<code>public void testGenerics() {<br>    Collection<Number> numbers = new ArrayList<>();<br>    Collection<Integer> integers = new ArrayList<>();<br>    Collection<? extends Number> numbers2 = new ArrayList<>();<br>    <br>    numbers2 = integers; // ok<br>    numbers2 = numbers; // ok<br>    <br>    // don't work, Collection<Number> != Collection<Integer><br>    numbers = integers; // oops!<br>}<br></code>

Integer明明繼承了Number，那為什麼

• Collection == Collection

#不成立呢，我們再來看個例子：

<code>public void testGenerics() {<br>    Collection<Integer> profits = new ArrayList<>();<br>    <br>    insertSomething(profits); // line 1<br>    <br>    Integer profit = profits.iterator().next(); // oops! crash<br>}<br><br>private void insertSomething(Collection<Number> numbers) {<br>    numbers.add(Long.MAX_VALUE);<br>}<br></code>

如果line 1成立，那麼接下去獲取利潤將會得到個負數，後續的一系列計算都會發聲異常，如果代碼不夠健壯甚至可能會拋出一些意料之外的RuntimeException，導致方法不正常結束甚至程式crash。

所以一句話，Collection != Collection是為了運行期的安全，將可能發生的類型轉換異常在編譯期就解決掉。

現在再來說Collection