Java中 PECS 原则在 `java.util.Collections.addAll` 方法中怎么保证类型安全

星伟姑娘_7103

星伟姑娘_7103

2026-07-20

526人浏览

原创

collections.addall()使用? super t是因为其作为“消费者”需写入t类型元素,符合pecs原则中“consumer super”;? extends t适用于读取,禁止写入,故不适用。

java中 pecs 原则在 `java.util.collections.addall` 方法中怎么保证类型安全

Java 中 Collections.addAll 方法使用 ? super T 通配符,正是 PECS 原则中 “Consumer Super” 的典型体现——它把目标集合视为“消费者”,只负责接收(写入)类型为 T 的元素,从而在编译期就杜绝非法写入,保障类型安全。

为什么用 ? super T 而不是 ? extends T

因为 addAll 的作用是往集合里“加东西”,不是从集合里“取东西”。
- ? extends T 是为“读取”设计的:你可以安全地把每个元素当作 T 来用(如 get(0) 返回 T),但不能往里加任何具体类型(连 T 都不行),否则会破坏类型约束。
- ? super T 是为“写入”设计的:你只能往里加 T 或其子类实例(如 add(new T())),但取出来的元素只能当作 Object(或其最宽泛的上界),因为具体是什么父类不确定。

addAll 方法签名与类型安全机制

方法定义如下:

public static <t> boolean addAll(Collection super T> c, T... elements)</t>

关键点:

  • c 是消费者:它必须能容纳所有 T 类型的元素,所以它的实际类型可以是 Collection<t></t>、Collection<object></object>、Collection<serializable></serializable> 等——只要 T 是其元素类型的子类型即可;
  • 编译器检查:当你传入 Collection<animal></animal> 并调用 addAll(animalList, new Dog()),Dog 是 Animal 的子类,符合 ? super Dog 的约束(注意:这里 T = Dog,所以 ? super Dog 允许 Animal 或 Object 等);
  • 反例失败:若误传 Collection<cat></cat> 给 addAll(..., new Dog()),编译直接报错——因为 Cat 不是 Dog 的父类,不满足 ? super Dog。

一个直观例子

假设:

Java Maven Secondary Analysis
Java Maven Secondary Analysis

分析ZIP压缩包或GitLab仓库中的Java Maven项目,确定二次开发范围、类数量、模块分布及生产相关指标。

下载
class Animal { }<br>class Dog extends Animal { }<br>class Cat extends Animal { }

以下调用全部合法:

  • addAll(new ArrayList<animal>(), new Dog(), new Dog())</animal> ✅
  • addAll(new ArrayList<object>(), new Dog(), new Cat())</object> ✅(此时 T 会推断为 Animal,因两者有公共父类)
  • addAll(new ArrayList<dog>(), new Dog())</dog> ✅(Dog 是自身父类)

但以下非法:

  • addAll(new ArrayList<cat>(), new Dog())</cat> ❌ 编译失败:Cat 不是 Dog 的父类;
  • addAll(new ArrayList<string>(), new Dog())</string> ❌ 同理,无继承关系。

它不保证运行时“语义安全”,只保编译期类型兼容

? super T 不关心业务逻辑是否合理。例如:

  • 允许向 ArrayList<number></number> 添加 Integer 和 Double ——类型安全;
  • 也允许向 ArrayList<serializable></serializable> 添加任意可序列化对象(包括 String、File、自定义类)——仍类型安全;
  • 但它不会阻止你把 File 加进本该只存 Number 的业务容器中——那是设计层面的责任,PECS 只管“能不能加”,不管“该不该加”。

Java免费学习笔记:立即使用
解锁 Java 大师之旅:从入门到精通的终极指南

相关文章

java速学教程(入门到精通)
java速学教程(入门到精通)

java怎么学习?java怎么入门?java在哪学?java怎么学才快?不用担心,这里为大家提供了java速学教程(入门到精通),有需要的小伙伴保存下载就能学习啦!

下载

相关标签:

java

本站声明:本文内容由网友自发贡献,版权归原作者所有,本站不承担相应法律责任。如您发现有涉嫌抄袭侵权的内容,请联系admin@php.cn

相关专题

更多
java
java

Java是一个通用术语,用于表示Java软件及其组件,包括“Java运行时环境 (JRE)”、“Java虚拟机 (JVM)”以及“插件”。php中文网还为大家带了Java相关下载资源、相关课程以及相关文章等内容,供大家免费下载使用。

2023.06.15

9977

6

java正则表达式语法
java正则表达式语法

java正则表达式语法是一种模式匹配工具,它非常有用,可以在处理文本和字符串时快速地查找、替换、验证和提取特定的模式和数据。本专题提供java正则表达式语法的相关文章、下载和专题,供大家免费下载体验。

2023.07.05

7122

9

java自学难吗
java自学难吗

Java自学并不难。Java语言相对于其他一些编程语言而言,有着较为简洁和易读的语法,本专题为大家提供java自学难吗相关的文章,大家可以免费体验。

2023.07.31

6272

8

java配置jdk环境变量
java配置jdk环境变量

Java是一种广泛使用的高级编程语言,用于开发各种类型的应用程序。为了能够在计算机上正确运行和编译Java代码,需要正确配置Java Development Kit(JDK)环境变量。php中文网给大家带来了相关的教程以及文章,欢迎大家前来阅读学习。

2023.08.01

1084

3

java保留两位小数
java保留两位小数

Java是一种广泛应用于编程领域的高级编程语言。在Java中,保留两位小数是指在进行数值计算或输出时,限制小数部分只有两位有效数字,并将多余的位数进行四舍五入或截取。php中文网给大家带来了相关的教程以及文章,欢迎大家前来阅读学习。

2023.08.02

908

3

java基本数据类型
java基本数据类型

java基本数据类型有:1、byte;2、short;3、int;4、long;5、float;6、double;7、char;8、boolean。本专题为大家提供java基本数据类型的相关的文章、下载、课程内容,供大家免费下载体验。

2023.08.02

1316

5

java有什么用
java有什么用

java可以开发应用程序、移动应用、Web应用、企业级应用、嵌入式系统等方面。本专题为大家提供java有什么用的相关的文章、下载、课程内容,供大家免费下载体验。

2023.08.02

2629

5

java在线网站
java在线网站

Java在线网站是指提供Java编程学习、实践和交流平台的网络服务。近年来,随着Java语言在软件开发领域的广泛应用,越来越多的人对Java编程感兴趣,并希望能够通过在线网站来学习和提高自己的Java编程技能。php中文网给大家带来了相关的视频、教程以及文章,欢迎大家前来学习阅读和下载。

2023.08.03

19951

3

配置java环境变量
配置java环境变量

配置Java环境变量是为了让操作系统能够识别和使用Java的相关命令和功能。本专题为大家提供配置java环境变量相关文章,帮助大家解决问题。

2023.08.03

1175

8

热门下载

更多
网站特效
/
网站源码
/
网站素材
/
前端模板

精品课程

更多
相关推荐
/
热门推荐
/
最新课程
dev.java 官方:Learn Java
dev.java 官方:Learn Java

共0课时 | 0人学习

Java JDBC数据库连接官方教程
Java JDBC数据库连接官方教程

共0课时 | 0人学习