<? extends someclass>為什麼可以get而不能set？

void set(? extends someclass);

? extends someclass get(); 

  我們使用萬用字元通常是希望某一個例項可以向上轉型 例:

List<Animal> list = new ArrayList<Dog>() //compile error 

List<? extends Animal> list = new ArrayList<Dog>()  //compile ok

  這些是基本的概念，在這兒我就不再概述為什麼了，我們要講的是為什麼上界限定（？ extends someclass）使用set方法

編譯錯誤，而使用get方法卻是安全的呢？

0）現在假想我們有一個Animal基類和若干子類（這些子類都繼承自Animal）

  讓我們先考慮一下陣列，假如你以如下的形式建立了一個數組.

Animal[] ani = new Dog[](10); //compile ok

  利用了向上轉型的多型思想，這是完全合法的 現在我們設想向裡面新增元素。

ani[0] = new Dog() //compile ok ,runtime ok

ani[1] = new Animal() //compile ok , runtime error

  我們知道現在操縱的是Dog型別的陣列，但是編譯器不知道（只有在執行時，ani引用才和dog陣列建立聯絡），編譯的時候編譯器沒

有理由會拒絕存放Animal型別的物件，因為他本身就是一個Animal型別的引用。

  陣列擁有特殊的保護機制，即使在編譯時期插入了錯誤的物件，執行時也能發現並丟擲這些異常，所以也沒必要為此擔心什麼。

1）帶萬用字元的set方法

現在假設你運用的是泛型，你能不能這樣做呢？ 現在考慮如下例子

 List<? extends Animal> list = new ArrayList<Dog>() //compile ok

這也是向上轉型。

但有一點和陣列不同的是，陣列在編譯階段就確定了他是什麼型別的陣列引用（如上例是Animal型別的陣列引用），而帶泛型的List呢？他只知道他是一個某型別的List引用，只知道這個“某型別”是繼承自Animal的類，具體是Dog，Cat，還是Monkey呢，他一無所知。

你可能會提出疑問，後面不是跟了 new ArrayList<Dog>() 嗎，這不是在告訴他他是一個Dog型別的ArrayList引用嗎？很遺憾，編譯器沒有那麼聰明，這些只會在執行時建立聯絡，然而執行時的型別擦除又讓他們攜帶的資訊煙消雲散，你也就無法期待這些東西在執行時會給你什麼驚喜了。

那如果想向我們剛建好list裡面新增元素呢 如add(new Dog()) 或者add(new Animal())   (和set一樣，在此以add為例更好)

list.add(new Dog())    //compile error

list.add(new Animal()) //compile error

編譯器拒絕一切為其新增元素的操作（傳參操作），為什麼？因為 List<? extends Animal> list 無法確定他具體是什麼類，就像List<Animal>只能為其新增Animal及Animal的子類元素一樣，你一個連具體是什麼類都不知道的引用，編譯器自然認為任何新增都是不安全的。

讓我們再舉個容易理解的例子，我們暫時僅僅只觀察這個式子-------List<? extends Animal> 現在我們假設？是Cat，那麼我們能做些什麼？

我們能向裡面新增 Cat和Cat的子類元素，但是我們不能新增Dog，monkey甚至是Animal元素。

那現在返回來，編譯器無法得知 ？ 具體是什麼型別，那 ？可能是Cat，也可能是Dog 或者其他的繼承自Animal的類，我們又怎麼能確定哪些add是安全的，哪些add是非法的呢？

所以我們自然無法使用add或者set方法。

2) get方法的合理性

我們知道get方法返回一個值，這個值只要是確定的編譯器就可以接受，現在考慮如下例子          List<Cat> test = new ArrayList<Cat>(); 
 test.add(new Cat());
 List<? extends Animal> list = test; 
 Animal ani = list.get(0); //compile ok,runtime ok get方法為什麼合理？ 因為他有一個確定的返回值。 ? extends Animal 的返回值一定是一個Animal型別的 如果你對這句話有異議，那我建議你再回去溫習一下有關多型的知識，這確實是多型的一個體現，不管你？是代表Cat Dog 還是Monkey 這些類的共通點就是他們都是繼承自Animal的，這點編譯器心知肚明，自然也就不會有任何異議和不確定性，所以get方法確實是合理的