关于JAVA泛型中的通配符类型

　　之前对JAVA一知半解时就拿起weiss的数据结构开始看，大部分数据结构实现都是采取通配符的思想，好处不言而喻。

　　　　首先建立两个类employee和manager，继承关系如下。其次Pair类是一个简单的泛型类。

　　　　

　　　　  通配符的作用就是在泛型设计程序中允许类型参数变化

 

---

 

　　　　子类型限定

Pair<? extends Employee>

 

　　　　  extends可以理解为是向下的 ↓ 

　　　　即所有Employee的子类都是可以的，可以理解为Pair<Manager>是Pair<? extends Employee>的子类型

　　　　

/*
打印雇员对的方法
*/
public static void printBuddies(Pair<? extends Employee> p)
{
    Employee first=p.getFirst();
    Employee second-p.getSecond();
    System.out.println(...)
}

 

　　　　上例的方法可以将Pair<Manager>传递过去

 

---

　　　　通配符限定还有个超类型限定

 

? super Manager

 

　　　　super关键字如同字面意思，是↑的，即所有Manager父类都是可以的。

　　　　

/*
数组放入奖金最高和最低的经理
*/
public static void minmaxBonus(Manager[] a,Pair<? super Manager> result)
{
    if(a.length==0)
        return;
    Manager min=a[0];
    Manager max=a[0];
    for(int i=0;i<a.length;i++)
    {
        if(min.getBonus()>a[i].getBonus()) 
            min=a[i];
        if(min.getBonus()<a[i].getBonus()) 
            max=a[i];
    }
    result.setFirst(min);
    result.setSecond(max);
}

　　直观的讲，带有超类型限定的通配符可以向泛型对象写入，带有子类型限定的通配符可以从泛型对象读取

 

 

---

　　  

　　　　下面定义一个类扩展了comparable接口

 

class getMax implements Comparable<Integer>{

    @Override
    public int compareTo(Integer o) {
        // TODO Auto-generated method stub
        return 0;
    }
    
}

 

　　　　可以观察到Comparable接口本身就是一个泛型类型，实现后会重写compareTo方法。

　　　  现在可以给出一个泛型max限定方法

　　　　

public static <T extends Comparable> T max(..)

 

　　　  

public class MyGenerics {
    public static void main(String[] args) {
        Integer[] nums=new Integer[]{10,8};
        System.out.println(max(nums));
    }
    public static <T extends Comparable> T max(T[] a){
        if(a[0].compareTo(a[1])>0)
            return a[0];
        else
            return a[1];
        
    }
}

//output:10
但是compareTo方法下会标黄，提示
Type safety: The method compareTo(Object) belongs to the raw type Comparable.
 References to generic type Comparable<T> should be parameterized
大意就是类型安全什么的，因为comparable接口已经是泛型接口comparable<T>限定了比较的类型

public static <T extends Comparable<T>> T max(..)
//所以最好采用这种形式

 

　　

---

　　比较难理解的就是

 

public static <T extends Comparable<? super T>> T max(...)

 

　　与上文比较主要是有<T>与<? super T>的区别，文章的开头已经清楚 ? super T 意思是所有T的超类都是可以的。

　　现在可以把T换成Manager类

public static <Manager extends Comparable<? super Manager>>  Manager max(...)

　　如果没有 ? super 的话，上面的方法只能对Manager类进行操作，但是有个超类型限定，Emoployee也可以使用这个方法。