文章目錄

• 簡介
• 舉個例子
• 原因
• 解決辦法
• 總結

java中的類型擦除type erasure

簡介

泛型是java從JDK 5開始引入的新特性，泛型的引入可以讓我們在代碼編譯的時候就強制檢查傳入的類型，從而提升了程序的健壯度。

泛型可以用在類和接口上，在集合類中非常常見。本文將會講解泛型導致的類型擦除。

舉個例子

我們先舉一個最簡單的例子：

@Slf4j public class TypeErase {public static void main(String[] args) {ArrayList<String> stringArrayList = new ArrayList<String>();stringArrayList.add("a");stringArrayList.add("b");action(stringArrayList);}public static void action(ArrayList<Object> al){for(Object o: al)log.info("{}",o);} }

上面的例子中，我們定義了一個ArrayList，其中指定的類型是String。

然后調用了action方法，action方法需要傳入一個ArrayList，但是這個list的類型是Object。

乍看之下好像沒有問題，因為String是Object的子類，是可以進行轉換的。

但是實際上代碼編譯出錯：

Error:(18, 16) java: 不兼容的類型: java.util.ArrayList<java.lang.String>無法轉換為java.util.ArrayList<java.lang.Object>

原因

上面例子的原因就是類型擦除（type erasure)。java中的泛型是在編譯時做檢測的。而編譯后生成的二進制文件中并不保存類型相關的信息。

上面的例子中，編譯之后不管是ArrayList<String> 還是ArrayList<Object> 都會變成ArrayList。其中的類型Object/String對JVM是不可見的。

但是在編譯的過程中，編譯器發現了兩者的類型不同，然后拋出了錯誤。

解決辦法

要解決上面的問題，我們可以使用下面的辦法：

public static void actionTwo(ArrayList<?> al){for(Object o: al)log.info("{}",o);}

通過使用通配符？，可以匹配任何類型，從而通過編譯。

但是要注意這里actionTwo方法中，因為我們不知道傳入的類型到底是什么，所以我們不能在actionTwo中添加任何元素。

總結

從上面的例子我們可以看出，ArrayList<String>并不是ArrayList<Object>的子類。如果一定要找出父子關系，那么ArrayList<String>是Collection<String>的子類。

但是Object[] objArray是String[] strArr的父類。因為對Array來說，其具體的類型是已知的。

本文的例子https://github.com/ddean2009/learn-java-collections

更多精彩內容且看：

• 區塊鏈從入門到放棄系列教程-涵蓋密碼學,超級賬本,以太坊,Libra,比特幣等持續更新
• Spring Boot 2.X系列教程:七天從無到有掌握Spring Boot-持續更新
• Spring 5.X系列教程:滿足你對Spring5的一切想象-持續更新
• java程序員從小工到專家成神之路（2020版）-持續更新中,附詳細文章教程

本文作者：flydean程序那些事

本文鏈接：http://www.flydean.com/java-type-erasure/

本文來源：flydean的博客

歡迎關注我的公眾號:程序那些事，更多精彩等著您！

超強干貨來襲 云風專訪：近40年碼齡，通宵達旦的技術人生

總結

以上是生活随笔為你收集整理的java中的类型擦除type erasure的全部內容，希望文章能夠幫你解決所遇到的問題。

如果覺得生活随笔網站內容還不錯，歡迎將生活随笔推薦給好友。