java泛型学习笔记

写这个博文的目的：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的任何子类，反过来则不行。

分开理解，这是两种类型，放在一起就混了，一个取值一个用，一个放值用。也就是为了实现不同功能的限定

 

不正确或不足的地方，大家指正！！