Java Unit -- Generic

本文深入讲解Java泛型的概念及其应用场景,包括泛型类、泛型方法、通配符的使用,以及元组作为泛型应用的例子。此外还介绍了泛型的擦除特性,并解释了如何利用边界设置类型限制。

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

泛型的概念及作用

泛型这个术语本身的意思是:适用于很多很多类型。但是Java中的泛型并没有完美的诠释这个概念。在Java中,泛型是为编译器的类型检查提供服务的

泛型是一种编译期的信息替换技术,在通过类型检查之后,实际运行时并不存在任何泛型信息,这种设计保证了Java的向后兼容,这种现象也叫做擦除

泛型类与泛型方法

类型参数是用尖括号括住的虚拟参数,其本质是一种占位符,在使用时需要用具体的类型进行替换

泛型类:类名+<类型参数>
泛型方法:<类型参数>+返回值

边界

边界用于在泛型的参数类型上设置限制条件,Java泛型重用了extends和super关键字来支持边界

由于擦除现象的存在,任何在运行时需要知道确切类型信息的操作都无法工作(编译错误),但边界的概念可以解决这个问题

泛型替换原理

1. <T>会被替换为Object
2. <T extends Clazz & Interface1 & Interface2 ...>会被替换为Clazz,在使用到Interface1等的地方会进行强制类型转换

通配符

通配符:?,表示匹配任何类型

无界通配符:<?>,表示匹配任意一种类型
上界通配符:<? extends Clazz>,表示Clazz的子类
下界通配符:<? super Clazz>,表示Clazz的父类

无界通配符存在的意义
有无界通配符表示需要匹配一种确切的类型,没有无界通配符表示可以匹配任意的类型,区别在于,无界通配符会有编译器的类型检查

元组(tuple)

元组是泛型的一种应用,它将一组对象打包在一个单一的对象中,从而提供一种新的数据传输方式

元组也可以看作是一种容器类,不同于标准容器的地方在于,元组可以同时存储不同类型的数据

元组语法:class Tuple<K,V>
评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

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

抵扣说明:

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

余额充值