解析java泛型(二)

     上篇我们简单的介绍了java中泛型的最基本的内容,知道了什么是泛型以及泛型对我们的程序编写有什么好处,最后以类型限定收尾。本篇将从类型限定开始阐述java泛型中很重要的概念:通配符 一、何为通配符      首先我们看一段代码:

/*我们声明了一个泛型方法*/
public class Pair<T> {
    public static <T extends Double> void show(myArray<T> a){   
    }
}

     上文声明了一个泛型方法,但是实在是太过啰嗦,于是我们可以使用通配符来简化这种泛型方法的声明形式。有时我们也称通配符为更加简洁的类型变量的限定。接下来我们看看使用通配符如何声明一个泛型方法。

public class Pair<T> {
    public static void show(myArray<? extends Double> a){   
    }
}

     对比两段代码,我们可以看出来,类型限定也就是<T extends Double>主要用于类型参数的定义,声明在访问修饰符后面函数返回值之前;而通配符也就是<? extends Double>主要用于实例化类型参数,声明在类型变量之前,简化了泛型方法的声明。所以,凡是可以由通配符实现的都可以使用类型限定来实现,因为通配符是简化了的类型限定。 二、通配符的只读性      以上是这个通配符的一个特性,通配符的只读性是其第二个重要特性,我们知道:Child类继承于Base类是不能推出Pair<Child>继承于Pair<Base>的,所以:

public static void print(Pair<Base>){

}

     Pair<Child>是不能作为参数来使用上述方法了,因为Pair<Child>和Pair<Base>是完全不同的两种类型。但是我们可以使用通配符完成两者的联系。

public static void print(Pair<? extends Base>){

}

     这样,Base及其子类都是可以调用此方法的。说明了,Pair<Base>和Pair<Child>都是Pair<? extends Base>的子类型。下面我们看看为什么通配符要具有只读性,不允许修改属性值。

/*定义泛型类*/
public class Pair<T> {
    private T a;
    public Pair(T a){
        this.a = a;
    }
    public void setA(T a){
        this.a = a;
    }
    public T getA(){
        return this.a;
    }
}
/*main方法*/
public class Test2 {
    public static void main(String[] args){     
        Pair<Integer> p = new Pair<>(0);
        p.setA(10);
        System.out.println(p.getA());
    }
}
输出结果:10

没有使用通配符之前,一切安好;下面使用通配符:

/*定义泛型类*/
public class Pair<T> {
    private T a;
    public Pair(T a){
        this.a = a;
    }
    public void setA(T a){
        this.a = a;
    }
    public T getA(){
        return this.a;
    }
}
/*main方法*/
public class Test2 {
    public static void main(String[] args){     
        Pair<? extends Number> p = new Pair<Integer>(0);
        Pair<Double> d = new Pair<>(1.5);
        p.setA(d);//编译错误
        System.out.println(p.getA());
    }
}

     下面我们一起看看java中为什么不允许这种机制的存在,我们不妨现假设java中不存在这种机制,也就是可以对通配符类型进行修改设置其值,语句:Pair<? extends Number> p = new Pair<Integer>(0);,p中装的是Pair<? extends Number>的子类型,d实际上也是Pair<? extends Number>的子类型,所以可以调用set函数,将Double数值赋值给实际类型Integer,必然出错,所以,java中为了避免这种问题,直接不允许更改通配符修饰的类型。 三、超类通配符      超类通配符从某种角度上来说,和上述的普通的通配符作用上是相反的。其主要的形式为:<? super E>,是否和上述的<? extends E>形式上相似?接下来我们一起看看这种通配符。一段代码:

Class Base implements Comparable<Base>{
    private int x;
    public Base(int x){
        this.x = x;
    }
    //实现compareTo方法
    public int compareTo(Base b){
        .......
    }
}

Class Child extends Base{
    public Child(int x){
        super(x);
    }
}

