[2016-9-3]泛型与约束

泛型与约束

1. 泛型的由来：在JDK5之前，java的泛型程序是通过继承来实现的，例如ArrayList只是维护了一个Object类型的数组，这样的实现就会带来一些问题，首先是传入的参数是Object类型，那么也就是可以使任意类型，如果你传入的都是Stirng类型的话，那么获取的时候需要进行强制类型转换，并且这个时候可以传入任意类型的参数，例如也可以传入File类型的数据进去，并没有类型检查，如果通过强制类型转化为String的时候，就会在运行的时候报错，为了解决这个问题，JDK5之后有了泛型类型，可以通过在定义类、方法等的时候指定泛型类型，那么在编译之前编译器就会检查你传入的参数类型是否正确，如果不正确是通不过编译的，在定义类的时候使用泛型要比在使用的时候进行参数类型的强制转换要好得多，并且不会在运行阶段出现强制类型转换出错的问题，泛型的使用，限制了参数的类型，增强了代码的可读性，只要这样定义ArrayList所有人都会知道这个数组中存放的数据都是String类型，泛型的出现使得程序的可读性和安全性得到提高，就像上面所说，如果在使用的时候并没有进行参数类型检测可能会传入各种类型的数据进去，而且使用的时候需要进行参数类型的强制转换，在编译时并不会报错，而在运行阶段就有可能出问题，在编译前的报错要比运行时出问题要好得多
2. 泛型的使用：

package wlvgfe.test;

public class wlvgfe201693<T> {
    private T _count;

    public void setCount(T t){
        _count=t;
    }

    public T getCount(){
        return _count;
    }

    public static void main(String[] args) {
        wlvgfe201693<Integer> t1=new wlvgfe201693<>();
        t1.setCount(123456);
        System.out.println(t1.getCount());

        wlvgfe201693<Double> t2=new wlvgfe201693<>();
        t2.setCount(324.324);
        System.out.println(t2.getCount());
    }
}

运行结果：
123456
324.324
泛型可以运用到类、方法、接口中，通过定义泛型可以限制我们传递参数的类型，如果传入不同于定义时的数据类型会报错，上面程序方法中的泛型参数只有一个，其实可以有两个或者两个以上，例如HashMap

package wlvgfe.test;

public class wlvgfe201693<T extends Number> {
    private T _count;

    public void setCount(T t){
        _count=t;
    }

    public T getCount(){
        return _count;
    }

    public static void main(String[] args) {
        wlvgfe201693<Integer> t1=new wlvgfe201693<>();
        t1.setCount(123456);
        System.out.println(t1.getCount());

        wlvgfe201693<Double> t2=new wlvgfe201693<>();
        t2.setCount(324.324);
        System.out.println(t2.getCount());

        //使用了泛型通配符之后，下面的代码就会报错
        wlvgfe201693<String> t3=new wlvgfe201693<>();
        t3.setCount("feafe");
        System.out.println(t3.getCount());
    }
}

T extend Number限定了泛型参数的上限，也就是说只有继承了Number类的类型才可以作为此类的参数使用，而String类型显然不是，这个时候就无法通过编译
同样还有T super X，用来限定泛型参数的下限，只有X的基类才可以作为泛型参数传递，其他类型不可以
泛型参数的类型可以是类也可以是接口，如果是接口的可以实现多个接口的泛型参数，通过&符来进行连接

package wlvgfe.test;

import java.io.Serializable;

public class wlvgfe201693<T extends Number & Serializable & Comparable<T>> {
    private T _count;

    public void setCount(T t){
        _count=t;
    }

    public T getCount(){
        return _count;
    }

    public static void main(String[] args) {
        wlvgfe201693<Integer> t1=new wlvgfe201693<>();
        t1.setCount(123456);
        System.out.println(t1.getCount());

        wlvgfe201693<Double> t2=new wlvgfe201693<>();
        t2.setCount(324.324);
        System.out.println(t2.getCount());

        //使用了泛型通配符之后，下面的代码就会报错
        wlvgfe201693<String> t3=new wlvgfe201693<>();
        t3.setCount("feafe");
        System.out.println(t3.getCount());
    }
}

3、java泛型转换有以下事实：

1. 虚拟机中没有泛型，只有普通的类和方法，在进行泛型类型的编译时候将泛型类型用普通类型进行替换
2. 所有的类型参数都用它们的边界替换
3. 为保持类型安全性，必要时插入强制类型转换

4、泛型的约束与局限性：
1. 不能使用基本类型作为泛型类型，泛型类型只能是引用类型
2. 不能抛出或者处理泛型类型的对象，泛型类扩展Throwable都不合，法，换句话说任何泛型类都不能实现Throwable接口，不能在catch子句中使用泛型类型对象，这句话的意思就是如果在参数中指定了泛型参数的话，并不能在catch子句中使用，但是如果throws的类型是泛型类型的话就是合法的
3. 禁止使用参数化类型的数组
4. 不能实例化反省类型
5. 不能在静态域或者静态方法中引用反省类型变量，例如：

```
public class Singleton<T>(){
    private static T _singleton=null;
    public static T getSingleton(){//无法通过编译
        if(_singleton==null){
            //构造这个T
        }
        return _singleton;
    }
}
```
因此禁止使用带有类型变量的静态域和静态方法

5、关于泛型类型的继承规则
1. 无论S和T有什么关系，ClsName和ClsName都没有什么关系
2. 泛型类可以实现或者扩展其他的泛型类，这一点与普通的类相同