解析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 条评论
登录 后参与评论

相关文章

来自专栏大前端_Web

jsvascript—谜之this?

版权声明:本文为吴孔云博客原创文章,转载请注明出处并带上链接,谢谢。 https://blog.csdn.net/wkyseo/articl...

1074
来自专栏老马说编程

(35) 泛型 (上) - 基本概念和原理 / 计算机程序的思维逻辑

之前章节中我们多次提到过泛型这个概念,从本节开始,我们就来详细讨论Java中的泛型,虽然泛型的基本思维和概念是比较简单的,但它有一些非常令人费解的语法、细节、以...

1918
来自专栏对角另一面

读 zepto 源码之工具函数

Zepto 提供了丰富的工具函数,下面来一一解读。 源码版本 本文阅读的源码为 zepto1.2.0 $.extend $.extend 方法可以用来扩展目标对...

1970
来自专栏pangguoming

Java编程最差实践(常见编程错误典范)

转载自  http://macrochen.iteye.com/blog/1393502

442
来自专栏Java3y

注解就这么简单

1686
来自专栏不止是前端

实用主义:ES6数组求交并补集

2838
来自专栏何俊林

Android性能提升之强引用、软引用、弱引用、虚引用使用

背景:收到公众投稿,《从面试题中看Java的Reference(引用)》,总感觉少了实际的例子和应用场景。于是结合自己工作中场景,小小补充下。小总结一下。看下A...

23610
来自专栏落影的专栏

Swift学习笔记

这是一篇学习swift的笔记 Objective-C是很好的语言,Runtime机制、消息机制等也是爱不释手。 Swift一直在更新,闲暇时间学一遍。学习的B...

4097
来自专栏GreenLeaves

Array对象的判定

/* 关于JS对象类型的判断,最复杂的在于RegExp和Array了,判定RegExp的情形不较少,而Array就比较多了,下面就是判断Array的...

1685
来自专栏http://www.cnblogs.com

面向对象编程-类

面向对象编程OOP (object-oriented programming)是最有效的软件编写方法之一,面向对象是利用“类”和“对象”来创建各种模拟来实现对真...

30813

扫码关注云+社区