java 泛型的学习和理解

首先，我也是借鉴许多网上的资料来进行模仿和理解，便于以后的时候，主要的目的为了记录下，方便以后回看。

最近在看数据结构和算法分析java 版的时候，直接被习题给难住了，根本无从下手，所以决定重新认识和了解下泛型，查漏补缺。

---

1.什么是java 泛型

泛型的本质是参数化类型，也就是说所操作的数据类型被指定为一个参数。这种参数类型可以用在类、接口和方法的创建中，分别称为泛型类、泛型接口、泛型方法。

2.泛型的使用的限制

• 泛型的类型参数只能是类类型（包括自定义类），不能是简单类型。
• 同一种泛型可以对应多个版本（因为参数类型是不确定的），不同版本的泛型类实例是不兼容的。
• 泛型的类型参数可以有多个。
• 泛型的参数类型可以使用extends语句，例如。习惯上称为“有界类型”
• 泛型的参数类型还可以是通配符类型。例如Class

3.？ E T 的含义后区别

遇到 T,E,K,V等，是用到了java中的泛型。
一般使用<#T#>来声明类型持有者名称，自定义泛型类时，类持有者名称可以使用T(Type)
如果是容器的元素可以使用E(Element)，若键值匹配可以用K(Key)和V(Value)等，
若是 ?，则是默认是允许Object及其下的子类，也就是java的所有对象了。

所以说，如果是字每A,B,C,D…定义的，就是泛型，这里T只是名字上的意义而已
T—type,E—-Element
K—-key, V—-value
如果是？定义的，就是普通的Object或者其子类

举例说明： #号是多余的
Set<#T#> 表示 集合里 是 T类的实例
List<#E#> 表示 集合里 是 E类的实例
List<#?#> 表示 集合里的对象类型不确定，未指定
List 同 List<#?#> 是一样的。

4.代码说明

• 4.1 这里是默认的使用Object 的例子

@/**
 * 通用类型的一个例子 on 2016/3/18.
 */
public class GenNormalDemo {
    private Object object;

    public GenNormalDemo(Object o){
        this.object = o;
    }

    public Object getObject() {
        return object;
    }

    public void setObject(Object object) {
        this.object = object;
    }

    public String showType(){
        return "实际参数的类型是="+object.getClass().getName();
    }

}

在解析的时候，需要进行类型的强制转换。

下面是使用泛型的例子：

/**
 * 使用泛型定义的类型 on 2016/3/18.
 */
public class GenTDemo<T> {
    private T object;

    public GenTDemo(T ob){
        this.object = ob;
    }

    public T getObject() {
        return object;
    }

    public void setObject(T object) {
        this.object = object;
    }

    public String showType(){
        return "泛型定义的类的实际参数的类型是="+object.getClass().getName();
    }
}

使用泛型的时候，直接获取的是相应的类型。不许强制转换。
注意：基本类型无法作为 T 的实际参数传递的

下面是对为什么能获取到对应类型的解释，为什么类没有受到类擦除机制的影响。（摘录）

第一组关键词：引用，实例化。

先看下面这个简单的例子：
Object obj=new Integer();
System.out.println(obj.getClass());

obj是引用，引用的类型是Object，实例的类型是Integer
我们知道，引用是栈保存的一个类似地址的信息，本身没有任何含义，真正能保存信息的是new Integer()所划分的内存空间。
即是说，Integer这个信息是在实例里的

第二组关键词：继承，父类，子类
Integer继承自Object
obj.getClass()调用的是Integer的getClass方法，当然Integer是没有该方法，于是一直回溯到父类Object，找到Object的getClass方法，实现是本地native方法，我们不知道内部怎么构造，但是可以肯定，它是在根据引用地址找到实例位置，确定实例类型。
综合第一组可知，在这里，实例类型是Integer

第三才是泛型。
其实在第一部里面已经说明过了。
GenTDemo并没有维护T的信息。
维护T信息的是T ob;
GenTDemo<#Integer#> iObject执行这一部的时候，ob就认为自己是个Integer类型了。当它具有了实例之后，你才能调用getClass方法
所以综合上两点才表现出了你看到的效果。

对于GenTDemo来说，一旦运行，它就不在乎T是什么类型了，但是ob需要知道自己的类型吧？这个Integer被维护在了实例里。

• 4.2 泛型的限制，可以向上限制也可以向下限制

/**
 * 泛型里面的 T extends 的含义包括了 原来的 继承和实现，是两者的结合
 * T 必须是集合的类
 * lh on 2016/3/18.
 */
public class CollectionGenFoo< T extends Collection> {

/**
 * lh on 2016/3/18.
 * 其中？ 通配符泛型 表示不确定的类型
 * 其中k  表示内部实现comparable 的类，类似String，int 等
 */
public class Gen2Value<T,K extends Comparable<?>> {
    private T t;
    private K k;

    public Gen2Value(T t1,K k1){
        this.t = t1;
        this.k = k1;
    }

/**
 * lh on 2016/3/18.
 * 其中？ 通配符泛型 表示不确定的类型
 * 其中k  表示内部实现comparable 的类，类似String，int 等,? super Double  而且必须是Double的父类
 *
 */
public class GenSuper2Value<T,K extends Comparable<? super Double>> {
    private T t;
    private K k;

    public GenSuper2Value(T t1, K k1){
        this.t = t1;
        this.k = k1;
    }

下面截图中都有解释说明

4.3 泛型的方法的使用

使用泛型方法时，不必指明参数类型，编译器会自己找出具体的类型。泛型方法除了定义不同，调用就像普通方法一样。
需要注意，一个static方法，无法访问泛型类的类型参数，所以，若要static方法需要使用泛型能力，必须使其成为泛型方法。

/**
 * lh on 2016/3/18.
 */
public class TMethoddemo {

    public <T> void f(T x){
        Log.d("test","测试泛型方法 TMethoddemo x="+x.getClass().getName());
    }

}

最后

对于开头提出的问题，现在有点思路，还是希望有人帮助当然最好。。。。