关于泛型的一些术语

术语	范例
参数化的类型	List<String>
实际类型参数	String
泛型	List<E>
形式类型参数	E
无限制通配符类型	List<?>
有限制的通配符类型	<E extends Number>
递归类型限制	<T extends Comparable<T>>
泛型方法	static <E> List<E> asList(E[] a)
类型令牌	String.Class

使用泛型，就会发现，编译时，泛型类型的参数会包容他的子类，如

Stack<Object> stack = new Stack<>();
stack.push("asdf");
stack.push(123456);

泛型指定的是Object类，添加时，只要是Object的子类都可以添加进去。

添加一些关于有限制的通配符类型的解释

术语	范例
E的某个子类型	? extends E
E的某个子类型的Xxx接口	Xxx<? extends E>
E的某种超类	? super E
E的某种超类的集合	Collection<? super E>

可能会对有限制的通配符类型有些不理解，那么通过下面的例子来进行解释

public class Test {
    public static void main(String[] args) {
        Stack<Integer> stack = new Stack<>();
        /*
        这句话会报出Stack(Stack<java.lang.Number>)in Stack cannot be applied to
(Stack<java.lang.Integer>) 错误
 		原因是因为，Stack<E> 无法接受出 Stack<E> 以外的任何泛型的stack，无论是E的子类泛型，还是E的父类泛型。
 		这时，修改 第二个构造函数，将参数改为Stack<? extend E> 即可
        */
        Stack<Number> stack1 = new Stack<Number>(stack);
    }
}
class Stack<E>{
    private E[] elements;
    private int size = 0;
    private static final int DEFAULT_INITIAL_CAPACITY = 16;
    public Stack(){
        this.elements = (E[]) new Object[DEFAULT_INITIAL_CAPACITY];
    }
    public Stack(Stack<E> stack){
    	this.elements = (E[]) new Object[DEFAULT_INITIAL_CAPACITY];
    }
    
}

参数是集合、接口等情况时，就会发现，无法兼容子类，这是因为，Stack<Object>和Stack<String>不相同，谁都不是谁的子类，谁也不是谁的父类，因此为了提高灵活性，需要使用有限制的通配符类型。