public static void main(String[] args){
    //定义一个容器类
    DynamicArray<Child> childs = new DynamicArray<Child>();
    //添加元素到容器中
    childs.add(new child(10));
    childs.add(new child(20));
    Child maxA = max(childs);
}

     此段程序编译时出错,原因在于,max方法推断传入的参数类型为Child类,调用comparaeTo方法时,发现类型不匹配,拒绝执行,父类Base实现了接口Comparable<Base>,而max方法需要Comparable<Child>方法,由于子类child并没有重新实现此接口而虽然Child继承与Base,但是Comparable<Base>与Comparable<Child>却毫无关系。      解决办法,使用我们的通配符

/*将max方法修改如下*/
public static <T extends Comarable<? super T>> T max(DynamicArray<T> a){
    //这样child和Base都可以被匹配到
} 

     超类通配符主要用于灵活的写入和比较而<? extends E>主要用于读写,不能写入或者修改。 四、泛型的实现的细节      首先我们需要讨论一下由类型擦除导致的一些冲突,我们来看一个代码块:

public class Base implements Comparable<Base>{
    
}
public class Child extends Base implements Comparable<Child>{

}
/*这是不允许的*/

     虽然在编译器看来他们分别继承的是不同的接口类型,但是由于类型擦除导致父类和子类继承了同一个接口,也就是说子类两次继承了同一个接口类型,这在java中是不允许的。      最后我们看看泛型中的数组问题,如果我告诉你泛型是不能创建数组的,你能想到原因么?下面我们就从为什么泛型中不能创建数组来看看泛型的一些细节问题。      首先我们先假设泛型是可以创建数组的。

Integer[] ins = new Integer[10];
Number[] nums = ins;
Object[] obj = ins;
/*在一般数组中这是允许的,因为编译器会为我们进行检查*/
Pair<Integer>[] p = new Pair<Integer>[10];
Object[] obj = p;
obj[0] = "dfa";
/*编译器不会报错,但是在jvm运行时肯定抛异常*/

     由于以上所示原因,java泛型是不允许定义数组的。

     最后,由于本篇文章是博主自学时查阅书籍和博客学习的笔记和总结,如有错误,还望大家指出!

本文参与腾讯云自媒体分享计划,欢迎正在阅读的你也加入,一起分享。

发表于

我来说两句

0 条评论
登录 后参与评论

相关文章

来自专栏Android开发指南

16.IO之其他流

371140
来自专栏我是攻城师

Apache Pig学习笔记之内置函数(三)

46340
来自专栏calvin

【nodejs】让nodejs像后端mvc框架(asp.net mvc)一样处理请求--参数自动映射篇(6/8)

路由、action的扫描、发现、注册搞定之后,后来我发现在我们的action里面获取参数往往都是通过request对象来一个一个获取。同样的一行代码我们不厌其烦...

12720
来自专栏spring源码深度学习

java基础io流——配角也风流(不求甚解)

PrintStream是OutputStream的子类,PrintWriter是Writer的子类,两者处于对等的位置上,所以它们的API是非常相似的。

9620
来自专栏hbbliyong

怎么获取泛型T.class类?

如上代码,要调用getA()方法,必须传入一个Class类,使用泛型怎么传递这个Class类呢?

85630
来自专栏swag code

XML中节点类型

该 Node 接口是整个文档对象模型的主要数据类型。它表示该文档树中的单个节点。当实现 Node 接口的所有对象公开处理子节点的方法时,不是实现 Node 接口...

14460
来自专栏绿巨人专栏

TypeScript中的怪语法

51750
来自专栏数据结构与算法

BZOJ2882: 工艺(后缀数组)

6910
来自专栏LanceToBigData

Hadoop(十一)Hadoop IO之序列化与比较功能实现详解

前言   上一篇给大家介绍了Hadoop是怎么样保证数据的完整性的,并且使用Java程序来验证了会产生.crc的校验文件。这一篇给大家分享的是Hadoop的序列...

29290
来自专栏noteless

[十]JavaIO之FilterInputStream FilterOutputStream

FilterInputStream  FilterOutputStream都是装饰器模式中的Decorator抽象装饰角色

11920

扫码关注云+社区

领取腾讯云代金券