Java 泛型中<? extends Base> 和 <T extends Base>区别及示例代码

使用出现异常代码：

import java.util.*;
public class Example {
    static void doesntCompile(Map<Integer, List<? extends Number>> map) {}
    static <T extends Number> void compiles(Map<Integer, List<T>> map) {}
    static void function(List<? extends Number> outer)
    {
        doesntCompile(new HashMap<Integer, List<Integer>>());
        compiles(new HashMap<Integer, List<Integer>>());
    }
}

doesntCompile()方法编译错误如下：

Example.java:9: error: incompatible types: HashMap<Integer,List<Integer>> cannot be converted to Map<Integer,List<? extends Number>>
        doesntCompile(new HashMap<Integer, List<Integer>>());

通过使用以下签名定义方法：

static <T extends Number> void compiles(Map<Integer, List<T>> map) {}

如下代码调用：

compiles(new HashMap<Integer, List<Integer>>());

 §8.1.2 中介绍内容：泛型类声明定义了一组参数化类型(§4.5)，每个类型参数都可以调用类型参数部分。所有这些参数化类型在运行时共享同一个类。

换句话说，将类型T与输入类型进行匹配并进行分配Integer。签名将有效地变为static void compiles(Map<Integer, List<Integer>> map)。

关于doesntCompile方法，jls定义了子类型化规则（第4.5.1节，）：

? extends T <= ? extends S if T <: S
? extends T <= ?
? super T <= ? super S if S <: T
? super T <= ?
? super T <= ? extends Object
T <= T
T <= ? extends T
T <= ? super T

如此说明，? extends Number确实包含Integer甚至List<? extends Number>包含List<Integer>，但Map<Integer, List<? extends Number>> 并非如此Map<Integer, List<Integer>>。您仍然可以?通过声明期望使用以下子类型来使带有通配符的版本起作用List<? extends Number>：

public class Example {
    // 可以正常编译
    static void doesntCompile(Map<Integer, ? extends List<? extends Number>> map) {}
    static <T extends Number> void compiles(Map<Integer, List<T>> map) {}
    public static void main(String[] args) {
        doesntCompile(new HashMap<Integer, List<Integer>>());
        compiles(new HashMap<Integer, List<Integer>>());
    }
}