Android——深入Java泛型

1.泛型的好处

a.适用于多种数据类型执行相同代码
b.泛型中的类型在使用时指定，不需要强制类型转换

2.泛型类和泛型接口

//泛型类
public class Normal{//......}
//泛型接口
public interface NormalImpl{//......}
//实现泛型接口的两种方式
public class FirstNormal extends NormalImpl{//....}
public class SecondNormal extends NormalImpl{//....}

3.泛型方法

public class GenericMethod{
        //泛型方法，是在调用时指明泛型的具体类型，它可以在任何地方和任何场景中使用
        //泛型方法一定是在使用‘’形式声明的，否则就是普通方法
        public  T genericMethod(T ...a){
                  return a[a.length/2];
        }
}

4.限定类型变量

//如果泛型T不限定为Comparable及其子类，那么 a 参数就无法使用compareTo()方法
public static  T min( T a, T b){
          if(a.compareTo(b)>0) return b;else return a;
}

5.泛型中的约束和局限性

a.不能用基本类型实例化参数

// Restrict这种不允许
Restrict=new Restrict();

b.运行时只能查询原始类型

// if(restrict instanceof Restrict) 这种不允许
// if(restrict instanceof Restrict)这种不允许
Restrict restrict=new Restrict()
System.out.println(restrict.getClass().getName());
//这里得到类名为 Restrict

c.泛型类静态上下文中类型变量失效

//静态域或者方法里不能引用类型变量
//private static T instance;
//静态方法 本身是泛型方法则可以
private static  T instace(){//.....}

d.不能创建参数化类型的数组

Restrict[] restricts;//允许
//Restrict[] restricts=new Restrict[10];//不允许 

e.不能实例化类型变量

//不能实例化泛型变量
//public class Restrict(){
//        this.data= new T();
//}

f.不能捕获泛型类的实例

//泛型类不能 extends Exception/Throwable
//private class Problem extends Exception{}
//不能捕获泛型类对象
//public  void doWork(T t){
//try{    }catch(T e){// do something}
//}

6.泛型继承规则

public class Child extends Parent{}

7.通配符

两种方式：
? extends X 表示类型的上界，类型参数只能是X及其子类

GenericType c=a;
Apple apple=new Apple();
Fruit fruit=new Fruit();
//c.setData(apple); //不允许
//c.setData(fruit);//不允许
Fruit y=c.getData();//允许
//原理：使用set方法时，编译器不知道传入的值是X的那个子类，所以无法使用set方法
//使用get方法时，编译器知道肯定是X或者X的子类，所以使用get方法时返回X类

? super X 表示类型的下界，类型参数只能是X及其父类
对泛型类GenericType来说，如果其中提供了get和set类型参数变量的方法的话，set方法可以被调用的，且能传入的参数只能是X或者X的子类

GenericType c=a;
Apple apple=new Apple();
Fruit fruit=new Fruit();
c.setData(apple); //允许
//c.setData(fruit);//不允许
Object y=c.getData();//允许
//原理：使用set方法时，虽然编译器不知道传入的是X的那个子类，但可以安全转型为X，所以可以使用
//使用get方法时，编译器不知道到底是X的那个超类，但Object一定是所有类的超类

8.无限定通配符 ?

表示对类型没有什么限制，可以把?看成所有类型的父类，例如：

Pair;
ArrayList al= new ArrayList();//指定集合元素为T类型
//集合元素可以是任意类型，这种没有实际意义，一般是方法中，用来说明用法
ArrayList all=new ArrayList();
//在使用上： 
//? getFrist(); 返回值是Object;
//void setFrist(?)  setFrist方法不能被调用，甚至不能被Object调用

9.虚拟机是如何实现泛型的

Java泛型只存在程序源码中，在编译后的字节码文件中，就已经替换为原来的原生类型，
并且在相应的地方插入强制转型代码。因此，对于运行期期间的Java语言来说，
ArrayList和ArrayList就是同一个类，Java语言中的泛型实现方法为类型擦除.