我们为什么要使用泛型程序设计?谁想成为泛型程序员?

本文介绍了Java泛型机制的优点及其实现方式。通过对比泛型前后ArrayList类的设计,阐述了类型参数如何提升代码的安全性和可读性。同时,讨论了泛型程序设计的基本概念,并分析了实现泛型类的挑战。

摘要生成于 C知道 ,由 DeepSeek-R1 满血版支持, 前往体验 >

前言:泛型正是我们需要的,使用泛型机制编写的程序代码要比那些杂乱地使用Object变量,然后再进行强制类型转换的代码具有更好的安全性和可读性。泛型对于集合类尤为有用,例如,ArrayList就是一个无处不在的集合类。

泛型程序设计(Generic programming)意味着编写的代码可以被很多不同类型的对象所重用。例如:我们并不希望为聚集String和File对象分别设计不同的类。实际上,也不需要这样做,因为一个ArrayList类可以聚集任何类型的对象。这就是一个泛型程序设计的一个实例。实际上,在Java增加泛型之前已经有一个ArrayList类,下面我们来研究泛型程序设计的机制是如何演变的。

1.类型参数的好处

在Java增加泛型前,都是通过继承实现的。ArrayList类只维护一个Object引用的数组:

public class ArrayList{
	private Object[] elementData;
	private Object get(int i){....}
	private void add(Object o){...}
}

这种方法有两个问题。当获取一个值时必须进行强制类型转换。

ArrayList files = new ArrayList();
...
String filename = (String) files.get(0);

这样一来没有错误检查,可以向数组中添加任何对象,泛型提供了一个更好的解决方案,那就是类型参数ArrayList类有一个类型参数用来指示元素的类型:

ArrayList <String> files= new ArrayList<String>();

如此就不需要进行强制类型转换,编译器就已经知道了返回类型为String,而不是Object。而且编译器可以进行检查,避免插入错误类型的对象。类型参数的魅力在于:使得程序具有更好的可读性和安全性。

2.谁想成为泛型程序员

使用像ArrayList的泛型类很容易。我们大多数程序员都使用ArrayList <String> 这样的类型,就好像它们已经构建在语言中,像String[]数组一样。但是,实现一个泛型类并没有那么容易。

对于类型参数而言,我们都希望在没有过多的 限制和混乱的错误消息的状态下,做所有的事情。所以一个泛型程序员的任务就是预测出所用类的未来可能有的所有用途。

 

--------------如果大家喜欢我的博客,可以点击左上角的关注哦。

