当前位置：首页 > news >正文

Java泛型设计详解

news 来源：原创 2025/6/30 19:32:23

引言

在日常Java开发中，泛型是一个非常重要的特性。它提供了编译时的类型安全检查，增强了代码的可读性和可维护性。然而，对于初学者甚至一些有经验的开发者来说，泛型的使用和理解仍然是一个挑战。本文旨在深入探讨Java泛型的诞生背景、特性以及著名的PECS原则，帮助读者更好地掌握这一强大的工具。

泛型的诞生背景

为什么需要泛型

在没有泛型之前，Java中的集合类（如ArrayList、HashMap等）只能存储Object类型的对象。这意味着在添加和获取元素时，需要进行显式的类型转换。这种做法不仅繁琐，而且容易导致ClassCastException。例如：

ArrayList list = new ArrayList();
list.add(11);
list.add("ssss");
for (int i = 0; i < list.size(); i++) {System.out.println((String) list.get(i));
}

上述代码在运行时会抛出ClassCastException，因为列表中的元素既有Integer类型，又有String类型。在尝试将Integer类型转换为String类型时，会抛出异常。

为了解决这一问题，Java 5引入了泛型。泛型允许在编译时指定集合中元素的类型，从而在编译阶段就能检查类型错误，避免运行时异常。例如：

List<String> list = new ArrayList<>();
list.add("hahah");
list.add("ssss");
for (int i = 0; i < list.size(); i++) {System.out.println(list.get(i));
}

在上面的代码中，我们只能向列表中添加String类型的元素，否则编译器会报错。这样，在调用get()方法时，无需进行显式的类型转换，因为编译器已经确保了元素的类型。

泛型的思想来源

泛型的思想并不是Java独有的，它在其他编程语言中早已存在。例如，C++中的模板（Templates）就是一种参数化类型的机制。模板允许开发者编写与类型无关的代码，在编译时根据实际的类型参数生成具体的代码。Java的泛型在很大程度上借鉴了C++模板的思想。

泛型的特性

类型安全

泛型最显著的特性之一是类型安全。通过泛型，可以在编译时捕获类型错误，而不是在运行时。这大大提高了程序的稳定性和可靠性。例如：

List<Integer> intList = new ArrayList<>();
intList.add(1);
intList.add(2);
int firstInt = intList.get(0); // 正确，无需类型转换
// intList.add("three"); // 编译错误，无法添加String类型元素

在上面的代码中，尝试向intList中添加String类型的元素会导致编译错误。这是因为编译器在编译时已经检查了元素的类型，并确保了类型的一致性。

代码复用

泛型允许编写适用于多种数据类型的代码，从而避免了代码重复。例如，可以编写一个通用的排序方法，该方法可以对任何实现了Comparable接口的对象进行排序：

java复制代码
public static <T extends Comparable<T>> void sort(List<T> list) {
// 实现排序算法
}

在这个方法中，T是一个类型参数，它表示列表中的元素类型。由于T继承自Comparable<T>，因此可以对列表中的元素进行比较和排序。这样，一个排序方法就可以适用于任何类型的列表，而无需为每种类型编写单独的排序方法。

灵活性

泛型提供了在运行时动态指定类型的能力，从而增加了代码的灵活性。例如，可以编写一个泛型类，该类可以在创建对象时指定类型参数：

public class Box<T> {
private T t;
public void set(T t) {
this.t = t;}
public T get() {
return t;}
}
// 使用Box类
Box<Integer> box1 = new Box<>();
box1.set(12);
Integer value1 = box1.get();
Box<String> box2 = new Box<>();
box2.set("abc");
String value2 = box2.get();

在这个例子中，Box类是一个泛型类，它使用类型参数T来表示存储的元素类型。通过创建Box<Integer>和Box<String>对象，可以分别存储整数和字符串类型的元素。

PECS原则的由来

什么是PECS原则

PECS原则是“Producer Extends, Consumer Super”的缩写，它是由Joshua Bloch在《Effective Java》一书中提出的。PECS原则旨在指导开发者在使用Java泛型时的通配符选择，特别是在涉及到集合类时。

