廖雪峰Java4反射与泛型-3范型-5extends通配符

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();

    }
}

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