详解Java泛型机制-程序员宅基地

技术标签: 程序员  java  开发语言  

return first;
}
public T getSecond() {
return second;
}
}

可以看出来Pair类就是一个泛型类,与普通的类区别在于:

1.类名后面多了一个

2.参数first和second分别是泛型T类型

那么这个T是什么呢?T是一种泛指,表示类型参数,泛型就是类型参数化,处理的数据不是固定的,而是可以动态指定类型作为参数传入。那么定义的泛型类如何使用呢?如下:

Pair minmax = new Pair(1,100);
Integer min = minmax.getFirst();
Integer max = minmax.getSecond();

可以看到Pair中的Integer就是之前定义的泛型T的实际类型参数,当然这里的T可以是任何类型,我们这里可以指定为Integer,也可以指定为任何类型。同样的,泛型的参数类型数量不是固定的,我们可以申明多个不同类型的动态泛型类型,两个泛型之间使用逗号分割,如下:

public class Pair<U, V> {
U first;
V second;
public Pair(U first, V second){
this.first = first;
this.second = second;
}
public U getFirst() {
return first;
}
public V getSecond() {
return second;
}
}

改进后的Pair类可以这么使用:

Pair<String,Integer> pair = new Pair<String,Integer>(“张三”,100);

泛型的基本原理

看到上面的案例我们大概知道了一个简单的泛型如何定义,那么不禁会有一个疑惑,那就是泛型类型到底是什么呢?我们为什么一定要定义一个类型参数呢?熟悉Java多态特性的我们都知道,我们完全可以定义一个通用的父类类型,然后传递具体的子类型不也能实现这样的操作吗?同样的Java中也存在所有的类的基类–Object,如果我们直接使用Object不也可以吗?如下:

public class Pair {
Object first;
Object second;
public Pair(Object first, Object second){
this.first = first;
this.second = second;
}
public Object getFirst() {
return first;
}
public Object getSecond() {
return second;
}
}

使用的时候的代码只要这么改动:

Pair minmax = new Pair(1,100);
Integer min = (Integer)minmax.getFirst();//字段强制转换
Integer max = (Integer)minmax.getSecond();//字段强制转换

这样使用其实是可以的,事实上Java提供的泛型机制其实底层就是如此实现的。之所以这么设计,与Java当初设计的时候的jvm虚拟机编译机制有关系,要知道泛型设计的时候Java才到Jdk1.4版本,而我们都知道Java有编译器和Java虚拟机,编译器会帮我们把Java代码转换为**.Class**,虚拟机则是负责加载**.Class**,对于泛型类,Java编译器会把泛型部分的代码转换为普通的代码,即和上面的Object类型接管一样,将类型的T进行擦除,替换为Object,并且进行必要的类型的强制转换操作,所以在Java虚拟机执行Java字节码的过程中,其实和Object操作是一样的,并不知道泛型,也不存在泛型。那么既然泛型还是会转换为Object,进行泛型擦除,Java为什么要在1.5开始支持并设计出泛型机制呢?

泛型的好处

其实想要理解这点,我们不妨考虑一下,泛型的好处在哪?同时也去思考一下如果我们使用Object编程,缺陷会存在在哪?熟悉泛型的都知道,泛型有两个好处:

1.更好的安全性

2.更好的可读性

我们也知道Java语言在我们开发编译的阶段,ide就会进行代码检查,当我们的语法出现问题的时候,ide会在编译阶段就把错误标识出来,减少程序的潜在Bug数。但是我们不妨看下Object操作的代码:

Pair pair = new Pair(“张三”,1);
Integer id = (Integer)pair.getFirst();
String name = (String)pair.getSecond();

可以看出来,无论id是否为Integer类型,或者name是否为String类型,我们在编译阶段,由于类型为Object,我们都会进行强制转换操作,在编译期这些操作都是语法合理的,并不会报错,但是如果这些字段中存在类型错误,也必须等到程序运行到这里才会提示ClassCastException异常,但是如果我们使用的是泛型机制,并且使用的时候标明了类型为String和Integer,那么如果我们使用的类型不一致,在编译时已经报错,必须修改后才可以成功运行,如下:

