Java--泛型

 

类型参数

 

在定义泛型类或声明泛型类的变量时，使用尖括号来指定形式类型参数。形式类型参数与实际类型参数之间的关系类似于形式方法参数与实际方法参数之间的关系，只是类型参数表示类型，而不是表示值。

命名类型参数

推荐的命名约定是使用大写的单个字母名称作为类型参数。这与 C++ 约定有所不同（参阅 附录 A：与 C++ 模板的比较），并反映了大多数泛型类将具有少量类型参数的假定。对于常见的泛型模式，推荐的名称是：

K —— 键，比如映射的键。 
V —— 值，比如 List 和 Set 的内容，或者 Map 中的值。 
E —— 异常类。 
T —— 泛型。

方法签名由方法名称和一个参数列表（方法的参数的顺序和类型）组成。

 

1.为什么要用泛型

     1.对放进去的元素没有限制，放进两种不同的对象，可能会引起异常。

      2.把对象丢进集合，集合丢失了对象的状态信息，集合只知道它盛放的是Object、因此取出集合元素后通常还需要进行强制转换

2.什么是泛型

    Java的参数化类型被称为泛型，允许程序在创建集合的时候指定集合元素的类型

3.泛型的菱形语法

后面只需要带一对菱形括号，不需要再带泛型

4.创建带泛型声明的自定义类，为该类定义构造器时，构造器名还是原来的类名，不要增加泛型声明。

5.从泛型类派生子类，继承的时候必须为父类传入实际的参数

public class A extends Apple{}

里面所有重写父类的方法变成相应的类型

也可以不传入实际的参数

public class A extends Apple{}

当成Obejct类型处理

6.并不存在泛型类

  不管泛型的实际类型参数是什么，他们在运行时总有同样的类。不管泛型的类型形参传入哪一种类型实参，（在于Java中的泛型这一概念提出的目的，导致其只是作用于代码编译阶段，在编译过程中，对于正确检验泛型结果后，会将泛型的相关信息擦出，也就是说，成功编译过后的class文件中是不包含任何泛型信息的。泛型信息不会进入到运行时阶段。）对于Java来说，他们依然被当成同一个类处理，在内存中也占一块内存空间9，因此在静态方法，静态初始化块或者静态变量的声明和初始化中不允许使用类型形参

           解释：

静态变量是被泛型类所有实例所共享的。对于声明为MyClass的类，访问其中的静态变量的方法仍然是MyClass.myStaticVar。不管是通过new MyClass还是new MyClass创建的对象，都是共享一个静态变量。假设允许类型参数作为静态变量的类型。那么考虑下面一种情况：

 

 

 

MyClass class1 = new MyClass();

 

MyClass class2 = new MyClass();

 

class1.myStaticVar = "hello";

 

class2.myStaticVar = 5;

 

由于泛型系统的类型擦除(type erasure)。myStaticVar被还原成Object类型，然后当调用class1.myStaticVar= "hello"; 编译器进行强制类型转换，即myStaticVar = (String)"hello";接着调用class2.myStaticVar语句时，编译器继续进行强制类型转换，myStaticVar = (Integer)Integer.valueOf(5); 此时myStaticVar是String类型的，当然该语句会在运行时抛出ClassCastException异常，这样一来存在类型安全问题。因此泛型系统不允许类的静态变量用类型参数作为变量类型。

 

    系统中不会真正生成泛型类，因此instanceod运算符后不能使用泛型类，因为根本不存在！

7.类型通配符

 注意的是，如果Foo是Bar的一个子类型，而G是具有泛型声明的类或接口，G并不是G的子类型。

假设List