1.定义：
JDK5.0后，Java提供了泛型。
泛型是一种在编译时提供类型安全的方式，允许程序员在定义类、接口和方法时使用类型参数。这样，可以在不损失类型安全的情况下，创建可重用的代码。
泛型有两种主要的使用形式：类型参数（如 T）和通配符（如 ?）。
T通常用作类型参数的占位符。比如：泛型方法的语法包括一个包含在尖括号内的类型参数列表，并将它置于方法的返回类型之前。
?通配符主要用于泛型方法的参数和泛型类的字段，以及泛型集合的声明中。

通配符分为3种，分别为：
1）上界通配符：List<? extends Number>
可以读取容器内的元素。由于容器的具体类型未知，如果往容器添加元素，无法确保添加进去的具体数据是该容器具体类型的子类还是父类，因此存在类型不安全问题，所以是不允许往容器里添加数据的。
2）无界通配符：List<?>
3）下界通配符：List<? super Number>
可以读取也可以写入元素。

2.使用范围：
1）T 用作声明类的类型参数、方法（包括静态泛型方法、非静态泛型方法、泛型构造函数，但类型参数仅限于方法内使用）的类型参数。
2）? 通配符用作 参数类型、字段类型、局部变量类型及返回类型。

通配符在PECS（Producer Extends Consumer Super）原则中非常有用，该原则指出当你从一个泛型集合中获取对象时（生产者），应该使用上界通配符，当你向泛型集合中插入对象时（消费者），应该使用下界通配符。
通配符，一般是用于定义一个引用变量，以便实现"多态"调用(非真正意义上的多态)。例如
//以下是正确的代码：
public static void main(String[] args) {
    List<String> sList = new ArrayList<String>();
    List<Integer> iList = new ArrayList<Integer>();
    sList.add("abc");
    iList.add(10000);
    dump(sList);
    dump(iList);
}
public static void dump(List<?> list) {
    for (Object o : list) {
        System.out.println(o);
    }
}

通常我们使用 ? 的时候并不知道也不关心这个时候的类型，只想使用其通用的方法，而且 ? 通配符是无法作用于声明类的类型参数，一般作用于方法和参数上。而 类型变量 T 在类定义时具有更广泛的应用。

在某些程度的使用上 ? 通配符与 T 参数类型是可以等效的，但是 T 参数类型并不支持下界限制, 即 T super AClass 而 通配符支持下界限制 ? super AClass，即：使用super限定父集的时候，T 不可以，? 可以。
T和?两者都可以通过extends来限定一个类型的子集，但是 T 可以 List<T extends Number & AInterface> 限定为多重限定，? 不可以。
使用T时，Java的类型参数支持多重限定，如 <T extends CharSequence & Comparable<T>，但如果类型参数中包含类，则需要将类参数类型写在最前面。

如果你想写一个通用的方法且该方法的逻辑不关心类型那么就用 ? 通配符来进行适配，如果你需要作用域类型（这可能在操作通用数组类型时更有用）或者声明类的类型参数时请使用 T 类型变量。

//以下是错误的用法（编译错误：通配符不能用在创建对象上）：
ArrayList<?> list = new ArrayList<?>();
//以下是错误的用法（List<T>在实例化的时候T要替换成具体的类）：
List<T> t = new ArrayList<T>();

类型参数T和通配符?可以混合使用，例如以下为一个接受泛型集合并返回其中最大元素的方法：
public static <T extends Comparable<T>> T max(Collection<? extends T> collection) {  
    T maxElement = null;  
    for (T element : collection) {  
        if (maxElement == null || element.compareTo(maxElement) > 0) {  
            maxElement = element;  
        }  
    }  
    return maxElement;  
}

3.总结：
当对通用的对象类型进行操作时，使用 Object的缺点为：无法对 Object 编译时进行检查，因为 Object 是所有类的父类。
? 表示了集合[所有Java类型，包括String，Integer，Character等系统定义的，或者用户定义的类型]这个整体；而 T 表示了集合[所有Java类型，包括String，Integer，Character等系统定义的，或者用户定义的类型]中的一个成员。

当Integer类是Number类的子类时，List<? extends Integer>是List<? extends Number>的子类，而List<Integer>不是List<Number>类的子类。
可以向 List<Object> 中插入 Object 对象或者其子类对象，但只能向 List<?> 中插入 null 值，因为List<?>无法确定插入的元素的类型，而null是所有类型的成员。
类型参数写成全大写的有意义的单词是更具可读性的方式。

---

致力于C、C++、Java、Kotlin、Android、Shell、JavaScript、TypeScript、Python等编程技术的技巧经验分享。

若作品对您有帮助，请关注、分享、点赞、收藏、在看、喜欢。您的支持是我们为您提供帮助的最大动力。