jzhong720的博客

Arrays:covariant: if Sub is a subtype of Super, then Sub[ ] is a subtype of Super[ ]reified: arrays know and enforce their element types at runtimeGenerics:invariant: two distinct types Type1 and Type2, List<Type1> is neither a subtype nor a s

因为parameterized type是invariant的，换句话说，也就是两个不同的类，type1和type2，无论type1和type2是什么关系，List<type1>既不是List<type2>的subtype也不是supertype。这样设计generic类别时会有局限性，还是拿Stack来举例：public class Stack<E> { public Stack(); public void push(E e); publi

Generic类型的集合类不需要客户端代码进行cast操作，而且更安全，所以在设计集合类的时候，尽可能设计成generic类型。如何设计可以借鉴Stack这个类的设计// Object-based collection - a prime candidate for genericspublic class Stack { private Object[] elements; private int size = 0; private static final int DEF

Wildcards in JavaUnbounded wildcardsThe unbounded wildcard type是用通配符字母？来表示的，比如List<?>，我们把这个叫做一个未知类型的列表。通常有两种情况特别适用使用unbounded wildcard type：如果你写一个method，里面的实现是需要用到Object类的方法的当你的代码用到generic class的方法，但是这个方法不依赖type parameter例子：写一个方法打印出来列表中所有元素（并

什么是 unchecked warningUnchecked warning是由于compiler没有足够的type信息，无法判断某个操作是否type safety，所以给了warning。比如把一个raw type返回值的方法赋值给了一个generic type，compiler无法知道raw type集合里面的实例时什么，所以就不能肯定这个赋值的正确性，所以给与了警告，很有可能在runtime就发生了ClassCastException.所以每一个unchecked warning都表示可能在run

[Effective Java] Item 23: Don’t use raw types in new code