java泛型小问题

泛型类和泛型接口比较好理解，例如interface Comparable<E>这样的接口定义，在使用的时候必须Comparable<String> str这样使用。

那么泛型方法为什么使用public static <E> void f(<E>)这样的函数原型呢？其实教科书上还有不写第一个<E>的例子。假如参数的泛型是没有指定的泛型符号，比如<E>，就要在前面加上<E>；如果类似GenericStack<Number>这种所有符号都有定义，就不需要了。根据观察一般定义泛型的类都不含main函数，含main函数的类使用泛型方法。调用泛型方法时可以不写出<>，但前提是调用类或对象必须是消除了泛型的。

泛型不支持例如new E()这种语法。new是运行时分配资源的，而java使用“类型消除”的方法实现泛型，即运行时没有泛型。

不支持ArrayList<String>[] list = new ArrayList<String>[10]这种泛型数组，只能采用ArrayList<String>[] list = (ArrayList<String>[])new ArrayList[10]这种由原始类型转换为泛型的方式。不是很理解这里。

顺便更新了有关函数重载和函数覆盖的知识。函数覆盖只要1、signature(函数签名)相同，即函数名、参数相同。返回类型的要求则是子类的函数返回类型substituable for父类的函数返回类型。2、子类函数参数和父类函数的type erase相同。这样就可以在父类函数声明为泛型函数时保留子类函数原型不变。

最难以理解的是继承或实现父类的一个instantiation。例如class SubClass extends SuperClass<Number>。直接链接好了，以后也好找：http://www.angelikalanger.com/GenericsFAQ/FAQSections/TechnicalDetails.html#FAQ813