Pair<String,Integer> pair = new Pair<>(“张三”,1);
Integer id = pair.getFirst(); //编译错误
String name = pair.getSecond(); //编译错误

所以很明显的可以看出来,如果使用了泛型后,类的后缀添加对应的泛型类型,我们很明确的知道具体的类型是什么,提高开发的可读性,并且因为ide会做类型检查,所以安全性也会更高

泛型方法

当然泛型的作用域范围比较广,我们不仅可以定义在类/接口的申明上,我们也可以将泛型作用在方法上,与类的泛型相互隔离,实现更精细粒度的泛型操作。并且需要注意的是,一个类的泛型定义和方法的泛型定义并无直接关系,两者是相互独立的,即类的泛型可以定义为T,而方法也可以定义为泛型T,但是这两个T并不属于同一个。首先我们先看一个泛型方法的案例:

public static int indexOf(T[] arr, T elm){
for(int i=0; i<arr.length; i++){
if(arr[i].equals(elm)){
return i;
}
}
return -1;
}

可以看出来,indexOf方法就是一个泛型方法,使用的时候,我们可以如下:

indexOf(new Integer[]{1,3,5}, 10)

同样的泛型方法拥有和泛型类一样的所有特性,也可以定义多个泛型参数在方法上,比如:

public static <U,V> Pair<U,V> createPair(U first, V second){
Pair<U,V> pair = new Pair<>(first, second);
return pair;
}

但是与泛型类不同的是,使用的时候只需要传入确定类型的值即可,并不需要申明泛型类型后缀,如下:

createPair(“张三”,1);

泛型的上限界定

在前面的学习中我们都知道泛型擦除会转化为Object类型,但是我们能不能给Object的范围缩小呢?即限制泛型的父类类型上限是多少,在Java中其实是支持的,而泛型中支持这个上限界定是使用了extends关键字来表示的,当然这里的父类类型可以是接口、类或者类型参数,我们分别介绍下:

接口作为父类类型

比如我们开发中遇到一个场景,我们必须实现Comparable接口来实现动态的类型的比较,这个时候代码如下:

public static T max(T[] arr){
T max = arr[0];
for(int i=1; i<arr.length; i++){
if(arr[i].compareTo(max)>0){
max = arr[i];
}
}
return max;
}

max是泛型类型T的数组的对应下标的值,不过这么编写代码的话,会被编译器警告,因为Comparable接口本身也是个泛型接口,所以我们写的时候建议也去指定Comparable接口的泛型上界,修改如下:

public static <T extends Comparable> T max(T[] arr){

}

此种方式可以实现泛型类型的递归类型限制传递

上界为具体类

还记得我们上面的实例Pair类使用的泛型类型,我们可以实现一个子类:

public class NumberPair<U extends Number, V extends Number> extends Pair<U, V> {
public NumberPair(U first, V second) {
super(first, second);
}
}

自我介绍一下,小编13年上海交大毕业,曾经在小公司待过,也去过华为、OPPO等大厂,18年进入阿里一直到现在。

深知大多数Java工程师,想要提升技能,往往是自己摸索成长或者是报班学习,但对于培训机构动则几千的学费,着实压力不小。自己不成体系的自学效果低效又漫长,而且极易碰到天花板技术停滞不前!

因此收集整理了一份《2024年Java开发全套学习资料》,初衷也很简单,就是希望能够帮助到想自学提升又不知道该从何学起的朋友,同时减轻大家的负担。img

既有适合小白学习的零基础资料,也有适合3年以上经验的小伙伴深入学习提升的进阶课程,基本涵盖了95%以上Java开发知识点,真正体系化!

由于文件比较大,这里只是将部分目录截图出来,每个节点里面都包含大厂面经、学习笔记、源码讲义、实战项目、讲解视频,并且会持续更新!