Producer Extends：当你需要从一个数据结构获取（生产）元素时，应该使用extends通配符。这样，你可以从该数据结构读取到的类型为该通配符或其任何子类型的对象。
Consumer Super：当你需要向一个数据结构写入（消费）元素时，应该使用super通配符。这允许你写入指定的类型或其任何超类型（父类型）的对象到该数据结构中。

PECS原则的由来

PECS原则的提出是为了解决在使用泛型通配符时可能出现的类型安全问题。在没有PECS原则指导的情况下，开发者可能会错误地选择通配符，从而导致类型不匹配或类型转换异常。

例如，考虑以下两个方法：

public void printElements(List<? extends Number> list) {
for (Number number : list) {System.out.println(number);}
}
public void addElements(List<? super Integer> list) {list.add(1);list.add(2);
}

在printElements方法中，我们使用了extends通配符。这是因为我们只需要从列表中读取元素，而不需要向列表中添加元素。使用extends通配符可以确保我们读取到的元素是Number类型或其子类型，从而避免了类型转换异常。

在addElements方法中，我们使用了super通配符。这是因为我们需要向列表中添加元素，而添加的元素类型是Integer。使用super通配符可以确保我们可以将Integer类型或其父类型的对象添加到列表中。

PECS原则的应用实例

使用`extends`进行读取操作

假设我们有一个Animal类和一个Bird类，其中Bird继承自Animal。现在，我们想要编写一个方法来打印动物列表中所有鸟的名字：

public class Animal {String name;
public Animal(String name) {
this.name = name;}
public String getName() {
return name;}
}
public class Bird extends Animal {
public Bird(String name) {
super(name);}
}
public void printBirdNames(List<? extends Bird> birdList) {
for (Bird bird : birdList) {System.out.println(bird.getName());}
}
// 使用方法
List<Bird> birdList = Arrays.asList(new Bird("Parrot"), new Bird("Sparrow"));
printBirdNames(birdList);

在这个例子中，printBirdNames方法接受一个List<? extends Bird>类型的参数。这意味着我们可以传递一个包含Bird类型或其子类型的列表给该方法。由于我们只从列表中读取元素，因此使用extends通配符是合适的。

使用`super`进行写入操作

现在，假设我们想要编写一个方法来向动物列表中添加一些默认的鸟：

public void addDefaultBirds(List<? super Bird> animalList) {animalList.add(new Bird("Default Parrot"));animalList.add(new Bird("Default Sparrow"));
}
// 使用方法
List<Animal> animalList = new ArrayList<>();
addDefaultBirds(animalList);

在这个例子中，addDefaultBirds方法接受一个List<? super Bird>类型的参数。这意味着我们可以传递一个List<Animal>、List<Bird>或List<Object>类型的列表给该方法。由于我们需要向列表中添加元素，并且添加的元素类型是Bird，因此使用super通配符是合适的。

泛型的类型擦除

什么是类型擦除

Java的泛型是在编译时实现的，而不是在运行时。这意味着在编译后生成的字节码中，泛型信息会被擦除。这种机制被称为类型擦除（Type Erasure）。

类型擦除的目的

类型擦除的目的是为了保持与Java 5之前版本的兼容性。由于泛型是在Java 5中引入的，而在此之前已经存在大量的Java代码，因此为了兼容这些代码，Java设计者选择了类型擦除这种方案。

类型擦除的影响

类型擦除对泛型的使用产生了一些限制和影响：

类型参数不支持基本类型：由于类型擦除会将泛型类型替换为它们的上界（通常是Object），而Object不能存储基本类型的值，因此泛型类型参数不支持基本类型。
不能实例化类型参数：由于类型擦除，无法在运行时创建泛型类型的实例。例如，无法创建T[]类型的数组。
不能创建泛型数组的实例：同样由于类型擦除，无法创建泛型数组的实例。例如，new T[10]是非法的。
运行时类型检查受限：由于泛型信息在运行时被擦除，因此无法使用instanceof关键字来检查泛型类型的实例。例如，if (obj instanceof T)是非法的。

类型擦除的实现原理

在编译时，Java编译器会对泛型代码进行类型擦除处理。具体来说，编译器会将泛型类型替换为它们的上界，并插入必要的类型转换代码以确保类型安全性。

