Java泛型 - 類型聲明

Question

class Response<T> 
{ ... } 

Response response = new Response(); 

上面的代碼編譯。我不明白什麼是暗示。編譯器是否需要'T'的類型規範？例如如下所示：

Response<String> response = new Response<String>(); 

Answer 1

從技術上講，它應該/應該。但是，爲了向後兼容Java 5，這不會完成，因此不需要通用參數。而且由於無論如何泛型都是通過擦除來實現的，所以無論您是否聲明參數，發出的字節碼都是相同的 - 您錯過了一些編譯時檢查。

（請注意，如果你打電話給你response對象的方法，編譯器會發出警告您有關使用「原始類型」，這意味着你在一個非通用的方式使用泛型類，因此它不能）

編輯：關於向後兼容性，這是一種平衡行爲，Sun已經明確犧牲了某些方面以改善/維護他人。打破向後兼容性將是一筆相當大的交易 - 這意味着遷移到最新版本的Java將是一個不平凡的項目，並會在企業內部對升級產生更大的阻力。

這裏的一個重大決定是通過擦除來實現泛型，使得它們是「僅編譯時」構造，生成的字節碼與先前的版本相同。這具有如下優點：例如，在1.5中的java.util.HashMap仍然可以通過1.4編寫的代碼訪問（當然，這個優點也延伸到你自己的類）。然而，有很多觀點，特別是那些習慣於其他語言的泛型的人，他們想要使用類似的技術，這不是最好的決定，並且已經削弱了泛型的有用性。我不打算在這裏斟酌。

至於它是否會破壞編譯器想要執行的檢查;我認爲這不像你想象的那麼糟糕。 是的，您可以編寫代碼，以便編譯器不會執行任何泛型檢查，並且可以故意顛覆預期的語義。然而，編譯時檢查並不意味着某種安全特性，它們僅僅是爲了幫助你，作爲一種靜態分析的形式，它將挑選某些類別的錯誤。如果你想顛覆他們，請隨時這樣做。但是如果你正確地編寫泛型類，那麼你會得到你想要的編譯時檢查。

特別是因爲編譯器（可以）給你關於原始類型的警告，所以有一個從1.4到5的清晰升級路徑。升級你的JDK - 你的舊代碼仍然會編譯，儘管有警告。然後使用這些警告追查違規行爲，並在需要時生成舊代碼。在我看來，這比僅僅拒絕編譯舊的（推測是功能性的）代碼要好得多，直到每個語句都添加了適當的泛型。

大多數IDE將允許您對不同警告類型的嚴重程度進行分類，例如，如果您從頭開始開發Java 5應用程序，則可以告訴它將所有原始類型警告視爲完全停止構建錯誤。

Answer 2

我認爲，通過在底部行中沒有指定模板類，會導致編譯器自動替換類型Object。這並沒有錯，它在執行類型時不是很有效。