如果你觉得这些内容对你有帮助,可以扫码获取!!(备注Java获取)

img

读者福利

分享一份自己整理好的Java面试手册,还有一些面试题pdf

不要停下自己学习的脚步

字节跳动的面试分享,为了拿下这个offer鬼知道我经历了什么

字节跳动的面试分享,为了拿下这个offer鬼知道我经历了什么

《互联网大厂面试真题解析、进阶开发核心学习笔记、全套讲解视频、实战项目源码讲义》点击传送门即可获取!

[外链图片转存中…(img-ZPA0mDYt-1712993511212)]

[外链图片转存中…(img-rfnsKMKl-1712993511212)]

《互联网大厂面试真题解析、进阶开发核心学习笔记、全套讲解视频、实战项目源码讲义》点击传送门即可获取!

版权声明:本文为博主原创文章,遵循 CC 4.0 BY-SA 版权协议,转载请附上原文出处链接和本声明。
本文链接:https://blog.csdn.net/2401_83411985/article/details/137716726

智能推荐

攻防世界_难度8_happy_puzzle_攻防世界困难模式攻略图文-程序员宅基地

文章浏览阅读645次。这个肯定是末尾的IDAT了,因为IDAT必须要满了才会开始一下个IDAT,这个明显就是末尾的IDAT了。,对应下面的create_head()代码。,对应下面的create_tail()代码。不要考虑爆破,我已经试了一下,太多情况了。题目来源:UNCTF。_攻防世界困难模式攻略图文

达梦数据库的导出(备份)、导入_达梦数据库导入导出-程序员宅基地

文章浏览阅读2.9k次,点赞3次,收藏10次。偶尔会用到,记录、分享。1. 数据库导出1.1 切换到dmdba用户su - dmdba1.2 进入达梦数据库安装路径的bin目录,执行导库操作  导出语句:./dexp cwy_init/[email protected]:5236 file=cwy_init.dmp log=cwy_init_exp.log 注释:   cwy_init/init_123..._达梦数据库导入导出

js引入kindeditor富文本编辑器的使用_kindeditor.js-程序员宅基地

文章浏览阅读1.9k次。1. 在官网上下载KindEditor文件,可以删掉不需要要到的jsp,asp,asp.net和php文件夹。接着把文件夹放到项目文件目录下。2. 修改html文件,在页面引入js文件:<script type="text/javascript" src="./kindeditor/kindeditor-all.js"></script><script type="text/javascript" src="./kindeditor/lang/zh-CN.js"_kindeditor.js

STM32学习过程记录11——基于STM32G431CBU6硬件SPI+DMA的高效WS2812B控制方法-程序员宅基地

文章浏览阅读2.3k次,点赞6次,收藏14次。SPI的详情简介不必赘述。假设我们通过SPI发送0xAA,我们的数据线就会变为10101010,通过修改不同的内容,即可修改SPI中0和1的持续时间。比如0xF0即为前半周期为高电平,后半周期为低电平的状态。在SPI的通信模式中,CPHA配置会影响该实验,下图展示了不同采样位置的SPI时序图[1]。CPOL = 0,CPHA = 1:CLK空闲状态 = 低电平,数据在下降沿采样,并在上升沿移出CPOL = 0,CPHA = 0:CLK空闲状态 = 低电平,数据在上升沿采样,并在下降沿移出。_stm32g431cbu6

计算机网络-数据链路层_接收方收到链路层数据后,使用crc检验后,余数为0,说明链路层的传输时可靠传输-程序员宅基地

文章浏览阅读1.2k次,点赞2次,收藏8次。数据链路层习题自测问题1.数据链路(即逻辑链路)与链路(即物理链路)有何区别?“电路接通了”与”数据链路接通了”的区别何在?2.数据链路层中的链路控制包括哪些功能?试讨论数据链路层做成可靠的链路层有哪些优点和缺点。3.网络适配器的作用是什么?网络适配器工作在哪一层?4.数据链路层的三个基本问题(帧定界、透明传输和差错检测)为什么都必须加以解决?5.如果在数据链路层不进行帧定界,会发生什么问题?6.PPP协议的主要特点是什么?为什么PPP不使用帧的编号?PPP适用于什么情况?为什么PPP协议不_接收方收到链路层数据后,使用crc检验后,余数为0,说明链路层的传输时可靠传输