例如，考虑以下泛型方法：

public static <T> T getFirstElement(List<T> list) {
return list.get(0);
}

在编译后，该方法会被转换为类似以下的代码：

public static Object getFirstElement(List list) {
return (T) list.get(0); // 插入类型转换
}

注意，在转换后的代码中，泛型类型T被替换为了Object，并且在返回语句中插入了类型转换。这是为了确保类型安全性，因为编译器知道在调用getFirstElement方法时，传入的列表应该是特定类型的列表（例如List<String>），因此可以将返回的对象强制转换为该类型。

泛型的边界限定

什么是边界限定

边界限定（Bounded Types）允许对泛型类型参数施加约束。通过边界限定，可以确保泛型类型参数是某个特定类或接口的子类型或实现类型。

边界限定的语法

边界限定的语法如下：

java复制代码
<T extends Bound>

其中，T是泛型类型参数，Bound是对T的约束。Bound可以是一个类或接口。

边界限定的应用实例

泛型类的边界限定

假设我们想要编写一个泛型类，该类只能处理数值类型的对象。我们可以使用边界限定来确保这一点：

public class NumericBox<T extends Number> {
private T value;
public void setValue(T value) {
this.value = value;}
public T getValue() {
return value;}
}
// 使用NumericBox类
NumericBox<Integer> intBox = new NumericBox<>();
intBox.setValue(123);
Integer intValue = intBox.getValue();
NumericBox<Double> doubleBox = new NumericBox<>();
doubleBox.setValue(123.45);
Double doubleValue = doubleBox.getValue();

在这个例子中，NumericBox类是一个泛型类，它使用边界限定T extends Number来确保T只能是Number类型或其子类型（如Integer、Double等）。

泛型方法的边界限定

同样地，我们也可以对泛型方法进行边界限定。例如，我们可以编写一个泛型方法来计算两个数值的和：

public static <T extends Number> double sum(T a, T b) {
return a.doubleValue() + b.doubleValue();
}
// 使用sum方法
double result1 = sum(123, 456);
double result2 = sum(123.45, 67.89);

在这个例子中，sum方法是一个泛型方法，它使用边界限定T extends Number来确保a和b只能是Number类型或其子类型。然后，方法将a和b转换为double类型并计算它们的和。

总结

Java泛型是一个强大的特性，它提供了编译时的类型安全检查、代码复用和灵活性。通过深入理解泛型的诞生背景、特性以及PECS原则，我们可以更好地利用泛型来编写高质量、可维护的Java代码。同时，我们也需要注意泛型的一些限制和影响，如类型擦除和边界限定等。在实际开发中，合理使用泛型将大大提高代码的质量和效率。

Java泛型设计详解

引言在日常Java开发中，泛型是一个非常重要的特性。它提供了编译时的类型安全检查，增强了代码的可读性和可维护性。然而，对于初学者甚至一些有经验的开发者来说，泛型的使用和理解仍然是一个挑战。本文旨在深入探讨Java泛型的诞生…...

编程日记 2025/6/30 19:32:23

第十九章程序清单合集——Java语言程序设计进阶篇（黑皮书）

目录程序清单19_1GenericStack 程序清单19_2GenericMethodDemo 程序清单19_3BoundedTypeDemo 程序清单19_4GenericSort 程序清单19_5Max 程序清单19_6MaxUsingGenericType 程序清单19_7wildCardNeedDemo 程序清单19_8AnyWildCardDemo 程序清单19_9SuperWildChardDem…...

编程日记 2025/6/30 17:02:25

el-table组件树形数据修改展开箭头

编程日记 2025/6/30 17:26:39

LabVIEW前面板无法显示的常见原因

当 LabVIEW 前面板显示为白色或黑色时，可能由于控件可视性设置、显卡驱动问题、程序错误或 LabVIEW 设置不当引起。通过检查面板设置、更新驱动、重启程序等方式可有效解决此问题。遇到前面板无法显示或显示为白色/黑色的情况，可能有以下几种原因。可以…...

编程日记 2025/6/28 19:06:20

PyQt事件机制练习

