最近编程中遇到了有关泛型一些问题,发现关于泛型,还是有相当的知识需要掌握。目前理解到本文的程度,如有错误欢迎指正。
对泛型的理解
之前人为泛型只是还不确定类型的时候的一个称呼,实际上泛型也可看作一种类型。有些地方称其为“参数化类型”,即,使用过程中像传入参数一样传入类型。
被传入不同类型的泛型仍然实质上具有相同的类型。
泛型类
相对比较熟悉,Java容器中很多数据结构都在声明的时候使用泛型。
泛型接口
实现泛型接口时,可以指定泛型具体类型,也可以不指定。如果指定,则该类不再是泛型类,否则该类是泛型类,实例化时仍然需要传入具体类型。
泛型方法
public class Generic<T>{
private T key;
public Generic(T key) {
this.key = key;
}
//返回值为T,并不是泛型方法
public T getKey(){
return key;
}
//真正的泛型方法
public <T> T showKeyName(Generic<T> container){
System.out.println("container key :" + container.getKey());
T test = container.getKey();
return test;
}
//特别需要注意的一点是,泛型类中的泛型方法,尽管泛型标记相同,泛型方法的具体类也并不一定要与泛型类的实体类相同。使用泛型方法时可以指定。
}
后补
后来意识到,有一个机制叫做类型擦除
public static void main(String[] args) {
List<String> ls = new ArrayList<String>();
List<Integer> li = new ArrayList<Integer>();
System.out.println(ls.getClass() == li.getClass()); //true
}
为什么说泛型是一种类型,就是因为,编译器在编译时会将泛型参数擦除,所以不过是list最终JVM都当作list看待。
实验中遇到了 instanceof 不能指定具体泛型参数的情况,只能使用 <?>,也是因为instanceof 检测运行时类型,显然不能用具体的泛型参数类型做判断。