关于java编程思想P393的一些见解

最新推荐文章于 2025-08-04 15:51:34 发布

Viscu

最新推荐文章于 2025-08-04 15:51:34 发布

阅读量285

点赞数

CC 4.0 BY-SA版权

文章标签：逆变泛型

本文链接：https://blog.youkuaiyun.com/Viscu/article/details/80096675

本文深入探讨了Java泛型中的WriteExact方法，在不同情况下如何正确使用泛型参数避免编译错误。通过具体示例展示了泛型擦除带来的挑战，并介绍了如何通过显式指定泛型类型来确保代码的正确性。

摘要生成于 C知道，由 DeepSeek-R1 满血版支持，前往体验 >

public class GenericWriting {
    static <T> void WriteExact(List<T> list,T item){
        list.add(item);
    }
    static List<Son> sonList=new ArrayList<Son>();
    static List<Father> fatherList=new ArrayList<Father>();
    static void f1(){
        WriteExact(sonList,new Son());
        WriteExact(fatherList,new Son()); //Error(书中这里标明的是Error)
    }
    static <T> void WriteExact1(List<? super T> list,T item){
        list.add(item);
    }
    static void f2(){
        WriteExact1(sonList,new Son());
        WriteExact1(fatherList,new Son());
    }
    public static void main(String[] args) {
        //TODO
    }
}

 代码中标的Error处   在java编程思想中显示这里是错误的 可是运行时却没有报错
 这是因为我们传入两个不同的T
 如果编译时把T识别的是Father那就没错
 如果编译时把T识别的是Son的话那就出错了
 我们这里可以使用显示的泛型方法(p363)就可以看出来了：

 GenericWriting.<Father>WriteExact(fatherList,new Son());//true
 GenericWriting.<Son>WriteExact(fatherList,new Son());//error
 所以java编程思想的例子应该是第二种情况
 我们执行的是第一种情况(应该和JDK有关)