软件测试工程师移民加拿大_无证移民,未受过软件工程师的教育(第1部分)-程序员宅基地

文章浏览阅读587次。软件测试工程师移民加拿大 无证移民,未受过软件工程师的教育(第1部分) (Undocumented Immigrant With No Education to Software Engineer(Part 1))Before I start, I want you to please bear with me on the way I write, I have very little gen...

随便推点

Thinkpad X250 secure boot failed 启动失败问题解决_安装完系统提示secureboot failure-程序员宅基地

文章浏览阅读304次。Thinkpad X250笔记本电脑,装的是FreeBSD,进入BIOS修改虚拟化配置(其后可能是误设置了安全开机),保存退出后系统无法启动,显示:secure boot failed ,把自己惊出一身冷汗,因为这台笔记本刚好还没开始做备份.....根据错误提示,到bios里面去找相关配置,在Security里面找到了Secure Boot选项,发现果然被设置为Enabled,将其修改为Disabled ,再开机,终于正常启动了。_安装完系统提示secureboot failure

C++如何做字符串分割(5种方法)_c++ 字符串分割-程序员宅基地

文章浏览阅读10w+次,点赞93次,收藏352次。1、用strtok函数进行字符串分割原型: char *strtok(char *str, const char *delim);功能:分解字符串为一组字符串。参数说明:str为要分解的字符串,delim为分隔符字符串。返回值:从str开头开始的一个个被分割的串。当没有被分割的串时则返回NULL。其它:strtok函数线程不安全,可以使用strtok_r替代。示例://借助strtok实现split#include <string.h>#include <stdio.h&_c++ 字符串分割

2013第四届蓝桥杯 C/C++本科A组 真题答案解析_2013年第四届c a组蓝桥杯省赛真题解答-程序员宅基地

文章浏览阅读2.3k次。1 .高斯日记 大数学家高斯有个好习惯:无论如何都要记日记。他的日记有个与众不同的地方,他从不注明年月日,而是用一个整数代替,比如:4210后来人们知道,那个整数就是日期,它表示那一天是高斯出生后的第几天。这或许也是个好习惯,它时时刻刻提醒着主人:日子又过去一天,还有多少时光可以用于浪费呢?高斯出生于:1777年4月30日。在高斯发现的一个重要定理的日记_2013年第四届c a组蓝桥杯省赛真题解答

基于供需算法优化的核极限学习机(KELM)分类算法-程序员宅基地

文章浏览阅读851次,点赞17次,收藏22次。摘要:本文利用供需算法对核极限学习机(KELM)进行优化,并用于分类。

metasploitable2渗透测试_metasploitable2怎么进入-程序员宅基地

文章浏览阅读1.1k次。一、系统弱密码登录1、在kali上执行命令行telnet 192.168.26.1292、Login和password都输入msfadmin3、登录成功,进入系统4、测试如下:二、MySQL弱密码登录:1、在kali上执行mysql –h 192.168.26.129 –u root2、登录成功,进入MySQL系统3、测试效果:三、PostgreSQL弱密码登录1、在Kali上执行psql -h 192.168.26.129 –U post..._metasploitable2怎么进入

Python学习之路:从入门到精通的指南_python人工智能开发从入门到精通pdf-程序员宅基地

文章浏览阅读257次。本文将为初学者提供Python学习的详细指南,从Python的历史、基础语法和数据类型到面向对象编程、模块和库的使用。通过本文,您将能够掌握Python编程的核心概念,为今后的编程学习和实践打下坚实基础。_python人工智能开发从入门到精通pdf

推荐文章

热门文章

相关标签