再续java中的泛型

1、先看实例：

2、堆栈的实现在面试中非常流行。他们有一套相对较小的操作, 通常是push、pop, 也许还有peek。使用 java 集合 api 可以很容易地实现堆栈;不需要额外的库。花点时间, 确保你明白为什么在这里使用 linkedlist--arraylist 也能奏效吗？有什么区别？

3、对于给定的实现, 这是一个完全正常运行的堆栈, 尽管它尚未开发用于泛型。若要迁移此类以使用泛型, 可以使用编译器作为指南。首先, 必须声明 stack 类才能采用参数化类型:public class GenericStack<E> {...

4、e 是参数化类型变量。任何符号都可能被使用。这里的 e 代表 "元素", 反映了它在集合 api 中的使用。包含的列表现在可以使用此泛型类型。private final List<E> values;

5、这将立即引发编译器错误。推送方法采用对象, 但现在需要获取 e 类型的对象：public void push(final E element) { values.add(0, element); }

6、将值更改为 "List<E> 还会在 stack 构造函数中引发编译器警告。创建值 linkedlist 时, 这也应参数化:public GenericStack() { values = new LinkedList<E>();}

7、编译器不知道的一个更改是对 pop 方法的更改。pop 方法的最后一行, va盟敢势袂lues.remove(0) 现在返回类型为 e. 当前, 此方法返回 object。编译器没有理由出错, 甚至没有理由抛出警告, 因为 object 是所有类的超级类型, 无论 e 是什么。可以将其更改为返回类型 e:public E pop() { if (values.size() == 0) { return null; } return values.remove(0);}

8、继承关系的类如何影响泛型呢？

9、给定以下类层次结构:class A {}class B extends A {}

10、b 是 a 的子类型。但List<B> 不是List<A> 的子类型。java 的泛型系统被称为协方差, 无法对其进行建模。

11、在处理泛型类型时, 在某些时候, 您可能希望接受类的子类型。使用上一个问题中的 genericstack 类荑樊综鲶, 想象一个实用程序方法, 它从 a 列表中创建一个新的 genericstack:public static GenericStack<A> pushAllA(final List<A> listOfA) { final GenericStack<A> stack = new GenericStack<>(); for (A a : listOfA) { stack.push(a); } return stack;}

12、这将完全按照 a 列釉涑杵抑表的预期方式进行编译和工作:@Testpublic void usePushAllA() { final ArrayList媪青怍牙<A> list = new ArrayList<>(); for (int i = 0; i < 10; i++) { list.add(new A()); } final GenericStack<A> genericStack = pushAllA(list); System.out.println(genericStack.pop()); }}

13、但是, 当尝试添加 b 列表时, 它不会编译:@Testpublic void usePushAllAWithBs() { final ArrayList<稆糨孝汶;B> listOfBs = new ArrayList<>(); for(int i = 0; i < 10; i++) { listOfBs.add(new B()); } final GenericStack<A> genericStack = pushAllA(listOfBs); System.out.println(genericStack.pop());}

14、虽然 b 是 a 的子类, 但List<B> 不是List<A> 的子类型。推送的方法签名需要更改以显式允许 a 和 a 的任何子类:public static GenericStack<A> pushAllA(final List<? extends A> listOfA) {}问号称为通配符, 它告诉编译器允许扩展 a 的类的任何实例。