Java这个高级特性,很多人还没用过!

可是如果需求变了,现在需要实现 int 和 long 两种数据类型的快排,那么我们需要利用 Java 类方法重载功能,复制以上代码,将参数类型改为 double 粘贴一遍。可是,如果还要实现 float、double 甚至字符串、各种类的快速排序呢,难道每添加一种类型就要复制粘贴一遍代码吗,这样未必太不优雅。

当然我们也可以声明传入参数为 Object,并在比较两个元素大小时,判断元素类型,并使用对应的方法比较。这样,代码就会恶心在类型判断上了。不优雅的范围小了一点,并不能解决问题。

这时,我们考虑使用通用类型(泛型),将快排方法的参数设置为一个通用类型,无论什么样的参数,只要实现了 Comparable 接口,都可以传入并排序。

public static <T extends Comparable> void quickSort(T[] data, int start, int end) {

T key = data[start];

int i = start;

int j = end;

while (i < j) {

while (data[j].compareTo(key) > 0 && j > i) {

j–;

}

data[i] = data[j];

while (data[i].compareTo(key) < 0 && i < j) {

i++;

}

data[j] = data[i];

}

data[i] = key;

if (i - 1 > start) {

quickSort(data, start, i - 1);

}

if (i + 1 < end) {

quickSort(data, i + 1, end);

}

}

那么,可以总结一下泛型的应用场景了,当遇到以下场景时,我们可以考虑使用泛型:

  • 当参数类型不明确,可能会扩展为多种时。

  • 想声明参数类型为 Object,并在使用时用 instanceof 判断时。

需要注意,泛型只能替代Object的子类型,如果需要替代基本类型,可以使用包装类,至于为什么,会在下文中说明。

使用


然后我们来看一下,泛型怎么用。

声明

泛型的声明使用 <占位符 [,另一个占位符] > 的形式,需要在一个地方同时声明多个占位符时,使用 , 隔开。占位符的格式并无限制,不过一般约定使用单个大写字母,如 T 代表类型(type),E 代表元素*(element)等。虽然没有严格规定,不过为了代码的易读性,最好使用前检查一下约定用法。

泛型指代一种参数类型,可以声明在类、方法和接口上。

我们最常把泛型声明在类上:

class Generics { // 在类名后声明引入泛型类型

private T field; // 引入后可以将字段声明为泛型类型

public T getField() { // 类方法内也可以使用泛型类型

return field;

}

}

把泛型声明在方法上时:

public [static] void testMethod(T arg) { // 访问限定符[静态方法在 static] 后使用 <占位符> 声明泛型方法后,在参数列表后就可以使用泛型类型了

// doSomething

}

最后是在接口中声明泛型,如上面的快排中,我们使用了 Comparable<T> 的泛型接口,与此类似的还有 Searializable<T> Iterable<T>等,其实在接口中声明与在类中声明并没有什么太大区别。

调用

然后是泛型的调用,泛型的调用和普通方法或类的调用没有什么大的区别,如下:

public static void main(String[] args) {

String[] strArr = new String[2];

// 泛型方法的调用跟普通方法相同

Generics.quickSort(strArr, 0, 30 );

// 泛型类在调用时需要声明一种精确类型

Generics sample = new Generics<>();

Long field = sample.getField();

}

// 泛型接口需要在泛型类里实现

class GenericsImpl implements Comparable {

@Override

public int compareTo(T o) {

return 0;

}

}

类型擦除


讲泛型不可不提类型擦除,只有明白了类型擦除,才算明白了泛型,也就可以避开使用泛型时的坑。

由来

严格来说,Java的泛型并不是真正的泛型。Java 的泛型是 JDK1.5 之后添加的特性,为了兼容之前版本的代码,其实现引入了类型擦除的概念。

类型擦除指的是:Java 的泛型代码在编译时,由编译器进行类型检查,之后会将其泛型类型擦除掉,只保存原生类型,如 Generics<Long> 被擦除后是 Generics,我们常用的 List<String> 被擦除后只剩下 List

