Java基础篇:泛型与类型擦除

Java基础篇:泛型与类型擦除

一、什么是泛型;

泛型的本质是 参数化类型,也就是说 将所操作的数据类型 指定为一个参数,在不创建新类的情况下,通过参数来指定所要操作的具体类型(类似于方法中的变量参数,此时类型也定义成参数形式),也就是说,在创建对象或者调用方法的时候才明确下具体的类型。可以在类、接口、方法中使用,分别称为泛型类、泛型接口、泛型方法。

二、泛型的好处:

没有泛型的情况的下,通过对类型Object的引用来实现参数的“任意化”,“任意化”带来的缺点是要做显式的强制类型转换,而这种转换是要求开发者对实际参数类型可以预知的情况下进行的。

而引入泛型后,有如下好处:

1、消除显式的强制类型转换,提高代码可读性:

泛型中,所有的类型转换都是自动和隐式的,不需要强制类型转换,可以提高代码的重用率,再加上明确的类型信息,代码的可读性也会更好。

2、编译时的类型检查,使程序更加健壮:

对于强制类型转换错误的情况,编译期不会提示错误,在运行的时候才出现异常,这是一个安全隐患。泛型的好处是在编译期检查类型安全,并能捕捉类型不匹配的错误,避免运行时抛出类型转化异常ClassCastException,将运行时错误提前到编译时错误,消除安全隐患。

三、Java类库中的泛型有那些?泛型的用途?

(1)泛型类:最常见的用途就是容器类,通过泛型可以完成对一组类的操作对外开放相同的接口。所有的标准集合接口都是泛型化的—Collection<V>、List<V>、Set<V> 和 Map<K,V>。

(2)泛型接口:类似地,集合接口的实现都是用相同类型参数泛型化的,所以HashMap<K,V> 实现 Map<K,V> 等都是泛型的,Comparable和Comparator接口也是泛型的。

除了集合类之外,Java 类库中还有几个其他的类也充当值的容器。这些类包括 WeakReference、SoftReference 和 ThreadLocal。

(3)泛型方法:要定义泛型方法,只需将泛型参数列表置于返回值之前。

静态方法上的泛型:静态方法无法访问类上定义的泛型。如果静态方法操作的引用数据类型不确定的时候,必须要将泛型定义在方法上。如下:

public static<Q> void function(Q t) {
  System.out.println("function:"+t);
}

四、泛型的上界下界:

<?extends T> 表示类型的上界,参数化类型可能是T 或者是 T的子类;

<? super T> 表示类型的下界,参数化类型是此T类型的超类型,直至object;

上界什么时候用:往集合中添加元素时,既可以添加T类型对象,又可以添加T的子类型对象。为什么?因为存的时候,T类型既可以接收T类对象,又可以接收T的子类型对象。

下界什么时候用:当从集合中获取元素进行操作的时候,可以用当前元素的类型接收,也可以用当前元素的父类型接收。

五、Java泛型的实现方法–类型擦除:

Java泛型的实现是靠类型擦除技术实现的,类型擦除是在编译期完成的,也就是在编译期,编译器会将泛型的类型参数都擦除成它指定的原始限定类型,如果没有指定的原始限定类型则擦除为object类型,之后在获取的时候再强制类型转换为对应的类型,因此生成的Java字节码中是不包含泛型中的类型信息的,即运行期间并没有泛型的任何信息。

下图参考博客:https://blog.csdn.net/shinecjj/article/details/52075499

Java基础篇:泛型与类型擦除

(1)在使用泛型的时候,虽然传入了不同的泛型实参,但并没有真正意义上生成不同的类型,传入不同泛型实参的泛型类在内存中只有一个,即还是原来的最基本的类型;泛型只在编译阶段有效,在编译过程中,对于正确检验泛型结果后,会将泛型的相关信息擦除,并且在对象进入和离开方法的边界处添加类型检查和类型转化的方法,也就是说,成功编译后的class文件是不包含任何泛型信息的。总结成一句话:泛型类型在逻辑上看以看成是多个不同的类型,实际上都是相同类型。

(2)因此,泛型类型在逻辑上可以看成是多个不同的类型,但实际上都是相同的基本类型。类型参数在运行中并不存在,这意味着他们不会添加任何的时间和空间上的负担;但是,这也意味着不能依靠他们进行类型转换。

举两个例子说明一下类型擦除:

5.1、类型擦除:

public class Test4 {  
      public static void main(String[] args) {  
          ArrayList<String> arrayList1=new ArrayList<String>();  
          arrayList1.add("abc");  
          ArrayList<Integer> arrayList2=new ArrayList<Integer>();  
          arrayList2.add(123);  
         System.out.println(arrayList1.getClass()==arrayList2.getClass());  //true
     }  
  }  

在这个例子中,我们定义了两个ArrayList数组,不过一个是ArrayList<String>泛型类型,只能存储字符串。一个是ArrayList<Integer>泛型类型,只能存储整形。最后,我们通过arrayList1对象和arrayList2对象的getClass方法获取它们的类的信息,最后发现结果为true。说明泛型类型String和Integer都被擦除掉了,只剩下了原始类型。

5.2、转型和instanceof :

//泛型类被所有实例(instances)共享的另一个暗示是检查一个特定类型的泛型类是没有意义的。
Collection cs = new ArrayList<String>();
if (cs instanceof Collection<String>) { ...} // 非法

类似的,如下的类型转换
Collection<String> cstr = (Collection<String>) cs;
得到一个unchecked warning,因为运行时环境不会为你作这样的检查。

六、类型擦除带来的问题:

