写这个博文的目的：1.校验自己的学习成果的不足，与错误的地方（大牛么看到指正一下）。
2.与整天忙于coding的没留意过泛型的同志们一起学习。
废话：
Java泛型与C++的模板十分类似，感觉JAVA跟C++就是一个原理，大学时着两门语言都看过，感觉JAVA就是C++的简洁版C=>C++=>Java依次进化，逻辑的实现编程越来越简单，
Java一直承诺是面向对象的编程，在刚学习java时这个给我的印象十分深刻，看了Java泛型设计后，感觉是java那帮人抛弃了自己的诺言，变成了为了实现编程而进行编程，又回到当时学C时的感觉了。
自己也很水，平时也不怎么使用泛型，用的最多的就是别人写好的，呵呵。
下面写一下自己学习泛型的理解，正在给自己充电各种学习，有不对或不全的地方欢迎大家指正。
一、泛型的使用场景
我感觉泛型主要用于2方面
1.JAVA提供的各种容器 比如List Map Set 等
2.大家在编程中各种操作对象实体的动态生成
比如：产生Service Dao的实体操作对象代码中可能会有getService(); getDao()等
二、泛型的作用
1.减少重复模式代码的编写。
2.控制类型的安全，这个在JAVA容器中体现较为直观。
三、泛型类的定义
：一个泛型类就是具有一个或多个类型变量的类。
例：public class Pair<T>{
private T first;
private T second;
public Pair(){firs= null; second = null;}
public Pair(T first,T second){ this.first = .......}
public T getFirst(){return first;}
pubic T getSecond(){return second;}
public void setFirst(T fisrt){......}
public void setSecond(T second){......}
}
T 就是Pair类的类型变量，用具体的类型替换类型变量就可以实例化泛型类型，比如Pair<String>
Pair(String first,String second)
这时调用getFirst()/getSecond()返回的都是String类型。
可以把泛型看成产生普通类的一种方式，比如几种类型都用到了Pair类
比如 Pari<Integer>,Pair<String>用T变量来分别代表String,Integer就减少了这个中类型模式下的重复代码。
类型安全：不恰当的比喻是Pair没有T泛型时，我们给Pair初始化放入值后,分别放入String变量值与Integer变量值，当我们用String xxx = pair.getFirst(); String xxxx = getSecond();时其中有一个是Integer类型强转肯定汇报错，加上泛型时：就限定了他们两个必须是同一个类型，当时不同类型时是放入不进去的会报错。
说的有点绕，恰当点的就是容器中的限定比如List<String> 结果你放入一个Integer肯定是不行的。
泛型可以引入多个变量比如 public class Pari<T,V>{......} T和V分别限定了不同的类型的泛型。
跟上面说的一样，大家可以试试就是 T first;V second;
四、泛型方法的定义
class ArrayAlg{
public static <T> T getMiddle<T[] a>{
return a[a.length/2];}
}
<T> T : <T> 是类型变量，T是返回类型。
String[] names = {"11","22","33"};
String middle = ArrayAlg.<String>getMiddle(names);
String middle = ArrayAlg.getMiddle(names);
这两种取值方式都是正确的，因为参数类型与返回类型都是T 所以当指定了参数类型时，就已经传入了类型变量。
泛型方法的普通项目中用的最多的：
public <T> T getObject(Class<T> c){
T t = c.newinstance(); return t;
}
五、类型变量的限定约束
限定约束类型变量T，一般是由于泛型方法，或泛型类中指定了特定的实现，而这种特定的实现，并不是所有普通类都具有，可能是只有实现了特定接口的类才能够使用这种泛型类，这就是类型变量T的范围限定。
比如：泛型方法中逻辑实现使用了compare方法，不是所有的Java类型都有compare方法，为了防止出现异常，在类型变量T加以限定 <T extends Comparable>
指定了送入的类型变量T必须是实现了Comparable接口的类型。
<T extends Comparable&Serializable&...> T 可以被多个接口限定，如果限定中有一个类，那么这个类必须是extens后面的第一个,
关于泛型造成的多态的混乱大家可以网上搜一下，及解决方法
泛型最好不要使用instanceof类型判断 因为 a instanceof Pair<String> 与a instanceof Pair<T> 都返回true
六、通配符 Pair<? super xxxx>
extends是用父类限定子类的类型，super是用子类来说明父类，我感觉这样很难理解 只能说明存在这种关系，而且如果是接口的话那么?代表的接口类型也是比较宽泛的
我是这样理解的 <? super xx> a类型 obj实例
<? extends xxx> b类型 obj实例
a 用于给obj赋值调用setMethod
b 用于obj中取值调用getMethod
分开理解
当xx 表示Manager xxx表示Employee时
Pair<Manager> getMethod 可以返回Employee,Pair<Employee>中的set方法可以设置Employee的任何子类，反过来则不行。
分开理解，这是两种类型，放在一起就混了，一个取值一个用，一个放值用。也就是为了实现不同功能的限定
不正确或不足的地方，大家指正！！