一、思维导图二、代码 import sysfrom PyQt6.QtTextToSpeech import QTextToSpeech from PyQt6.QtWidgets import QApplication, QWidget, QLabel, QPushButton, QLineEdit from PyQt6 import uic from PyQt6.QtCore import Qt, QTimerEvent, QTimeclass MyWidget(QWidget):d…...

编程日记 2025/6/30 13:47:31

Android 中，Activity Fragment：如何进行界面跳转、数据传递等

学习笔记 1. Activity 之间的界面跳转和数据传递在 Android 中，Activity 之间的跳转通常通过 Intent 来完成。Intent 可以携带数据，并传递给目标 Activity，也可以从目标 Activity 返回数据。从一个 Activity 跳转到另一个 Activity // 在…...

编程日记 2025/6/30 18:04:42

【ubuntu18.04】安装easycwmp出现/usr/bin/ld: cannot find -lubus问题解决方案

错误日志 rootw1804-virtual-machine:/opt/dev/easycwmp# make Making all in bin make[1]: Entering directory /opt/dev/easycwmp/bin gcc -DPACKAGE_NAME\"easycwmpd\" -DPACKAGE_TARNAME\"easycwmpd\" -DPACKAGE_VERSION\"1.8.6\" -DPACKAG…...

编程日记 2025/6/29 22:31:04

可视化建模以及UML期末复习----做题篇

一、单项选择题。（20小题，每小题2分,共40分） 1、UML图不包括（ ） A、用例图 B、状态机图 C、流程图 D、类图 E、通信图答案：C、流程图 UML中不包括传统意义上的流程图，流程图通常是指B…...

编程日记 2025/6/28 18:49:04

【2024年浙江工商大学程序设计竞赛新生赛（同步赛）部分题解】

比赛链接 C. 交换题目大意给定一个长度为 n n n 的数组 a a a。一开始你有一个总和 s 0 s 0 s0。现在你需要做 n n n 次操作，第 i i i 次操作的流程如下（ 1 ⩽ i ⩽ n 1 \leqslant i \leqslant n 1⩽i⩽n)： 选择一个下标 p ∈…...

编程日记 2025/6/28 18:06:00

[SAP ABAP] DEBUG ABAP程序中的循环语句

在ABAP程序开发中可能会遇到要DEBUG循环语句的情况，这个循环语句可能会执行上万次，但我们希望程序执行循环到100次就停下来，也就是希望DEBUG断点设置在循环语句的第100次停下来观察执行的结果，这时我们可以在DEBUG程序时通过设置一…...

编程日记 2025/6/28 8:09:39

解决阿里云轻量级服务器 Ubuntu 24.04.1 LTS 没网也 ping 不通 8.8.8.8 以及 route -n 没有输出任何转发信息

事情发生在两天前，位于公网的阿里云轻量级服务器（Ubuntu 24.04.1 LTS）忽然没网。主要是上次上服务器进行配置已经是一个多月前，最近也没有做什么事情，就忽然没网了，让人纳闷。更主要的是，上次备…...

编程日记 2025/6/28 20:05:51

AUTOSAR：SOME/IP 概念

文章目录 1. 用例与需求1.1 典型用例1.2 对中间件的要求 2. 协议栈示例3. SOME/IP 概念3.1 中间件整体功能与架构3.2 服务组成元素详细解释 4. 服务发现机制深入剖析5. 总结 1. 用例与需求 1.1 典型用例信息娱乐系统： 后座娱乐系统连接：允许后排乘客连…...

编程日记 2025/6/28 9:13:35

STM32--中断

中断中断向量表定义一段固定的内存，以4字节对齐，存放各个中断服务函数程序的首地址。定义在启动文件中。中断相关寄存器内核中断不经过中断使能、除能寄存器。中断优先级 1、抢占优先级：高高抢占优先级可以打断正在执行的低抢占优先…...

编程日记 2025/6/30 12:36:37

海思3559a开发

目录固件烧录配置网络nfs挂载虚拟机文件使用telnet连接开发板固件烧录 1、配置好HiTool烧录工具需要注意长度必须不小于对应文件大小 2、开始烧录先点击擦除全器件，重新给开发板上电，擦除成功后如下图所示。点击烧写，重新给开发板上电…...

编程日记 2025/6/30 11:16:17