详细参考这篇博客,博主介绍的很详细了:https://blog.csdn.net/LonelyRoamer/article/details/7868820

七、关于泛型的其他一些小细节:

1、可以创建泛型数组吗?相应的应用场景怎么处理?

     不能创建泛型数组。一般的解决方案是任何想要创建泛型数组的地方都使用ArrayList?

2、可以将基本类型作为泛型参数吗?

     泛型的类型参数只能是类类型(包括自定义类),不能是简单类型(基本数据类型)。

3、什么时候用泛型?

     当接口、类及方法中的操作的引用数据类型不确定的时候,以前用的Object来进行扩展的,现在可以用泛型来表示。这样可以避免强转的麻烦,而且将运行问题转移到的编译时期。

4、泛型的细节:

(1)泛型实际代表什么类型,取决于调用者传入的类型,如果没传,默认是Object类型;

(2)使用带泛型的类创建对象时,等式两边指定的泛型类型必须一致。

        原因:编译器检查对象调用方法时只看变量,然而程序在运行期间调用方法时就要考虑对象具体类型了。

(3)等式两边可以在任意一边使用泛型,在另一边不使用(考虑向后兼容);

ArrayList<String>al = new ArrayList<Object>();  //错
//要保证左右两边的泛型具体类型一致就可以了,这样不容易出错。
ArrayList<?extends Object> al = new ArrayList<String>();
al.add("aa");  //错
//因为集合具体对象中既可存储String,也可以存储Object的其他子类,所以添加具体的类型对象不合适,类型检查会出现安全问题。

推荐阅读:

https://juejin.cn/post/6911113640158593032

参考博客:

https://blog.csdn.net/s10461/article/details/53941091

https://blog.csdn.net/Jinuxwu/article/details/6771121

https://blog.csdn.net/caihuangshi/article/details/51278793

版权声明:本文内容由互联网用户自发贡献,该文观点仅代表作者本人。本站仅提供信息存储空间服务,不拥有所有权,不承担相关法律责任。如发现本站有涉嫌侵权/违法违规的内容, 请发送邮件至 举报,一经查实,本站将立刻删除。

发布者:全栈程序员-用户IM,转载请注明出处:https://javaforall.cn/114683.html原文链接:https://javaforall.cn

【正版授权,激活自己账号】: Jetbrains全家桶Ide使用,1年售后保障,每天仅需1毛

【官方授权 正版激活】: 官方授权 正版激活 支持Jetbrains家族下所有IDE 使用个人JB账号...

(0)


相关推荐

  • lcd1602使用手册_lcd1602的rs,rw和e三个引脚的功能

    lcd1602使用手册_lcd1602的rs,rw和e三个引脚的功能1602液晶也叫1602字符型液晶,它是一种专门用来显示字母、数字、符号等的点阵型液晶模块。1602LCD是指显示的内容为16X2,即可以显示两行,每行16个字符液晶模块(显示字符和数字)。lcd1602引脚状态字的说明:RAM映射地址:控制接口的时序:1.读的时序2.写的时序3.时序的相关参数读状态:RS=L,R/W=H,EN=H读数据:RS=H,…

  • MobSF 框架安装使用部署

    MobSF 框架安装使用部署1.MobSF简介#MobSF是MobileSecurityFramework的缩写,这是一款智能化的开源移动应用(Android、IOS、Windows)测试框架,可以对应用进行动态、静态分析,现在只支持Android动态分析。支持对APK、IPA文件及源码压缩包进行审计分析,可以对Android和IOS安全进行分析。MobSF还可以通过APIFuzzer功能,对WebAPI的安全检测,可以对应用收集信息、分析安全头部信息、识别移动API的具体漏洞,如XXE、SSRF、路径遍历,IDOR以及

  • MJKDZ PS2手柄控制OskarBot小车(二):硬件连接与通信时序

    MJKDZ PS2手柄控制OskarBot小车(二):硬件连接与通信时序MJKDZPS2手柄控制OskarBot小车(二):硬件连接与通信时序【目录】    -1、PS2硬件连接        -1.1硬件连接原理图        -1.2硬件接口关系对比    -2、通信协议        -2.1PS2通信硬件接口与信号        -2.2PS2通信时序        -2.3PS2手柄各数据的意义…

  • 软件测试黑盒用例文档,看完这篇黑盒测试用例编写教程,我豁然开朗

    软件测试黑盒用例文档,看完这篇黑盒测试用例编写教程,我豁然开朗测试用例编写是软件测试的基本技能;也有很多人认为测试用例是软件测试的核心;软件测试中最重要的是设计和生成有效的测试用例;测试用例是测试工作的指导,是软件测试的必须遵守的准则。在这里我们不讨论以上的各种观点,但是综上所述,大家可以看出,测试用例编写这项软技能非常重要且是测试人的必备技能,相信很多人没有质疑。下面我们介绍下测试用例编写。我们将用例编写分为黑盒用例编写和白盒用例编写两大类。总体编写思路:…

  • log4j2.xml配置文件详解_log4j配置日志文件目录

    log4j2.xml配置文件详解_log4j配置日志文件目录log4j.xml配置文件详解一log4j.xml配置<?xmlversion=”1.0″encoding=”UTF-8″?><!DOCTYPElog4j:configurationSYSTEM”log4j.dtd”><log4j:configuration><!–将日志信息输出到控制台–>&lt…

  • 程序员:为什么“基础不牢”成为我薪资被砍的理由?!

    程序员:为什么“基础不牢”成为我薪资被砍的理由?!

发表回复

您的电子邮箱地址不会被公开。

关注全栈程序员社区公众号