关于Java泛型深入理解小总结
1、何为泛型
首先泛型的本质便是类型参数化,通俗的说就是用一个变量来表示类型,这个类型可以是String,Integer等等不确定,表明可接受的类型,原理类似如下代码
int pattern; //声明一个变量未赋值,pattern可以看作是泛型
pattern = 4;
pattern = 5;//4和5就可以看作是String和Integer
泛型的具体形式见泛型类、泛型方法
*泛型类形式如下
class Test<T>
{
private T t;
Test(T t)
{
this.t = t;
}
public T getT()
{
return t;
} public void setT(T t)
{
this.t = t;
}
}
*泛型方法举例代码如下
public <T> void show()
{
operation about T...
}
泛型参数类型声明必须在返回类型之前
2、为何要引入泛型,即泛型与Object的优势
由于泛型可以接受多个参数,而Object经过强制类型转换可以转换为任何类型,既然二者都具有相同的作用,为何还要引进泛型呢?
解答:泛型可以把使用Object的错误提前到编译后,而不是运行后,提升安全性。以下用带泛型的ArrayList和不带泛型的Arraylist举例说明
代码1:
ArrayList al = new ArrayList();
al.add("hello");
al.add(4);//自动装箱
String s1 = (String)al.get(0);
String s2 = (String)al.get(1);//在编译时没问题,但在运行时出现问题
首先声明无泛型的ArrayList时,其默认的原始类型是Object数组,既然为Object类型,就可以接受任意数据的赋值,因此编译时没有问题,但是在运行时,Integer强转成String,肯定会出现ClassCastException.因此泛型的引入增强了安全性,把类转换异常提前到了编译时期。
3、类型擦除和原始类型
*类型擦除的由来
在JAVA的虚拟机中并不存在泛型,泛型只是为了完善java体系,增加程序员编程的便捷性以及安全性而创建的一种机制,在JAVA虚拟机中对应泛型的都是确定的类型,在编写泛型代码后,java虚拟中会把这些泛型参数类型都擦除,用相应的确定类型来代替,代替的这一动作叫做类型擦除,而用于替代的类型称为原始类型,在类型擦除过程中,一般使用第一个限定的类型来替换,若无限定则使用Object.
*对泛型类的翻译
泛型类(不带泛型限定)代码:
class Test<T>
{
private T t;
public void show(T t)
{ }
}
虚拟机进行翻译后的原始类型:
class Test
{
private Object t;
public void show(Object t)
{ }
}
泛型类(带泛型限定)代码:
class Test<? extends Comparable>
{
private T t;
public void show(T t)
{ }
}
虚拟机进行翻译后的原始类型:
class Test
{
private Comparable t;
public void show(Comparable t)
{ }
}
*泛型方法的翻译
class Test<T>
{
private T t;
public void show(T t)
{ }
} class TestDemo extends Test<String>
{
private String t;
public void show(String t)
{ }
}
由于TestDemo继承Test<String>,但是Test在类型擦除后还有一个public void Show(Object t),这和那个show(String t)出现重载,但是本意却是没有show(Object t)的,
因此在虚拟机翻译泛型方法中,引入了桥方法,及在类型擦除后的show(Object t)中调用另一个方法,代码如下:
public void show(Object t)
{
show((String) t);
}
4、泛型限定
*泛型限定是通过?(通配符)来实现的,表示可以接受任意类型,那一定有人有疑问,那?和T(二者单独使用时)有啥区别了,其实区别也不是很大,仅仅在对参数类型的使用上。
例如:
public void print(ArrayList<?> al)
{
Iterator<?> it = al.iterator();
while(it.hasNext())
{
System.out.println(in.next());
}
} public <T> void print(ArrayList<T> al)
{
Iterator<T> it = al.iterator();
while(it.hasNext())
{
T t = it.next(); //区别就在此处,T可以作为类型来使用,而?仅能作为接收任意类型
System.out.println(t);
}
}
*? extends SomeClass 这种限定,说明的是只能接收SomeClass及其子类类型,所谓的“上限”
*? super SomeClass 这种限定,说明只能接收SomeClass及其父类类型,所谓的“下限”
一下举例? extends SomeClass说明一下这类限定的一种应用方式
由于泛型参数类型可以表示任意类型的类类型,若T要引用compareTo方法,如何保证在T类中定义了compareTo方法呢?利用如下代码:
public <T extends Comparable> shwo(T a, T b)
{
int num = a.compareTo(b);
}
此处用于限定T类型继承自Comparable,因为T类型可以调用compareTo方法。
*可以有多个类型限定,例如:
<T extends Comparable & Serializable>
这种书写方式为何把comparable写在前边?因为由于类型擦除的问题,原始类型是由Comparable替换的,因此写在前边的是类中存在此类型的泛型方法放在前边,避免调用方法时类型的强制转换,提高效率。
class Test<T extends Comparable & Serializable>
{
private T lower;
private T upper; public Test(T first, T second) //此处是利用Comparable的方法,因此把Comparable写在前边,类型擦除后为Comparable,若为Serializable,还得用强制类型转换,否则不能使用compareTo方法。
{
int a = first.compareTo(second);
...
}
}
*关于泛型类型限定的“继承”误区
总有些人误把类型的限定当作继承,比如:
//类型是这样的
<Student extends Person>
//然后出现此类错误
ArrayList<Person> al = new ArrayList<Student>();
此处的<Person>, <Student>作为泛型的意思是ArrayList容器的接收类型,用一个简单的例子来说明
ArrayList是一个大型养殖场,<Person>表明的是他能够接收动物,而上边的new语句生成的是一个只能够接收猪的养殖场(ArrayList<Student>),即把一个大型养殖场建造成了一个养猪场,若是继承的大型养殖场肯定是还能接受狗、羊....的,但是现在建造成了养猪场,那还能接受别的动物么?所以这肯定是错误的用法!简而言之,泛型new时两边的类型参数必须一致。
5、泛型的一些基本规则约束
*泛型的类型参数必须为类的引用,不能用基本类型(int, short, long, byte, float, double, char, boolean)
*泛型是类型的参数化,在使用时可以用作不同类型(此处在说泛型类时会详细说明)
*泛型的类型参数可以有多个,代码举例如下:
public <T, E> void show()
{
coding operation.....
}
*泛型可以使用extends, super, ?(通配符)来对类型参数进行限定
*由于类型擦除,运行时类型查询只适用于原始类型,比如instanceof、getClass()、强制类型转换,a instanceof (Pair<Employe>),在类型擦除后便是 a instanceof Pair,因此以上运行的一些操作在虚拟机中操作都是对原始类型进行操作,无论写的多么虚幻,都逃不出类型擦除,因为在虚拟机种并不存在泛型。
*不能创建参数化类型的数组
例如写如下代码:
Pair<String>[] table = new Pair<String>[10]; //ERROR
//让Object[] t指向table
Object[] t = table;
//向t中添加对象
t[0] = new Pair<Employe>();
//关键错误之处
String s = table[0];
由于Object可以接收任何类型,在里边存入 new Pari<Employe>时,没有任何问题,但是当取出的时候会出现ClassCastException,因此不能创建参数化类型数组。
*不能实例化类型变量,及不能出现以下的类似代码
T t = new T();
//或
T.Class
因为在类型擦除后,便是Object t = new Object();与用意不符合,即本意肯定不是要调用Object.
*不能再静态域或方法中出现参数类型
例如如下错误代码
class Test<T>
{
private static T example; //error
public static void showExample() //error
{
action about T...
}
public static T showExample() //error
{
action about T....
}
}
首先方法是一个返回类型为T的普通方法,而非泛型方法,这和在静态方法中使用非静态参数是一样的,静态方法是先于对象而存在内存中的,因此在编译的时候,T的类型无法确定,一定会出现“Cannot make a static reference to a non_static reference”这样类似的错误。
但是这样的代码就是正确的
class Test<T>
{public static <T> T show()
{
action
}
}
因为此处的静态方法是泛型方法,可以使用.
*不能抛出或捕获泛型类的实例
+不能抛出不能捕获泛型类对象
+泛型类不能扩展Throwable,注意是类不能继承Throwable,类型参数的限定还是可以的。
+catch子句不能使用类型变量,如下代码
try
{
....
}
catch(T e) //error
{
...
}
*类型擦除后的冲突注意
例如:
class Pair<T>
{
public boolean equals(T value) //error
{
....
}
}
此处的错误的原因不能存在同一个方法,在类型擦除后,Pair的方法为,public boolean equals(Object value),这与从Object.class中继承下来的equals(Object obj)冲突。
*一个类不能成为两个接口类型的子类,而这两个接口是同一接口的不同参数化。
例如:
class Calendar implements coparable<Calendar>{} class GregorianCalendar extends Calendar implements Comparable<GregorianCalendar>{} //error
当类型擦除后,Calendar实现的是Comparable,而GregorianCalendar继承了Calendar,又去实现Comparable,必然出错!
———————————————————————————————————————————————————————————————————————————————
先总结到此处。
关于Java泛型深入理解小总结的更多相关文章
- Java:泛型的理解
本文源自参考<Think in Java>,多篇博文以及阅读源码的总结 前言 Java中的泛型每各人都在使用,但是它底层的实现方法是什么呢,为何要这样实现,这样实现的优缺点有哪些,怎么解决 ...
- 对java泛型的理解
正确的应用java泛型的特性可以更好的实现编程的开闭原则(对扩展开放,对修改关闭),这得益于java泛型提供的在程序运行时获取对象声明类型的特性. 静态语言的特性是在程序编译前进行声明,这样程序在编译 ...
- java泛型的理解
总体介绍泛型: 1.泛型是计算机程序中一种重要的思维方式,它将数据结构和算法与数据类型相分离,使得同一套数据结构和算法,能够应用于各种数据类型,而且还可以保证类型安全,提高可读性.在Java中,泛型广 ...
- Java泛型深入理解(转载)
原文地址 http://blog.csdn.net/sunxianghuang/article/details/51982979 泛型之前 在面向对象编程语言中,多态算是一种泛化机制.例如,你可以将 ...
- 对于Java泛型的理解
源起:查看COLLECIOTNS类 Q1:为什么java需要泛型? 因为java对于对象类型的确认在编译期,那么强制类型转换就可以通过编译,但是运行时的错误却无法避免,那么泛型的存在可以避免强制类型转 ...
- Java泛型深入理解
泛型的优点: 泛型的主要优点就是让编译器保留參数的类型信息,执行类型检查,执行类型转换(casting)操作,编译器保证了这些类型转换(casting)的绝对无误. /******* 不使用泛型类型 ...
- 你对Java泛型的理解够深入吗?
泛型 泛型提供了一种将集合类型传达给编译器的方法,一旦编译器知道了集合元素的类型,编译器就可以对其类型进行检查,做类型约束. 在没有泛型之前: /** * 迭代 Collection ,注意 Coll ...
- Java泛型简单理解
优点1: 没有使用泛型,向list集合中添加非字符串,运行时会报错:类型不匹配 ObjectList.java: package cn.nxl2018; import java.util.ArrayL ...
- java 泛型的理解与应用
为什么使用泛型? 举个例子: public class GenericTest { public static void main(String[] args) { List list = new A ...
随机推荐
- Alpha-end
前言 失心疯病源10 团队代码管理github 个人感悟 肝不动了,肝不动了.明天如果见不到我,不要太想我. 站立会议 队名:PMS 530雨勤(组长) 今天完成了那些任务 熬夜肝代码 代码签入git ...
- [hook.js]通用Javascript函数钩子及其他
2013.02.16<:article id=post_content> 最近看Dom Xss检测相关的Paper,涉及到Hook Javascript函数,网上翻了一下,貌似没有什么通用 ...
- 在Wmware虚拟机上如何检查是否CPU支持虚拟化 和 加载kvm模块
在vm虚拟机中 修改 虚拟机==>设置==> 处理器==>虚拟化引擎(选第二项:虚拟化Intel VT-x/EPT 或 AMD-V/RVI(V) ) # vmx或svm :表 ...
- jQuery之_元素滚动
对应的知识点铺垫,但是有一个很重要的问题就是兼容IE和chorme的 1. scrollTop(): 读取/设置滚动条的Y坐标2. $(document.body).scrollTop()+$(doc ...
- PAT 甲级 1019 General Palindromic Number
https://pintia.cn/problem-sets/994805342720868352/problems/994805487143337984 A number that will be ...
- 设计模式php篇(一)————单例模式
话不多说,直接上代码: <?php namespace DesignPattern; /** * php设计模式之单例模式 */ class SingleInstance { private s ...
- Halcon 笔记3 形态学
Halcon 三大数据类型: (1)图像 (2)区域 (3)XLD 查看时间工具 如果想让图像减少,则进行腐蚀(或者使用开运算),反之,则进行膨胀(或闭运算) 腐蚀后再进行膨胀,相当于进行开运算.因 ...
- javac和java的使用
java -Xmx128m -Dfile.encoding=gbk -cp ./;bin/;./*;lib/* com.qianlima.crawlOthers.Icp REM REM block e ...
- PHP中与类和对象有关的几个系统函数
与类有关的系统函数: class_exists(“类名”), 判断一个类是否存在(是否定义过) interface_exists(“接口名”), 判断一个接口是否存在(是否定义过) get_class ...
- 某客的《微信小程序》从基础到实战视频教程
第 1 部分 微信小程序从基础到实战课程概要 第 1 节 微信小程序从基础到实战课程概要 1.1微信小程序从基础到实战课程概要 第 2 部分 初识微信小程序 第 1 节 微信小程序简 ...