黑马程序员-----Java模仿C++之泛型

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

<泛型>

Java在最初设计的时候认为泛型并不适用所以并没有为Java设计泛型，但是后来发现泛型其实没有那么鸡肋，但可是Java已经不可能为了增加泛型而去修改虚拟机的架构，所以在编译器的层上增加了对泛型的支持，这也就是Java的泛型为什么没有C++的强大，因为Java的泛型只存在于编译期，在字节码里并没有泛型

泛型的标志是<T>(PS:让我想起了Perl里的宝石操作符)

泛型的好处:

泛型的适用可以省去类型转换

泛型可以将集合中的元素限定到一种特定类型

但是：

泛型是提供给编译器使用的，所以泛型存在于编译期

编译期过后会去类型化，去掉类型信息

！所以可以透过反射去给泛型集合加入限定类型以外的类型的元素

ArrayList<E>称为泛型类型

E称作类型参数

ArrayList<Integer>称为参数化的类型，Integer称为实际类型参数

<>念作typeof

参数化类型可以向下兼容原始类型对象

例：

Connection<String> con = new Vector()

原始类型可以引用一个参数化类型对象

例：

Vector v = new Vector<String>();

但无论怎样定义泛型都只存在与编译期，在字节码里v只是new Vector()而已

参数化类型不考虑类型参数的继承关系

泛型中的？通配符

?表示泛型中的任意类型

适用？通配符可以引用其他各种参数化的类型，？通配符定义的变量主要用作引用，可以调用与参数化无关的方法，不能调用与参数化有关的方法

通配符的扩展

限定通配符的上边界

? extends ClassName

限定通配符的下边界

? super ClassName

可以用&同时定义多个边界

？ extends A_ClassName&B_ClassName

自定义泛型：

T代表任意某类型

public <T> T Method (T parameter1,T parameter2){
    //do...
}

Java的泛型是在编译期实现的，所以无法拥有完整的C++泛型模板的强大功能

泛型类型只能是对象类型，只有引用类型才能作为泛型的实际参数

<>括号内可以指定多个类型参数,如

HashMap<K,V>

如果调用方法时多处的实际应用类型对应到了不同的类型，且没有返回值，这时候取多个参数的最大交集，如果有返回值则优先考虑返回值的类型

 

如果类的实例对象中的多处要用到同一个泛型参数，使这些地方引用的泛型类型保持同一类型，就可采用泛型类型的方式对类进行定义，也就是类级别的泛型

public class ClassName <T>{
    public T method(T t){......}
    public T method2(T t){......}
}

静态方法不能适用类级别的泛型类型，因为静态方法是类所持有的，对象共有，但是静态方法可以

自己定义自己的泛型

public static<T> T method (T t){
    //do........
}

通过变量是无法知道变量类型的泛型类型，因为泛型只存在于编译期!

但是可以通过反射方法类型，而获得方法参数的泛型类型

Type [] types=
xxx.class.getMethod("methodName",Parameter.class).getGenericParameterTypes();
ParameterizedType type =(ParameterizedType)types[0];
type.getActualTypeArguments()[0] 

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

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