Java复习笔录--泛型

泛型

泛型其实是缩小范围，因为Java除了内置数据类型，其它都是Object，加个泛型是匹配范围变小，范围自己定。

泛型作用时间

泛型仅作用在编译时，不会保留到运行时。
在编译的时候，程序会采取去泛型化的措施，也就说泛型值在编译阶段生效，正确验证完泛型的结果后，泛型相关的结果会被消除，并在对象进入和离开方法的地方添加类型判断和类型转换。

泛型类

不能使用instanceof操作，对于确切的泛型类型来说。
例如：

	if(a instanceof A<Integer>) // 不允许

泛型接口

对于泛型接口，public interface Test，以具体implements的时候T是确定的还是不确定（T是不是被具体的声明为某个类）为依据，将泛型接口implements分为两类：

1. 实现类确定类型
2. 实现类不确定类型

实现类确定类型

实现类确定类型，则需要重写确定了类型的接口方法，同时不需要在类后面显示声明泛型。例如：

class Test implements InterfaceTemp<String>{
	public void Hello(String t){
		System.out.println("Hello:"+t);
	}
}

实现类不确定类型

实现类不确定类型，需要在类后面显示声明泛型，同时重写不确定具体类型的接口方法。例如：

class Test<T> implements InterfaceTemp<String>{
	public void show(T t){
		System.out.println("Hello:"+t);
	}
}

泛型方法

需要在返回类型前声明泛型类型。例如：

	public static  <T> void test( T t){}

在类当中使用泛型的并不算泛型方法，像下面的：

	public T noTest( T t){} //  (1)这里

这里有个地方需要注意，上面的noTest不能添加static，也很好理解，static代表是类的方法，但是泛型是实例化的时候使用的，如果允许static那么这个方法应该匹配哪一种类型？

划重点

如果在有泛型的类里面使用了泛型方法，并且尖括号里面的泛型类型一致，泛型方法使用的是新的和泛型类没关系。
下面的是错的：

public class JavaBlogTest<T>{

    public T printMsg( T stra){// 这里的T和JavaBlogTest的T一样
        T result = (T)stra;
        return result;
    }

    public static void main(String[] args) {
        JavaBlogTest<String> a = new JavaBlogTest<>();
        Object x = a.printMsg(1);// 类型不匹配
        System.out.println((Integer) x);
    }

}

public class JavaBlogTest<T>{

    public <T> T printMsg( T stra){ // 这里的T和JavaBlogTest的T不一样，是一个新的
        T result = (T)stra;
        return result;
    }

    public static void main(String[] args) {
        JavaBlogTest<String> a = new JavaBlogTest<>();
        Object x = a.printMsg(1);// 类型匹配
        System.out.println((Integer) x);
    }

}

泛型通配符?

引子

如果A有个儿子B，那么方法void hello(ArrayList list);可不可以接收ArrayList 作为参数？答案是：nonono。为了解决这个问题，引入了通配符，还引入了通配上下限的特性。通配符，在我看来是和正则表达式的匹配意思差不多。

？

类型通配符，相当于匹配所有类型。

？extends A

类型通配上限，相当于匹配A及其子孙类。

？ super A

类型通配下限，相当于匹配A即其祖宗类

泛型数组

泛型数组是不允许的，List[] lsa = new List[10];这个是不行的。但是可以用通配符，List[] lsa = new List[10];这个是可以的，但是具体使用的时候要使用类型转换。例子：

List<?>[] lsa = new List<?>[10]; // OK, array of unbounded wildcard type.    
Object o = lsa;    
Object[] oa = (Object[]) o;    
List<Integer> li = new ArrayList<Integer>();    
li.add(new Integer(3));    
oa[1] = li; // Correct.    
Integer i = (Integer) lsa[1].get(0); // OK 

一些补充

Q： 如果在使用带泛型的类的时候没有给予具体类型会怎么样？
A：如果没有给定具体类型，回把类型当成允许的最大类型。（没有通配符就是Object，有就是通配符的上限）