java的泛型是个有趣的东西

最新推荐文章于 2025-05-03 10:00:00 发布

转载最新推荐文章于 2025-05-03 10:00:00 发布 · 59 阅读

0 ·

CC 4.0 BY-SA版权

原文链接：https://my.oschina.net/u/2291753/blog/464044

本文深入解析了Java泛型擦除机制下，如何处理类型信息缺失导致的编译器错误与运行时异常，通过具体代码实例，详细阐述了泛型使用中的注意事项与解决方案。

2019独角兽企业重金招聘Python工程师标准>>>

因为泛型的擦除（erasure），任何在运行时需要知道确切类型信息的操作都将无法工作。

public class Erased<T> {
    private final int SIZE = 100;
    public static void f(Object arg){
        if (arg instanceof T){}        // error
        T var = new T();                  // error
        T[] array = new T[SIZE];    //  error
        T[] array = (T[])new Object[SIZE]; // unchecked warning
    }
}

请看上述代码，"arg instanceof T"，编译器会认为写这段程序的人是想检查arg是否为某一个类。但是erasure导致这个人的愿望落空，所以就把这段语句置为error。

编译器发现这段代码时“T[] array = new T[SIZE]”，它不知道到底要创建一个什么类型的数组，它没有选择把这段代码编译成创建Object数组，也许有它的理由，但是我不知道为什么。也许它认为这不符合编写这段程序的人的愿望。

编译器发现这段代码“T[] array = (T[])new Object[SIZE]"，它认为这可以通过error检查，但是这里有个警告，会有隐藏的问题。然后它把这段代码编译成了Object[] array = new Object[SIZE]。

转载于:https://my.oschina.net/u/2291753/blog/464044