术语 | 范例 |
---|---|
参数化的类型 | 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>不相同,谁都不是谁的子类,谁也不是谁的父类,因此为了提高灵活性,需要使用有限制的通配符类型。