浅谈java中泛型类的extends和super以及PECS规则

本文深入解析Java中的泛型概念,包括上界与下界的使用,以及PECS原则的应用。通过具体的代码示例,如Fruit类及其子类的实例,阐述了泛型中通配符的限制与优势。同时,对比了类型参数与通配符的区别,帮助读者更好地理解和应用Java泛型。

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


class Fruit {}
class Apple extends Fruit {}
class RedApple extends Apple {}

我们首先定义三个具有继承关系的class.然后我们来做一下简单的测试.

public class ArrayTest {
    public static void main(String[] args) {
        //数据的协变性,数组不仅可以存放自身的实例对象,还可以存放其子类以及子类的子类等.
        Fruit[] fruits = new Apple[10];
        fruits[0] = new Apple();
        fruits[1] = new RedApple();
        List<? extends Fruit> list = new ArrayList<>();
        list.add(new Fruit());//error
        list.add(new Apple());//error
        list.get(0);
        List<? super Fruit> list1 = new ArrayList<>();
        list1.add(new Fruit());
        list1.add(new Apple());
        list1.add(new RedApple());
        Fruit fruit = list1.get(0);//error
        Apple apple = list1.get(1);//error
        Object object = list1.get(0);
    }
}

上界<? extends T>不能往里存,只能往外取

<? extends Fruit>会使往list里放东西的set( )方法失效。但取东西get( )方法还有效。比如下面例子里两个set()方法,插入Apple和Fruit都报错。

原因是编译器只知道容器内是Fruit或者它的派生类,但具体是什么类型不知道。可能是Fruit?可能是Apple?也可能是Banana,RedApple,GreenApple?编译器在看到后面用list赋值以后,盘子里没有被标上有“苹果”。而是标上一个占位符:CAP#1,来表示捕获一个Fruit或Fruit的子类,具体是什么类不知道,代号CAP#1。然后无论是想往里插入Apple或者Meat或者Fruit编译器都不知道能不能和这个CAP#1匹配,所以就都不允许。

所以通配符<?>和类型参数的区别就在于,对编译器来说所有的T都代表同一种类型。比如下面这个泛型方法里,三个T都指代同一个类型,要么都是String,要么都是Integer。

但通配符<?>没有这种约束,List<?>单纯的就表示:盘子里放了一个东西,是什么我不知道。

所以题主问题里的错误就在这里,List<? extends Fruit>里什么都放不进去。

下界<? super T>不影响往里存,但往外取只能放在Object对象里

使用下界<? super Fruit>会使从list里取东西的get( )方法部分失效,只能存放到Object对象里。add( )方法正常。

因为下界规定了元素的最小粒度的下限,实际上是放松了容器元素的类型控制。既然元素是Fruit的基类,那往里存粒度比Fruit小的都可以。但往外读取元素就费劲了,只有所有类的基类Object对象才能装下。但这样的话,元素的类型信息就全部丢失。

PECS原则

最后看一下什么是PECS(Producer Extends Consumer Super)原则,已经很好理解了:

  • 频繁往外读取内容的,适合用上界Extends。
  • 经常往里插入的,适合用下界Super。

 

内容大部分转自:https://blog.youkuaiyun.com/qq_36898043/article/details/79655309 