本篇主要讲解最基本的定义与用法,刚接触Java的同学可以来简单了解一下到底是怎么回事。下面我们开始进入正题。2.1介绍是在JDK5之后引入的一个新特性,可以在编译阶段约束操作的数据类型,并进行检查。的格式为 <数据类型>用大白话来说,就好比是给一个标签,通常情况下我们会在开发过程中或者个人学习或练习的过程中使用;就拿数组的举例来说,我们把数组比作一个药瓶子,我们药瓶子贴上了什么标签,就放什么药,如果不管什么药都放在一个药瓶子里,那不得出大事吗?同样容器写上什么,就存放什么数据;这样就不会导致我们存取数据的混乱。也就解决了我们引言中提到的问题,也就解释了什么是。2.2 的细节注意点(1)的数据类型只能填写引用数据类型,基本数据类型不可以。至于原因,我在下面高级篇会提到;(2)指定的具体类型之后,可以传入该类类型或其子类类型;(3)如果不手动添加,则默认为 Object 。2.3 用法简单演示简单点来说,当我们使用之后,就好比是给我们要操作的数据贴上了一个标签,你贴上的是什么标签,就存什么样的数据,否则编译器会报错。如下所示我们先 new 一个ArrayList数组,然后添加,如果这里填 int 类型,编译器会报错,让你替换为包装类 Integer ,因为int 类型不是引用类型,而它的包装类 Integer 则是引用类型。如果有谁不懂什么是包装类的,或者有兴趣想要了解的,可以去看我的另一篇文章 “Java中的包装类有什么用?”里面我讲述了八种基本数据类型对应的包装类以及基本用法。(1条消息) Java中包装类有什么用?_m0_70325779的博客-优快云博客https://blog.youkuaiyun.com/m0_70325779/article/details/130994541?spm=1001.2014.3001.5501所以,这里我们需要把 int 改为Integer,改过之后就不会报错了,如下所示这个时候我们存入的“123”,“456”,“789”就会被当作Integer对象,那么我来试试存入一个String字符串会怎么样。这里编译器告诉了我们几种方法,第一种方法是将字符串“abcdefg”变为Integer类型,但这种方法显然是不行的;另一种方法就是改变 List 的为 String。如下,写一个 main 方法,定义了多个 List 对象并标注不同的,添加元素 package cn.itcast.order.pojo; import java.util.ArrayList;import java.util.List; public class FanXing { public static void main(String[] args) { // 存放字符串类型数据 List<String> list1 = new ArrayList<>(); list1.add("abcdefg"); list1.add("hijklmn"); System.out.println(list1); // 存放 Integer 类型数据 List<Integer> list2 = new ArrayList<>(); list2.add(123); list2.add(456); list2.add(789); System.out.println(list2); // 存放自定义类型数据,提前定义好的Order订单实体类 List<Order> list3 = new ArrayList<>(); list3.add(new Order()); list3.add(new Order()); System.out.println(list3); try { System.out.println(Class.forName("cn.itcast.order.pojo.FanXing")); } catch (ClassNotFoundException e) { e.printStackTrace(); } }}然后运行main方法,打印容器中的内容打印输出成功!所以我们也证实了一个结论,一个容器是什么,就要存入什么类型的数据,否则会报错。2.4 的好处通过刚才的简单展示,这里可以简单总结出的几点好处(1)统一数据类型,对于后续业务层中取出数据有很强的统一规范性,方便对数据的管理;(2)把运行时期的问题提前到了编译期,避免了强转类型转换可能出现的异常,降低了程序出错的概率;3. 高级篇以下就是关于知识的高级篇,可能会有些晦涩难懂,主要以 ArrayList 数组为例,结合ArrayList 源码讲解的用法,包括能用在哪些地方,几乎解说了所有的用法,如果看不懂可以多看几遍,或者下先掌握基础篇,以后慢慢提升。3.1 底层数据存取的实质刚才我说到了只能用引用数据类型,是有原因的;当我们往写入的集合中添加元素的时候,其实可以理解成一个看门大爷,你在添加数据之前,它会看看你要添加的数据类型是否与标注的类型相匹配,不匹配则不会让你存入,匹配的话,在存入之后,容器底层还是会把你存入的所有数据类型当作 Object 类型保存起来,当你取数据的时候,它会做一个强转,再从 Object 类型强转变成对应的类型。这也就是为什么只能写引用数据类型,因为的底层会做一个强转,在存取时会在Object类型类型之间互相强转,显然,int,float,double等基本数据类型是不能强转为Object类型的,所以必须为引用数据类型,如果想存入 int 类型数据,只能写 int 的包装类 Integer。3.2 的擦除通过刚才的讲解,我们知道了,需要定义在容器的后面,并用 <> 进行标注。其实,Java中的是伪为什么要这么说呢?其实我们在编码时期所指定的,只在代码编译时期可以看到,当我们编写的类生成字节码文件之后,我们加入的 <数据类型> 就会消失,不会在字节码中体现出来,这种现象在Java中有个专业的名词就叫 “的擦除”。这里我就不做演示了,感兴趣的小伙伴可以自己试一试,定义一个类,类中添加一个带有的容器,简单写几个添加打印操作,然后使用编译器编译成字节码文件,查看该字节码文件时你就会发现,我们在编写代码时所写的其实在字节码文件中并不存在。3.3 使用方法非常多,这里来简单说一下类的使用类,就是把定义在类上。类的使用场景:当一个类中,某个变量的数据不确定时,就可以定义带有的类。我们平常所用的ArrayList类,就是一个类,我们看如下源码ArrayList 源码上显示,在ArrayList类的后面,便是 <E>,定义了这样的,就可以让使用者在创建ArrayList对象时自主定义要存放的数据类型。这里的 E 可以理解成变量,它不是用来记录数据的,而是记录数据的类型的。可以写成很多字母,T,V,K都可以,通常这些字母都是英文单词的首字母,V表示 value,K表示 key,E表示   element,T表示 type;如果你想,自己练习的时候写成ABCDEFG都可以,但建议养成好习惯,用专业名词的首字母,便于理解。下面我简单自己写一个类,// 自定义类public class MyArrayList<T> { // 给出该数组的默认长度为10 Object[] obj = new Object[10]; // 定义一个指针,默认为0 int size; // 写一个类中添加元素的方法 public boolean add(T t){ // size默认为0,刚好指向数组的第一个位置,添加元素,将要添加的元素t赋值给到obj数组的第一个位置 obj[size] = t; // size指针加一,指向下一个位置,下次元素添加到size指向的位置 size++; // 添加完成并size加一之后,操作完成,返回成功true return true; } // 写一个类中取出元素的方法,index索引可以取出指定位置的元素 public T get(int index){ // 取出元素后,强转为我们所指定的类型 return (T)obj[index]; }}定义一个 main 方法,创建我的自定义类的类对象,测试 add 方法,如下所示 这里打印出来的是 list 的内存地址,说明我们自定义的 类没有问题。其实 ArrayList 底层源码就是这样写的,这里我只是简单的写了两个方法,有兴趣的可以把删除方法和修改方法也写出来,动手测试一下。3.4 方法我们什么时候会用到方法呢?通常情况下,当一个方法的形参不确定的情况下,我们会使用方法。方法其实与类有着紧密的联系,通过上面我写的自定义类不难看出,在类中,所有方法都可以使用类上定义的。但是,方法却可以脱离类单独存在,方法上定义的只有本方法上可以使用,其他方法不可用。方法的格式如下所示 根据上面方法的模板,我们就可以定义一个简单的方法模板根据模板写一个方法public class MyArrayList { private MyArrayList(){} // 定义一个静态方法,可以封装到工具类中以备后期使用 public static<E> void addAll(ArrayList<E> list, E e1, E e2, E e3){ list.add(e1); list.add(e2); list.add(e3); } // 写一个main方法测试刚才所写的方法 public static void main(String[] args) { // 因为方法中需要一个集合对象,所以提前先定义一个集合对象,就写String ArrayList<String> list = new ArrayList<String>(); // 调用静态方法, 类名.方法名调用 MyArrayList.addAll(list,); } }看下图,当我向为String集合中添加 int 类型的元素时,编译器报错,给出的解决方案是修改定义的addAll方法,或重新定义一个addAll方法。这里要知道一点,我们调用了addAll方法,并传入了参数 list ,而list我们定义的为String,所以我们后续添加的元素类型也只能是String。因此,当我们传入的参数为String类型的数据时,报错就会消失,打印数组,如下图运行成功!这里可以总结出一点:方法,在调用它的时候参数类型就已经确定了,该方法会根据给定的参数类型执行相应的逻辑,得出结果。方法的使用场景也并不少见,在开发过程中,我们通常会把一些重复或者相似的方法写成一个通用方法,我们只需要在方法上指定。这样在调用过程中,传入什么样的参数,方法就会执行什么样的逻辑,可以简化开发,减少代码量,提高编程效率;但对开发者对的理解以及方法的执行逻辑有一定深入的把控与理解。如果你能写出来,说明你对的理解已经提高了一个层次。3.5 接口接口与方法相似,当我们的接口中,参数类型不确定的时候,就可以使用接口的格式也很简单,和方法相似,如下图 在Java中,List 接口就是一个接口,我们看源码就可以得知接口的格式虽然简单,但这不是我们要学习的重点。我们的重点是:如何使用一个带有的接口?通常情况下,我们有两种方式方式一:实现类给出具体的类型。方式二:实现类延续,在创建对象时再指定类型。相比于方式一,方式二的扩展性更强。Java中 List 的实现类 ArrayList 就是采用的第二种方式,延续,我们看源码即可得知别的不用看,只看我画红线的部分,ArrayList 实现了list接口,但后面还是<E>,延续了,是方式二。那么我再给各位演示一下方式一,如下我自己定义的一个接口// 定义一个接口public interface MyList<E> { // 定义一个方法做简单测试 public boolean add(E e);}再定义一个类实现该接口,// 定义MyArrayList类实现MyList接口,并在实现时就指定类型public class MyArrayList implements MyList<String> { // 定义一个长度为十的默认数组 Object[] object = new Object[10]; // 定义一个size作为指针 int size; @Override public boolean add(String s) { /** * size初始化为零,刚好指向数组的第一个位置,添加第一个元素时,我们默认将元素添加到数组的第一个位置 */ object[size] = s; // size则合理可以作为指针,当添加第一个元素之后,size++,向后移动一位,下一次就会添加到第二个元素的位置,循环往复 size++; return true; }}可以看到,在实现类中重写add方法,方法的参数就已经确定,就是我们在实现它时指定的String类型。然后我们写一个main方法测试是否成功创建对象,添加元素,打印结果,运行发现成功但这里是一个内存地址,因为我这里只是简单的定义了一个接口,在Java中ArrayList的源码上千行,里面定义了很多方法,我这里只做简单测试验证一下方式一是如何完成的,很多东西都没有写,大家明白即可。3.6 的继承和通配符本身并不具备继承性,但是数据具备继承性。3.6.1 不具备继承性如下图,我定义了GrandFathor类,Fathor类,Son类;Fathor类继承GrandFathor类,Son类又继承Fathor类。我们再定义一个空方法体的 method 方法,方法需要传入一个带的集合,我就写 GrandFathor;分别创建为 GrandFathor,Fathor,Son 的集合对象 list1,list2,list3;调用method方法,传入list1,编译器不报错,传入list2,编译器报错;传入list3,编译器又报错;我们可以得出结论,当然了也是事实,是不具备继承性的,也就是说,一个方法传入的对象是什么类型,我们不能把参数的子类对象作为参数传递给方法,该是不具备继承性的,传入编译器会报错。3.6.2 何为数据具备继承性刚才我们验证了也演示了不具备继承性,那么接下来我们来说一下,数据具备继承性是什么意思。还拿刚才的代码举例,我们把刚才的代码注释,然后往 list1 对象中添加对象;添加 GrandFathor 类对象,添加成功,这也是当然的,因为该类的指定的就是 GrandFathor;添加 Fathor 类对象,发现也添加成功;添加 Son 类对象,发现也添加成功;执行 main 方法,如下结果,说明没有问题如果一个例子不能说明问题,我们再写一个,如下图: 定义一个 list2,还是和刚才一样,运行如下图这也从侧面说明了一个结论当我们为一个类指定并创建对象之后,对象中不仅可以加入所指定的类对象,还可以加入类子类的类对象,这就是数据的继承性。注意这里说的是对象,上面不具备继承性中说的是参数,不要混为一谈。3.6.3 的通配符说回我们刚才3.6.1不具备继承性的例子,method()方法,假设我希望能将GrandFathor类,Fathor类,Son类的类对象都加入到list集合中去,该怎么做?很显然,以我们现在的想法和所学的知识,可以给 ArrayList 数组添加一个不确定的<E>,因为不确定类型,所以 method() 方法中的参数可以是GrandFathor类,Fathor类,Son类的任意类对象,就可以达到我们的目的了。但各位想过没有,如果传入一个不确定的类型<E>,这样做有没有什么缺点?其实这样做是有很大一个缺点的,那就是如果添加了这个不确定的<E>,虽然能将GrandFathor类,Fathor类,Son类的类对象都加入到list集合中去,但其它所有类的类对象也都能加入到该 list,那这还和不使用有什么区别呢?继续我们的话题,3.6.1的method()方法,虽然我不确定传入method()方法的类型,但我能确定我要传入的是GrandFathor类,Fathor类,Son类这三个其中的一个,而且它们三个有继承关系。但是又不具备继承性,我们又不能直接传入GrandFathor作为,否则另外两个无法作为参数传递进去,那该怎么做呢?这就要用到我们下面要说的通配符了。在Java中,的通配符是一个 "?","?" 也代表不确定的类型,它配合关键词 extend 或 super 可以对类型做出限定。我们可以写出如下两种写法?extend <E>:这个写法表示可以传递E包括E的所有子类类型。?super <E>:这个写法表示可以传递E包括E的所有父类类型。根据上面这两种写法,我们就可以对method()方法作出修改,如下图我们把 method方法中的改为<? extend GrandFathor>,表示可以传入GrandFathor类对象包括其子类对象,修改之后可以发现,再次调用method方法传入list1,list2,list3,编译器就不报错了。同理,也可以把改成 <? super Son> 表示Son类以及Son类的所有父类对象,这里就不做演示了,也很简单。根据上面的例子,我们可以总结出来通配符的使用场景:如果类型不确定,但是知道要传入的参数类型是某个继承体系中的一个,就可以使用通配符来表示。关注博主即可阅读全文 程序猿ZhangSir关注
最新发布
04-07
评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值