泛型 以及 < ? extends E> 的用法

转载 2016年06月01日 16:26:42

泛型 以及 < ? extends E> 的用法(PECS)


先写一个例子

public void pushAll(Iterable<E> src){
    for(E e : src)
        push(e);
}

这个方法编译正确,但是存在一定的问题。如果元素类型完全匹配则没有问题,但是加入存在这样的情况

Stack<Number> numberStack = new Stack<>();
Iterable<Integer> integers = ...;
numberStack.pushAll(integers);

则出现报错,无法将Iterable转化为Iterable 这是因为泛型是不可变的。
这时候< ? extends E >就可以解决这样的问题。

public void pushAll(Iterable<? extends E> src){
    for(E e : src)
        push(e);
}

这样就能正确的运行了。
同时对于< ? extends E >的使用我们需要注意上界add方法受限,下界get方法受限。

  List<? super A> rx = new ArrayList<>();
        rx.add(new B(2));
        rx.add(new A(2));


        for(Object r : rx ){
            System.out.println(r);
        }

下面是在使用泛型以及extens的一些注意事项

注意点

Java语言引入泛型的好处是安全简单,在编译的时候检查类型安全,并且所有的强制转换都是自动和隐式的,提高代码的重用率。

通配符泛型
为了解决类型不能动态根据实例来确定的缺点,引入了“通配符泛型”,使得一个参数可以用来表示一组实例化后的模板。

其中,

“?”代表未知类型

extends关键字声明了类型的上界,表示参数化的类型可能是所指定的类型,或者是此类型的子类

super关键字声明了类型的下界,表示参数化的类型可能是所指定的类型,或者是此类型的父类型,直至Object上界

public void upperBound(List<? extends Date> list, Date date)    
{    
    Date now = list.get(0);    
    System.out.println("now==>" + now);    
    //list.add(date); //这句话无法编译    
    list.add(null);//这句可以编译,因为null没有类型信息    
}  

无法编译的原因就在于,实际调用时传入的list可能是java.util.Date的某个子类的参数化类型,如:

public void testUpperBound()    
{    
    List<Timestamp> list = new ArrayList<Timestamp>();    
    Date date = new Date();    
    upperBound(list,date);    
}  

也就是说,upperBound方法中实际的list是List,向它添加一个基类Date类型,由于基类无法转换为子类,所以无法添加。相反,读取数据时,不管实际的list是什么类型,但可以知道它至少会返回一个Date类型,所以用foreach,get等没有问题。

下界
先看示例代码:

public void lowerBound(List<? super Timestamp> list)    
{    
    Timestamp now = new Timestamp(System.currentTimeMillis());    
    list.add(now);    
    //Timestamp time = list.get(0); //不能编译    
}    

不能编译的原因是调用代码可能是这样的:

public void testLowerBound()    
{    
    List<Date> list = new ArrayList<Date>();    
    list.add(new Date());    
    lowerBound(list);    
}   

在lowerBound方法中的List< ? super Timestamp>表示这个list的参数类型可能是Timestamp或Timestamp的父类,如后面的代码里,实际传入的是一个List类型。List中可以添加一个Timestamp对象,但list.get()方法返回的对象类型可能是Date甚至是Object,不能安全的向下转换到Timestamp,也就因此无法编译了。

小结一下就是:上界add方法受限,下界get方法受限。

泛型方法
是否拥有泛型方法,与其所在的类是否泛型没有关系。要定义泛型方法,只需将泛型参数列表置于返回值前。如:

public void f(T x) {}

使用泛型方法时,不必指明参数类型,编译器会自己找出具体的类型。泛型方法除了定义不同,调用就像普通方法一样。

最后,需要注意的是,一个static方法,无法访问泛型类的类型参数,因为类还没有实例化,所以,若static方法需要使用泛型能力,必须使其成为泛型方

关键字说明
? 通配符类型

