黑马程序员__Java中的泛型

                                                                        ----------------------android培训、java培训、期待与您交流！ ----------------------

泛型：泛型是提供给javac编译器使用的，可以限定集合中的输入类型，让编译器挡住源程序中的非法输入。泛型的参数不能是基本类型。


编译器编译带类型说明的集合时会去除掉“类型”信息，使程序运行效率不受影响，对于参数化的泛型类型，getClass()方法的返回值和原始类型完全一样。
由于编译生成的字节码会去掉泛型的类型信息，只要能跳过编译器，就可以往某个泛型集合中加入其它类型的数据，例如，用反射得到集合，再调用其add方法即可。
Vector<String> v=new Vector<String>();
v.add("aaaaaa");
v.getClass().getMethod("add",Object.class).invole(v,7)

参数化类型与原始类型的兼容性：
参数化类型可以引用一个原始类型的对象，编译报告警告，例如， Collection<String> c = new Vector();//可不可以，不就是编译器一句话的事吗？
原始类型可以引用一个参数化类型的对象，编译报告警告，例如， Collection c = new Vector<String>();//原来的方法接受一个集合参数，新的类型也要能传进去
思考： Vector v1 = new Vector<String>(); 
Vector<Object> v = v1;////编译通过了。一定要分清编译阶段和运行阶段。编译器只知道v是Vector类型的，此处相当于参数化类型引用原始类型


参数化类型不考虑类型参数的继承关系：
Vector<String> v = new Vector<Object>(); //错误!///不写<Object>没错，写了就是明知故犯
Vector<Object> v = new Vector<String>(); //也错误!

数组不能使用泛型。编译器不允许创建泛型变量的数组。即在创建数组实例时，数组的元素不能使用参数化的类型，例如，下面语句有错误：
Vector<Integer> vectorList[] = new Vector<Integer>[10];//错误!
泛型限定：
通配符-->?
使用?通配符可以引用其他各种参数化的类型，?通配符定义的变量主要用作引用，可以调用与参数化无关的方法，不能调用与参数化有关的方法。
限定通配符的上边界：
正确：Vector<? extends Number> x = new Vector<Integer>();
错误：Vector<? extends Number> x = new Vector<String>();
限定通配符的下边界：
正确：Vector<? super Integer> x = new Vector<Number>();
错误：Vector<? super Integer> x = new Vector<Byte>();
提示：
限定通配符总是包括自己。?只能用作引用，不能用它去给其他变量赋值
Vector<? extends Number> y = new Vector<Integer>();
Vector<Number> x = y;
上面的代码错误，原理与Vector<Object > x11 = new Vector<String>();相似，

自定义泛型方法：即在返回值前加上<T>
自定义泛型类型：在一个类中的多处要使用同一类型的泛型，就用泛型类型，即 将泛型定义在类上。

静态也可以使用泛型，但不能使用和类相同的泛型，要独立写。当一个变量（类型参数）被声明为泛型时，只能被实例变量、方法和内部类调用，
而不能被静态变量和静态方法调用。因为静态成员是被所有参数化的类所共享的，所以静态成员不应该有类级别的类型参数。
public static<T> void save(T t){}
                                     ---------------------- android培训、java培训、期待与您交流！

                                ----------------------详细请查看：http://edu.csdn.net/heima