接下来的 Java 代码在运行时,使用的还是原生类型,并没有一种新的类型叫 泛型。这样,也就兼容了泛型之前的代码。

如以下代码:

public static void main(String[] args) {

List stringList = new ArrayList<>();

List longList = new ArrayList<>();

if (stringList.getClass() == longList.getClass()) {

System.out.println(stringList.getClass().toString());

System.out.println(longList.getClass().toString());

System.out.println(“type erased”);

}

}

结果 longList 和 stringList 输出的类型都为 class java.util.ArrayList,两者类型相同,说明其泛型类型被擦除掉了。

实际上,实现了泛型的代码的字节码内会有一个 signature 字段,其中指向了常量表中泛型的真正类型,所以泛型的真正类型,还可以通过反射获取得到。

实现

那么类型擦除之后,Java 是如何保证泛型代码执行期间没有问题的呢?

我们将一段泛型代码用 javac 命令编译成 class 文件后,再使用 javap 命令查看其字节码信息:

我们会发现,类型里的 T 被替换成了 Object 类型,而在 main 方法里 getField 字段时,进行了类型转换(checkcast),如此,我们可以看出来 Java 的泛型实现了,一段泛型代码的编译运行过程如下:

  1. 编译期间编译器检查传入的泛型类型与声明的泛型类型是否匹配,不匹配则报出编译器错误;

  2. 编译器执行类型擦除,字节码内只保留其原始类型;

  3. 运行期间,再将 Object 转换为所需要的泛型类型。

也就是说:Java 的泛型实际上是由编译器实现的,将泛型类型转换为 Object 类型,在运行期间再进行状态转换

实践问题


由上,我们来看使用泛型时需要注意的问题:

具体类型须为Object子类型

上文中提到实现泛型时声明的具体类型必须为 Object 的子类型,这是因为编译器进行类型擦除后会使用 Object 替换泛型类型,并在运行期间进行类型转换,而基础类型和 Object 之间是无法替换和转换的。

如:Generics<int> generics = new Generics<int>(); 在编译期间就会报错的。

边界限定通配符的使用

泛型虽然为通用类型,但也是可以设置其通用性的,于是就有了边界限定通配符,而边界通配符要配合类型擦除才好理解。

<? extends Generics> 是上边界限定通配符,避开 上边界 这个比较模糊的词不谈,我们来看其声明 xx extends Generics, XX 是继承了 Generics 的类(也有可能是实现,下面只说继承),我们按照以下代码声明:

List<? extends Generics> genericsList = new ArrayList<>();

Generics generics = genericsList.get(0);

genericsList.add(new Generics()); // 编译无法通过

最后

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

深知大多数Java工程师,想要提升技能,往往是自己摸索成长,自己不成体系的自学效果低效漫长且无助。

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

既有适合小白学习的零基础资料,也有适合3年以上经验的小伙伴深入学习提升的进阶课程,基本涵盖了95%以上Java开发知识点,不论你是刚入门Java开发的新手,还是希望在技术上不断提升的资深开发者,这些资料都将为你打开新的学习之门!

如果你觉得这些内容对你有帮助,需要这份全套学习资料的朋友可以戳我获取!!

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

[外链图片转存中…(img-1yOhcCql-1715777141867)]

[外链图片转存中…(img-a2RA22RO-1715777141868)]

既有适合小白学习的零基础资料,也有适合3年以上经验的小伙伴深入学习提升的进阶课程,基本涵盖了95%以上Java开发知识点,不论你是刚入门Java开发的新手,还是希望在技术上不断提升的资深开发者,这些资料都将为你打开新的学习之门!

如果你觉得这些内容对你有帮助,需要这份全套学习资料的朋友可以戳我获取!!

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

  • 5
    点赞
  • 3
    收藏
    觉得还不错? 一键收藏
  • 0
    评论
评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

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

抵扣说明:

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

余额充值