优选算法——位运算

1. 常见位运算总结 2. 判定字符是否唯一题目链接：面试题 01.01. 判定字符是否唯一 - 力扣（LeetCode） 题目展示： 题目分析：本题有很多种做法，这里我们使用位图来解决，这种做法是一种效率很高…...

编程日记 2025/6/28 20:06:06

【JAVA】旅游行业中大数据的使用

一、应用场景数据采集与整合：全面收集旅游数据，如客流量、游客满意度等，整合形成统一数据集，为后续分析提供便利。舆情监测与分析：实时监测旅游目的地的舆情信息，运用NLP算法进行智能处理，及…...

编程日记 2025/6/28 19:11:42

使用html和JavaScript实现一个简易的物业管理系统

码实现了一个简易的物业管理系统，主要使用了以下技术和功能： 1.主要技术使用的技术： HTML: 用于构建网页的基本结构。包括表单、表格、按钮等元素。 CSS: 用于美化网页的外观和布局。设置字体、颜色、边距、对齐方式等样式。 JavaScript…...

编程日记 2025/6/30 1:26:30

浅谈Kubernetes(K8s)之RC控制器与RS控制器

1.RC控制器 1.1RC概述 Replication Controller 控制器会持续监控正在运行的Pod列表，并保证相应类型的Pod的数量与期望相符合，如果Pod数量过少，它会根据Pod模板创建新的副本，反之则会删除多余副本。通过RC可实现了应用服务的高可用…...

编程日记 2025/6/30 16:48:51

如何在 openAI Sora 上生成视频内容

近期OpenAI 推出了我们期待已久的视频生成模型 Sora。能够生成包含多个角色、特定类型的动作以及主体和背景的精确细节的复杂场景。该模型不仅了解用户在提示中要求的内容，还了解这些内容在物理世界中的存在方式。如何在 openAI Sora 上生成视频内容使用Sora 视频…...

编程日记 2025/6/28 18:59:19

【Oracle11g SQL详解】日期和时间函数：SYSDATE、TO_DATE、TO_CHAR 等

日期和时间函数：SYSDATE、TO_DATE、TO_CHAR 等在 Oracle 数据库中，日期和时间函数用于处理日期和时间数据。它们在记录创建时间、分析时间间隔、格式化输出等场景中非常重要。本文将详细讲解常用的日期和时间函数及其应用。一、SYSDATE：获…...

编程日记 2025/6/28 20:22:15

STM32 串口收发文本数据包

单片机学习！ 目录前言一、文本数据包格式二、串口收发文本数据包代码三、代码解析 3.1 标志位清除 3.2 数据包接收四、代码问题改进总结前言本文介绍了串口收发文本数据包程序设计的思路并详解代码作用。一、文本数据包格式文本数据包的格式的定义…...

编程日记 2025/6/28 19:02:08

铭记一次项目重大事故

在程序的世界里，bug 就像隐藏在暗处的小怪兽，时不时跳出来捣乱。而职业生涯中，总有那么一个或几个 bug 让我们刻骨铭心。它或许让项目差点夭折，或许让你熬了无数个通宵，或许有着离奇的出现方式和曲折的解决过程。无论是…...

编程日记 2025/6/28 18:37:01

AUTOSAR 汽车开放系统架构

AUTOSAR 官网 AUTOMOTIVE OPEN SYSTEM ARCHITECTURE AUTOSAR (AUTomotive Open System ARchitecture) is a global partnership of leading companies in the automotive and software industry to develop and establish the standardized software framework and open E/E …...

编程日记 2025/6/28 18:47:30

引言

泛型的诞生背景

为什么需要泛型

泛型的思想来源

泛型的特性

类型安全

代码复用

灵活性

PECS原则的由来

什么是PECS原则

PECS原则的由来

PECS原则的应用实例

使用extends进行读取操作

使用super进行写入操作

泛型的类型擦除

什么是类型擦除

类型擦除的目的

类型擦除的影响

类型擦除的实现原理

泛型的边界限定

什么是边界限定

边界限定的语法

边界限定的应用实例

泛型类的边界限定

泛型方法的边界限定

总结

相关文章：

使用`extends`进行读取操作

使用`super`进行写入操作