查漏补缺之泛型

泛型是什么？

泛型，即“参数化类型”。一提到参数，最熟悉的就是定义方法时有形参，然后调用此方法时传递实参。那么参数化类型怎么理解呢？顾名思义，就是将类型由原来的具体的类型参数化，类似于方法中的变量参数，此时类型也定义成参数形式（可以称之为类型形参），然后在使用/调用时传入具体的类型（类型实参）。

泛型的本质是为了参数化类型（在不创建新的类型的情况下，通过泛型指定的不同类型来控制形参具体限制的类型）。也就是说在泛型使用过程中，操作的数据类型被指定为一个参数，这种参数类型可以用在类、接口和方法中，分别被称为泛型类、泛型接口、泛型方法。

简单点说就是平时传参都是传形参，来操作形参数据，而泛型将平常传参传的具体类型参数化，相当于一个专门接受参数类型的接受器。

Java中的泛型，只在编译阶段有效。在编译过程中，正确检验泛型结果后，会将泛型的相关信息擦出，并且在对象进入和离开方法的边界处添加类型检查和类型转换的方法。也就是说，泛型信息不会进入到运行时阶段。
对此总结成一句话：泛型类型在逻辑上看以看成是多个不同的类型，实际上都是相同的基本类型。

一些具体泛型的规范

泛型类：

public class TestGenericity<T> {
		//泛型类中的T可以为任意标识符
	   //key这个成员变量的类型为T,T的类型由外部指定  
    private T key;

    public TestGenericity(T key) { //泛型构造方法形参key的类型也为T，T的类型由外部指定
        this.key = key;
    }

    public T getKey(){ //泛型方法getKey的返回值类型为T，T的类型由外部指定
        return key;
    }
}

泛型类需要在类名后加<T>，T是任意字符。

TestGenericity<Integer> testGenericity =new TestGenericity<Integer>(123);

创建时需要遵守上面的格式，<>里面是要传入参数的类型。

泛型接口：

接口：

public interface GenericityInter<T> {
	public T next();

}

实现类：

1.未传入具体参数

/**
 * 未传入泛型实参时，与泛型类的定义相同，在声明类的时候，需将泛型的声明也一起加到类中
 * 即：class FruitGenerator<T> implements Generator<T>{
 * 如果不声明泛型，如：class FruitGenerator implements Generator<T>，编译器会报错："Unknown class"
 */
public class GenericityImpl<T> implements GenericityInter<T> {
    private T key;
	@Override
	public T next() {
		// TODO Auto-generated method stub
		return null;
	}

}

2.传入具体参数：

/**
 * 传入泛型实参时，实现类可以不用写泛型类型
 * 如果泛型类型传入实参类型，则所有使用泛型的地方都要替换成传入的实参类型
 * 如变量，方法返回值
 */
public class GenericityImpl implements GenericityInter<String> {
	 private String key;
	@Override
	public String next() {
		// TODO Auto-generated method stub
		return null;
	}
}

泛型方法：

首先在泛型类中，参数使用了泛型类的参数，并不叫泛型方法，如：

public TestGenericity(T key) { //泛型构造方法形参key的类型也为T，T的类型由外部指定
        this.key = key;
    }

这并不是泛型方法

接下来看泛型方法：

/**
 * 泛型方法的基本介绍
 * @param tClass 传入的泛型实参
 * @return T 返回值为T类型
 * 说明：
 *     1）public 与 返回值中间<T>非常重要，可以理解为声明此方法为泛型方法。
 *     2）只有声明了<T>的方法才是泛型方法，泛型类中的使用了泛型的成员方法并不是泛型方法。
 *     3）<T>表明该方法将使用泛型类型T，此时才可以在方法中使用泛型类型T。
 *     4）与泛型类的定义一样，此处T可以随便写为任意标识，常见的如T、E、K、V等形式的参数常用于表示泛型。
 */
public <T> T genericMethod()throws InstantiationException ,
}

如果在泛型类中的方法泛型：

    class GenerateTest<T>{
        public void show_1(T t){
            System.out.println(t.toString());
        }

  //在泛型类中声明了一个泛型方法，使用泛型E，这种泛型E可以为任意类型。可以类型与T相同，也可以不同。
  //由于泛型方法在声明的时候会声明泛型<E>，因此即使在泛型类中并未声明泛型，编译器也能够正确识别泛型方法中识别的泛型。
        public <E> void show_3(E t){
            System.out.println(t.toString());
        }

  //在泛型类中声明了一个泛型方法，使用泛型T，注意这个T是一种全新的类型，可以与泛型类中声明的T不是同一种类型。
        public <T> void show_2(T t){
            System.out.println(t.toString());
        }
    }

可变参数方法：

可变参数
(1)如果我们在写方法的时候，参数个数不明确，就应该定义可变参数。
(2)格式：
修饰符 返回值类型 方法名(数据类型... 变量) {}
public <T> void printMsg( T... args){
    for(T t : args){
        Log.d("泛型测试","t is " + t);
    }
}

注意：
A:该变量其实是一个数组名
B:如果一个方法有多个参数，并且有可变参数，可变参数必须在最后如（int x,string y,T... args）

通配符：

我们知道所有子类都可以转成父类，

但是泛型却不允许这样

Result<Student> re_student = new Result<Student>(new Student(), new Student());  
Result<Person> re_person = re_student;  

这里假设student是person的子类，这种并不允许

所以我们引入了通配符。

如果改为

Result<Student> re_student = new Result<Student>(new Student(), new Student());  
Result<？> re_person = re_student;  

就可以，我们的？是实参并不是形参，它相当于泛型里所有的父类，所以这里相当于把student转为？类型

可是如果我们只想要转一个类的父类或子类，如果都转为？起不到检查作用

我们用通配符的上下限可以完成

/*通配符：


? extends E　　向下限定，E及其子类


? super E　　　　向上限定，E及其父类

*/

public class AnimalTrainer {
	public void act(List<? extends Animal> list) {  //这就表示只接受Animal的子类和Animal类
		for (Animal animal : list) {
			animal.eat();
		}
	}
}

public class AnimalTrainer {
	public void act(List<? super Animal> list) {   //这表示只接受Animal的父类和Animal类
		for (Animal animal : list) {
			animal.eat();
		}
	}
}