是否需要澄清java中泛型變量初始化的泛型參數？

看，我們知道，在編譯泛型類轉化爲原始形式，所以是否需要澄清java中泛型變量初始化的泛型參數？

List<String> a=new Arraylist<String>

實際上是相同的

List<String> a=new Arraylist<>

是嗎？是否有任何情況需要在右側指定菱形內的類型？

來源

2016-11-14 SubZr0

這取決於你正在使用的Java版本。在Java 7中，它是可選的。 – ScanQR

您在這裏混合了一些東西了。

我們知道，在編譯泛型類轉化爲原始形式

基本屬實，這就是所謂的類型擦除。

List<String> a=new Arraylist<String> 是有效的 List<String> a=new Arraylist<>

在類型擦除感

不一樣的。簡單地說，在編譯時，List<String> a=new Arraylist<String>，「改變」，以List a=new Arraylist

你帶來了這個例子，是在Java 7中的一項新功能，您可以ommit的賦值UND只使用右手邊的泛型參數所謂的「鑽石操作員」。這是你的陳述成爲現實的地方。在Java 7之前，你不能這樣做。

來源

2016-11-14 09:17:46

好的，如果編譯時，列表 a =新Arraylist ，被「改變」爲List a = new Arraylist 爲什麼不能執行 'a.add（new Exception（「dummy」））'？在刪除類型之前檢查方法的正確性嗎？ – SubZr0

@ SubZr0正確。在編譯時，泛型類型用於這種檢查。在這些檢查之後執行類型擦除。 –

你可能想看看Oracle's official documentation on the topic。

從你猜測的Java 7開始，沒有必要指定類型，只要它可以通過上下文明顯推斷出來即可。引用最相關的部分：

Java SE 7支持通用實例的有限類型推斷創建;如果參數化類型的構造函數在上下文中顯而易見，則只能使用類型推斷。例如，下面的例子不能編譯：
List<String> list = new ArrayList<>(); list.add("A"); 

    // The following statement should fail since addAll expects 
    // Collection<? extends String> 

list.addAll(new ArrayList<>()); 

編輯：a more comprehensive Oracle tutorial on type inference，最新的Java 8的改進。

來源

2016-11-14 09:14:52 walen

從Java 7開始，您不需要指定實例化部分的類型。對於返回語句也同樣適用。它隱含地從返回類型中獲取。

來源

2016-11-14 09:15:11

>它隱含地從返回類型中獲取。但它有關係嗎？所有可能的類型參數都有一個原始類型，而對象的行爲由引用類型設置。爲什麼需要？ – SubZr0