廖雪峰Java4反射与泛型-3范型-5extends通配符-优快云博客

本文详细解析了Java泛型的继承关系，解释了为何Pair<Integer>不是Pair<Number>的子类，以及如何通过使用extends通配符来解决泛型方法的限制。同时，文章还探讨了通配符在调用get和set方法时的安全性和灵活性。

摘要生成于 C知道，由 DeepSeek-R1 满血版支持，前往体验 >

1.泛型的继承关系：

    Pair<Integer>不是Pair<Number>的子类
    add()不接受Pair<Integer>

Pair.java

package com.testArray;

public class Pair<T> {
    private T first;
    private T last;
    public Pair(T first,T last){
        this.first = first;
        this.last = last;
    }
    public void setFirst(T first){
        this.first = first;
    }
    public T getFirst() {
        return first;
    }
    public void setLast(T last){
        this.last = last; 
    }
    public T getLast(){
        return last;
    }
}

public class PairHepler {
    static int add(Pair<Number> p){
        Number first = p.getFirst();
        Number last = p.getLast();
        return first.intValue() + last.intValue();
    }
}

2.extends通配符

2.1extends通配符的第一种用法

   如果想要add接收Pair.Integer、Pair.Float、Pair.Double，将Pair类型修改为<? extends Number>使方法接收所有泛类型为Number或Number子类的Pair类。

package com.testArray;

public class PairHepler {
    static int add(Pair<? extends Number> p){
        Number first = p.getFirst();
        Number last = p.getLast();
        return first.intValue() + last.intValue();

    }
}

1.对Pair<? extends Number>调用getFirst()方法：
    方法签名：?extends Number getFirst()
    可以安全赋值给Number类型的变量：Number x = p.getFirst()
    不可预测实际类型就是Integer：Integer x = p.getFirst();会报错，必须用Number
2.对Pair<? extends Number>调用setFirst()方法：
    方法签名：void setFirst(? extends Number)
    无法传递任何Number类型给setFirst(? extends Number)
3.因此<? extends Number>的通配符：
    允许调用get方法获得Number的引用
    不允许调用set方法传入Number的引用
    唯一例外：可以调用setFirst(null)

package com.testArray;

public class PairHepler {
    static int add(Pair<? extends Number> p){
        Number first = p.getFirst();
        Number last = p.getLast();
        p.setFirst(null);
        p.getFirst();
        return first.intValue() + last.intValue();
        /**
         * 但不能预测实际类型就是Integer：
         * Integer x = p.getFirst();
         * void setFirst(? extends Number)
         * 无法传递任何Number类型给setFirst(? extends Number)
         */
    }
}

2.2extends通配符的第二种用法

定义泛型类是public class Pair<T extends Number>{}：
限定T只能是Number或Number的子类

public class Pair<T extends Number>{...}
Pair<Number> ip = new Pair<>(1, 2);
Pair<Double> dp = new Pair<>(1.2, 3.4);
Pair<String> sp = new Pair<>('a', 'b');//error

3.总结：

使用类似<? extends Number>通配符作为方法参数时表示：
* 方法内部可以调用获取Number引用的方法： n = obj.getXXX()
* 方法内部无法调用传入Number应用的方法，null除外：obj.setXX(Number n)
使用类似定义泛型类时表示：
* 泛型类型限定为Number或Number的子类

转载于:https://www.cnblogs.com/csj2018/p/10426464.html