java泛型上下限

简介:

v前言:

  java的泛型上下限不是很好理解,尤其像我这种菜鸡。反反复复看了好几遍了...,真是...

v一、简单的继承体系

class Person{}

class Student extends Person{}

class Worker extends Person{}

v二、泛型上限(extends 关键字)

复制代码
public static void upperBound(List<? extends Person> list, Person p){
        //正确,因为null没有类型信息  
        list.add(null);
        //错误,因为list的参数类型可能是Person的子类
        list.add(p);①
        //成功获取
        if(list.size() > 0){
            Person pp = list.get(0);②
        }
    }
复制代码

  ①处的错误在于list的参数类型是不确定的,其参数类型可能是 Person的子类,子类集合(List)不能添加父类的元素。测试如下:

public static void testUpperBound(){
        ArrayList<Student> slist =  new ArrayList<Student>();
        Person p = new Person();
        upperBound(slist, p);//无法添加成功
    }

  如何解决泛型上限添加问题,可以使用泛型方法,如下:

public static <T extends Person> void upperBound2(List<T> list, T p){
        list.add(p);
    }
复制代码
public static void testUpperBound2(){
        ArrayList<Person> plist =  new ArrayList<Person>();
        Person p = new Person();
        Student s = new Student();
        upperBound2(plist, p);
        
        upperBound2(plist, s);
    }
复制代码

  也就是说,使用泛型上限add方法时,集合参数类型 和 元素参数类型 要一致,这样添加的时候才不会有矛盾。看一下eclipse中对upperBound2(plist, s);这个函数调用的提示,如下:

  可见,T类型最终会解析为 泛型的最上限类型,Student s相应的向上转型。

 

  接着说 ② 处,为什么能获取成功呢?泛型上限嘛,至少上限的类型是确定的,所有的上限类型的子类都可以进行向上转型,自然获取是不成问题了。

 

v三、泛型的下限

复制代码
public static void lowerBound(List<? super Student> list){
        Person var = new Person();
        //错误,list的参数类型可能是 Student,这样就不能添加父类Person了,所以 变量var的类型 必须是 Student或者 Student的子类
        list.add(p);①
        //正确
        Student s = new Student();
        list.add(s);
    }
复制代码
public static void testlowerBound(){
        ArrayList<Person> list = new ArrayList<Person>();
        lowerBound(list);
    }

  ①处添加失败,告诉我们,泛型下限使用add方法添加元素时,元素的参数类型必须是 下限 或者 下限的子类型。否则会出现子类集合添加父类元素。

 

public static void lowerBound2(List<? super Person> list){
        Person p = new Person();
        list.add(p);
        //获取,不能编译
        Person as = list.get(0);①
    }
public static void testlowerBound2(){
        ArrayList<Person> list = new ArrayList<Person>();
        lowerBound2(list);
    }

  ①处获取失败了,我们看一下eclipse提示我们该怎么办?

  将 第二个方法 将"as"的类型更改为"Object"  和 泛型的下限 结合一下考虑一下,add(e)方法在正确添加后,都会成为Object对象,在使用get(index)方法时,会转换为 

? super Person类型(可能是Person类型,也可能是Person的父类类型,甚至是Object),执行Person as = list.get(0),那么就有了 向下转型。java中无法保证向下转型是安全的。所以①处不能编译。

v四、泛型上限最常见的一个应用

List<Person> plist = new ArrayList<Person>();
List<Student> slist = new ArrayList<Student>();
        
plist.addAll(slist);

v五、泛型下限最常见的一个应用

Set<Student> set = new TreeSet<Student>(new Comparator<Person>() {
    @Override
    public int compare(Person o1, Person o2) {
        return 0;
    }
});

v六、泛型上下限一个综合的例子

  注:个人瞎掰的...,就是将上面两个例子结合在一起!

复制代码
Set<Person> set = new TreeSet<Person>(new Comparator<Person>() {
    @Override
    public int compare(Person o1, Person o2) {
        return 0;
    }
});
List<Student> slist = new ArrayList<Student>();
List<Worker> wlist = new ArrayList<Worker>();
set.addAll(slist);
set.addAll(wlist);
复制代码

 

  接下来,研究一下泛型的擦除...

目录
相关文章
|
2月前
|
安全 Java
Java 泛型上限和下限
Java 泛型上限和下限
|
6月前
|
安全 Java API
Java一分钟之-泛型通配符:上限与下限野蛮类型
【5月更文挑战第19天】Java中的泛型通配符用于增强方法参数和变量的灵活性。通配符上限`? extends T`允许读取`T`或其子类型的列表,而通配符下限`? super T`允许向`T`或其父类型的列表写入。野蛮类型不指定泛型,可能引发运行时异常。注意,不能创建泛型通配符实例,也无法同时指定上下限。理解和适度使用这些概念能提升代码的通用性和安全性,但也需兼顾可读性。
66 3
|
6月前
|
Java
Java初识泛型 | 如何通过泛型类/泛型方法获取任意类型的三个数的最大值?
本文介绍了如何使用Java中的泛型来实现一个可以比较任意数值类型最大值的功能。。
55 2
|
6月前
|
存储 算法 安全
什么是Java泛型类型?
【4月更文挑战第13天】
50 0
什么是Java泛型类型?
|
6月前
|
Java Go
【Java 泛型方法】泛型方法的定义和使用,泛型的通配符和泛型的上下限,泛型的注意事项
【Java 泛型方法】泛型方法的定义和使用,泛型的通配符和泛型的上下限,泛型的注意事项
|
6月前
|
设计模式 安全 Java
详解Java中的泛型(泛型的语法,擦除机制,泛型的上界)
详解Java中的泛型(泛型的语法,擦除机制,泛型的上界)
108 0
泛型的上下限怎么理解
实体类 public class Fruit { } class Apple extends Fruit{} class Pear extends Fruit{} class Orange extends Fruit{} 复制代码 泛型的上限 如下图,可以看到这里是不允许再添加任何实例的,只能从该list中去获取实例。 为什么不能添加呢?🐖 因为这个list 可能有以下几个情况 list是Fruit类型的,此时你去添加Fruit的子类都没问题 list是Apple类型的,此时你只能添加Apple,同理Pear,Orange也是。🙃 根本不晓得传进来的参数list会是哪种类型
190 0
|
存储 Java 程序员
Java语法糖之泛型与类型擦除
Java语法糖之泛型与类型擦除
169 0
Java语法糖之泛型与类型擦除
|
Java 编译器
JDK8在泛型类型推导上的变化
JDK8在泛型类型推导上的变化
下一篇
无影云桌面