<think>我们正在讨论Java中的上下界限定符extendssuper的区别。根据用户提供的引用之前的问题,我们需要详细解释这两个关键字在中的作用使用场景。 引用[1]提到:extends表示上界限定,super表示下界限定。 引用[2]引用[4]进一步说明:<? extends T>表示参数化类是T或T的子类(上界),<? super T>表示参数化类是T或T的父类(下界)。 引用[3]则是一篇深入讨论的文章,我们可以结合这些引用进行解释。 我们将从以下几个方面进行说明: 1. 基本概念:上界(extends下界(super)的定义。 2. 使用场景:分别适用于什么情况,以及为什么。 3. 实例分析:通过具体的代码示例来展示区别。 4. PECS原则:解释Producer Extends, Consumer Super原则。 注意:在回答中,我们需要自然地引用提供的引用材料,并在适当的地方标注引用标记。 由于用户之前的问题已经涉及了的基本概念(K, T, V, E等),现在要深入extendssuper的区别,所以我们可以直接进入主题。 另外,根据用户提供的引用[2]中的例子,我们可以使用类似的例子来说明。</think>### Java中`extends`与`super`限定符的区别详解 #### 一、核心概念对比 | 特性 | `<? extends T>` (上界限定) | `<? super T>` (下界限定) | |---------------------|----------------------------------------|--------------------------------------| | **类范围** | T 及其**子类**(上界) | T 及其**父类**(下界) | | **数据读取** | ✅ 安全读取为T类 | ❌ 读取时需强制转换 | | **数据写入** | ❌ 不能写入(除`null`外) | ✅ 可写入T及其子类对象 | | **适用场景** | **生产者**(Producer)模式 | **消费者**(Consumer)模式 | | 通配符含义 | "未知的T子类" | "未知的T超类" | | 集合示例 | `List<? extends Number>` | `List<? super Integer>` | > 📌 **PECS原则**(Producer-Extends, Consumer-Super)是选择的核心依据[^1][^4]。 --- #### 二、使用场景详解 **1. `<? extends T>`(生产者场景)** - **特点**:从集合安全读取数据,禁止写入 - **示例**: ```java // 安全读取Number列表(支持Integer/Double等) void printNumbers(List<? extends Number> list) { for (Number n : list) { // ✅ 直接读取为Number System.out.println(n.doubleValue()); } // list.add(1); ❌ 编译错误!无法确定具体子类 } ``` - **适用场景**:数据源(如数据库查询结果、API响应) **2. `<? super T>`(消费者场景)** - **特点**:可向集合写入数据,读取需强制转换 - **示例**: ```java // 向Integer父类集合写入数据 void addIntegers(List<? super Integer> list) { list.add(1); // ✅ 写入Integer及其子类 list.add(2); // Integer num = list.get(0); ❌ 需强制转换 Object obj = list.get(0); // 只能读取为Object } ``` - **适用场景**:数据接收端(如日志收集器、存储容器) --- #### 三、经典应用案例 **类安全的集合拷贝**(结合PECS原则)[^2]: ```java public static <T> void copy( List<? extends T> src, // 生产者:提供T类数据 List<? super T> dest // 消费者:接收T类数据 ) { for (T item : src) { dest.add(item); // ✅ 安全读写 } } ``` **使用示例**: ```java List<Integer> integers = Arrays.asList(1, 2, 3); List<Number> numbers = new ArrayList<>(); // 安全拷贝:Integer -> Number copy(integers, numbers); // ✅ 编译通过 ``` --- #### 四、类系统关系图 ```mermaid graph TD Object -->|super| Number Number -->|super| Integer Number -->|super| Double subgraph <? extends Number> Integer -- 包含 --> Extends[Integer/Double...] Double -- 包含 --> Extends end subgraph <? super Integer> Integer -- 包含 --> Super[Integer/Number/Object] Number -- 包含 --> Super Object -- 包含 --> Super end ``` --- #### 五、易错点分析 1. **错误写入尝试** ```java List<? extends Number> list = new ArrayList<Double>(); list.add(1.0); // ❌ 编译错误!实际类可能是Integer ``` 2. **错误读取尝试** ```java List<? super Integer> list = new ArrayList<Number>(); Integer num = list.get(0); // ❌ 需强制转换为Integer ``` 3. **边界限定冲突** ```java // class Box<T extends Number> { ... } Box<String> box; // ❌ 编译错误!String不是Number子类 ``` > 💡 **最佳实践**: > - 需要**只读访问** → 用`extends` > - 需要**只写操作** → 用`super` > - 需要**读写操作** → 用**精确类**(如`<T>`)[^3][^4]
评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

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

抵扣说明:

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

余额充值