Java进阶之泛型

打好基础的第一天

java知识是做为Android开发的语言基础，虽然如今咱们已经推出了kotlin，可是基于如下缘由咱们仍是须要好好紧紧掌握java

• kotlin也须要编译成为java运行；
• 目前大量的第三方库和继承与前任的代码都是java所写的；
• Java语言应用不只仅在Android，就是在后台开发中也是一个最流行的语言；
• 大公司面试都要求咱们有扎实的Java语言基础。因此，请你们不要轻视提升本身Java基础的机会，请你们认真学习，作好笔记，争取取得更大的进步。

为何须要泛型

public int addInt(int x, int y){
    return x+y;
}
public float addInt(float x, float y){
    return x+y;
}

public static void main(String[] args){
    List list = new ArrayList();
    lisr.add("1");
    lisr.add("2");
    lisr.add(3);
    for(int i = 0; i < list.size(); i++){
        String name = (String) list.get(i);
        System.out.println("value");
    }
}
// 运行时会出现“java.lang.ClassCastException”

复制代码

实际开发,常常有数值求和的需求.即不一样的数据类型执行同样的逻辑 作同样的事情.这个时候就须要泛型出马啦.

在如上的编码过程当中，咱们发现主要存在两个问题：

• 当咱们将一个对象放入集合中，集合不会记住此对象的类型，当再次从集合中取出此对象时，改对象的编译类型变成了Object类型，但其运行时类型任然为其自己类型。
• 所以，//1处取出集合元素时须要人为的强制类型转化到具体的目标类型，且很容易出现“java.lang.ClassCastException”异常。

因此泛型的好处就是:

• 适用于多种数据类型执行相同的代码
• 泛型中的类型在使用时指定, 不须要强制类型转换

泛型类和泛型接口

泛型，即“参数化类型”。一提到参数，最熟悉的就是定义方法时有形参，而后调用此方法时传递实参。那么参数化类型怎么理解呢？ 顾名思义，就是将类型由原来的具体的类型参数化，相似于方法中的变量参数，此时类型也定义成参数形式（能够称之为类型形参），而后在使用/调用时传入具体的类型（类型实参）。 泛型的本质是为了参数化类型（在不建立新的类型的状况下，经过泛型指定的不一样类型来控制形参具体限制的类型）。也就是说在泛型使用过程当中，操做的数据类型被指定为一个参数，这种参数类型能够用在类、接口和方法中，分别被称为泛型类、泛型接口、泛型方法。 引入一个类型变量T（其余大写字母均可以，不过经常使用的就是T，E，K，V等等），而且用<>括起来，并放在类名的后面。泛型类是容许有多个类型变量的。

public class NormalGeneric<T>{
    private T data;
    public NormalGeneric(){
    }
    public NormalGeneric(T data){
        this();
        this.data = data;
    }
}
public class NormalGeneri2c<T, V>{
    private T data;
    private V result;
    public NormalGeneric2(){
    }
}
public interface Generator<T>{
    public T next();
}
复制代码

泛型接口与泛型类的定义基本相同。

实现泛型接口的类 有两种方法方式

//不传入泛型实参时
public class GeneratorImpl<T> implement Generator<T>{
    public T next(){
        return T;
    }
}
// 传入泛型实参
public class GeneratorImpl2 implement Generator<String>{
    public String next(){
        return "ok";
    }
}
复制代码

泛型方法

泛型方法, 是在调用方法的时候指明泛型的具体类型 ，泛型方法能够在任何地方和任何场景中使用，包括普通类和泛型类。注意泛型类中定义的普通方法和泛型方法的区别。

public class GeneratorMenhod<T>{
    private T data;
    // 这不是一个泛型方法 这只是在泛型类中的一个普通方法 只不过是它的返回类型是泛型类中的类型.
    public T get(){
        return data;
    }
    
    // 这才是一个泛型方法 在public与返回值指尖的<T>不可缺乏
    public <T> T textMetgod(T...a){
        return a[a.length/2];
    }
}
复制代码

限定类型变量

有时候，咱们须要对类型变量加以约束，好比计算两个变量的最小，最大值。

public <T> T textMetgod(T a, T b){
        return a.compareTo(b) > 0 ? a : b;
    }
    // 编译报错 提示没有a compareTo方法
复制代码

如何确保传入的两个变量必定有compareTo方法？那么解决这个问题的方案就是将T限制为实现了接口Comparable的类

/* T表示应该绑定类型的子类型，Comparable表示绑定类型，子类型和绑定类型能够 是类也能够是接口。*/
    public <T extends Comparable> T min(T a, T b){
        return a.compareTo(b) > 0 ? a : b;
    }
    
    /* 若是这个时候，咱们试图传入一个没有实现接口Comparable的类的实例，将会发生编译错误。*/
    
    public static void main(String[] args){
        min(22, 22);// 成功比较
        min("a", "b");// 成功比较
        min(new Test(), new Test()); // 提示报错
    }
复制代码

同时extends左右都容许有多个，如 T,V extends Comparable & Serializable 注意限定类型中，只容许有一个类，并且若是有类，这个类必须是限定列表的第一个。 这种类的限定既能够用在泛型方法上也能够用在泛型类上

泛型的约束性和局限性