在看Java代码的时候,老是会看见泛型中出现?比如<?> <? extends E>之类的东西,那么这到底是啥?今天看到Java程序设计进阶篇的时候才知道这是通配泛型。
先看一个小例子
public static void main(String[] args) {
GenericStack<Integer> intStack = new GenericStack<>();
intStack.push(1);
intStack.push(2);
intStack.push(-2);
System.out.println("The max number in the stack is: "+max(intStack));
}
public static double max(GenericStack<Number> stack){
double max =stack.pop().doubleValue();
while (!stack.isEmpty()){
double value = stack.pop().doubleValue();
if (value>max){
max = value;
}
}
return max;
}
这个例子定义了一个泛型max方法,返回一个栈中的最大数,在main中实例化了一个<Integer>类型的栈,放进去3个整数然后调用max方法打印结果。
然而,在调用max(intStack)这个地方,编译器报错了。因为Generic<Integer>并不是一个Generic<Number>的实例,所以不能够调用max方法。尽管Integer是Number的子类,但是Generic<Integer>和Generic<Number>之间并没有继承的关系,所以这个地方就要用到通配泛型了。
通配泛型有三种类型:
1.<?>称为非受限通配,其实就相当于<? extends Object>,可以表示任何一种对象类型
2.<? extends T>称为受限通配,表示需要的是T或者T的子类型
3.<? super T> 称为下限通配,表示需要的是T的父类型
由此,我们可以把上面的max函数进行修改:
public static double max(GenericStack<? extends Number> stack)
这样子编译器就不会报错了。进行受限通配之后,只要是Number的子类型都能够通过max函数取得到栈中的最大值再来看一下什么时候需要用到下限通配<? super T>
public static void main(String[] args) {
GenericStack<String> stack1 = new GenericStack<>();
GenericStack<Object> stack2 = new GenericStack<>();
stack2.push("Java");
stack2.push(2);
stack1.push("String");
add(stack1,stack2);
}
public static <T> void add(GenericStack<T> stack1,GenericStack<? super T> stack2){
while (!stack1.isEmpty()){
stack2.push(stack1.pop());
}
}
这是一个使用下限通配的例子。实例化了两个栈,stack1存放String,stack2则是存放Object,而String是继承了Object的。
下面要实现一个add方法来将栈1中的元素push到栈2中去,怎么实现?
如果修改add方法
public static <T> void add(GenericStack<T> stack1,GenericStack<T> stack2)
将第二个参数的类型改为GenericStack<T>编译就 不会通过,因为Object是String的父类,所以不能用GenericStack<String>来表示stack2