static class Food{}
static class Fruit extends Food{}
static class Apple extends Fruit{}
static class RedApple extends Apple{}

List<? extends Fruit> flist = new ArrayList<Apple>();
// complie error:
// flist.add(new Apple());
// flist.add(new Fruit());
// flist.add(new Object());
flist.add(null); // only work for null 

List

Fruit fruit = flist.get(0);
Apple apple = (Apple)flist.get(0);
由于,其中放置是从Fruit中继承的类型,所以可以安全地取出Fruit类型。
flist.contains(new Fruit());
flist.contains(new Apple());
在使用Collection中的contains 方法时,接受Object 参数类型,可以不涉及任何通配符,编译器也允许这么调用。
super 示例
List<? super Fruit> flist = new ArrayList<Fruit>();
flist.add(new Fruit());
flist.add(new Apple());
flist.add(new RedApple());

// compile error:
List<? super Fruit> flist = new ArrayList<Apple>();
List<? super Fruit>

表示“具有任何Fruit超类型的列表”,列表的类型至少是一个 Fruit 类型,因此可以安全的向其中添加Fruit 及其子类型。由于List< ? super Fruit>中的类型可能是任何Fruit 的超类型,无法赋值为Fruit的子类型Apple的List.
// compile error:
Fruit item = flist.get(0);
因为,List< ? super Fruit>中的类型可能是任何Fruit 的超类型,所以编译器无法确定get返回的对象类型是Fruit,还是Fruit的父类Food 或 Object.
小结
extends 可用于的返回类型限定,不能用于参数类型限定。
super 可用于参数类型限定,不能用于返回类型限定。
带有super超类型限定的通配符可以向泛型对易用写入,带有extends子类型限定的通配符可以向泛型对象读取,总结起来就是PECS原则(Producer Extends Consumer Super)

相关文章推荐

(72)泛型限定:?的用法,TreeSet(Collection<? extends E> c)参数的理解

如题

泛型中super和extends的用法及区别

泛型是在Java 1.5中被加入了,这里不讨论泛型的细节问题,这个在Thinking in Java第四版中讲的非常清楚,这里要讲的是super和extends关键字,以及在使用这两个关键字的时候为什...

Java泛型中<? extends E>和<? super E>的区别

在阅读JDK源码时经常看到这样的泛型声明和。他们有什么作用又有什么区别呢?             是 Upper Bound(上限) 的通配符,用来限制元素的类型的上限,比如 List fruit...

Java泛型——类型通配符<?> 与 类型通配符上限<? extends Number>

原文链接: http://www.cnblogs.com/lwbqqyumidi/p/3837629.html 一. 泛型概念的提出(为什么需要泛型)? 首先,我们看下下面这段简短的代码: ...

泛型参Class、Class<?>、Class<? extends xx>的对比

泛型参数Class、Class、Class的对比 /**  * Created by ypyue on 2017/6/19.  */ public class Main2 { ...

浅谈Java泛型中的extends和super关键字

原文地址:http://mysun.iteye.com/blog/851925 泛型是在Java 1.5中被加入了,这里不讨论泛型的细节问题,这个在Thinking in Java第四版中讲的非...

从extends和super浅谈java泛型

从extends和super浅谈java泛型泛型是从jdk 1.5之后引入的,对于开发者而言,使用泛型能够写出更加自然的代码,对于编写一些通用的类尤为有用。想象一下,如果没有泛型的支持,我们在要实现一...

泛型中的extends和super的区别

在网上看到如下代码,不知道为什么报错,代码如下: public class GenericTest { public static void main(String[] arg...

Java-泛型编程-使用通配符? extends 和 ? super

source: http://blog.csdn.net/fw0124/article/details/42296283 泛型中使用通配符有两种形式:子类型限定和超类型限定。 (1...
内容举报
返回顶部
收藏助手
不良信息举报
您举报文章:深度学习:神经网络中的前向传播和反向传播算法推导
举报原因:
原因补充:

(最多只允许输入30个字)