Java中的逆变与协变

于 2023-06-12 17:05:31 发布
阅读量582 收藏
点赞数
分类专栏： 数据结构与算法 文章标签： java 开发语言 jvm
版权声明：本文为博主原创文章，遵循 CC 4.0 BY-SA 版权协议，转载请附上原文出处链接和本声明。
本文链接：https://blog.csdn.net/keyboardlabourer/article/details/131172866
版权
本文介绍了Java中的逆变与协变概念，结合Liskov替换原则，深入探讨了类型转换、泛型、数组、方法的协变性和逆变性。同时，通过实例讲解了泛型中的通配符如何实现协变和逆变，以及PECS原则的应用。
摘要由CSDN通过智能技术生成

看下面一段代码

Number num = new Integer(1);  
ArrayList<Number> list = new ArrayList<Integer>()
了解本专栏 订阅专栏 解锁全文 超级会员免费看
浅唱书令
关注
  • 0
    点赞
  • 踩
  • 0
    收藏
    觉得还不错? 一键收藏
  • 打赏
    打赏
  • 0
    评论
专栏目录
订阅专栏
C#逆变与协变详解
12-31
在Java中同样存在逆变与协变，后续我还会写一篇Java逆变协变的文章，有兴趣的朋友可以关注一下。 逆变与协变，听起来很抽象、高深，其实很简单。看下面的代码： class Person { } class Student : Person { } ...
Java 泛型的协变与逆变
最新发布
qq_38074398的博客
06-06 1264
Java 泛型中的协变与逆变
Java泛型的协变与逆变
m0_54828003的博客
08-03 924
从面向对象说起 Java作为一门面相对象的语言，当然是支持面相对象的三大基本特性的，反手就蹦出三个词：封装、继承、多态。我们假设有三个类，动物、猫、狗。父类是动物Animal，有两个子类猫Cat和狗Dog。那在Java中或其它任何支持面相对象的语言中，子类可以把引用赋值给父类。下面这段代码没有任何问题：Animal animalOne = new Cat(); Animal animalTwo = new Dog(); 1 理论上来说，一只猫是一只动物，一只狗也是一只动物，所以这完全是可以理解的。其实，这也
Java 泛型的型变 (协变、逆变和不变)
howeres的博客
08-31 2943
通过PageVO引出的泛型思考: 首先声明: java中对于泛型的型变只是一种约束; 和kotlin等其他语言并不一致. 型变: 分为逆变和协变, 与不变对应 协变（covariant），如果它保持了子类型序关系≦。该序关系是：子类型≦基类型。 逆变（contravariant），如果它逆转了子类型序关系。 不变（invariant），如果上述两种均不适用。 假设Orange类是Fruit类的子类，以集合类List为例： 型变：用来描述类型转换后的继承关系（即协变、逆变和不变的统称）。比如：List
协变逆变java_Java中的协变与逆变
weixin_35965051的博客
02-12 230
Java作为面向对象的典型语言，相比于C++而言，对类的继承和派生有着更简洁的设计(比如单根继承)。在继承派生的过程中，是符合Liskov替换原则(LSP)的。LSP总结起来，就一句话：所有引用基类(父类)的地方必须能够透明地使用其子类的对象。LSP包含四层含义：① 子类完全拥有父类的方法，且具体子类必须实现父类的抽象方法；② 子类中可以增加自己的方法；③ 当子类覆盖或实现父类的方法时，方法的形参...
Java中数组协变和范型不变性踩坑记录
08-26
在Java中，数组是协变的，这是由于历史原因，也带来了一些潜在的风险。例如，`Carrot[]`可以被视为`Vegetable[]`的子类。这允许我们将`Carrot[]`赋值给`Vegetable[]`类型的变量，如下所示： ```java Vegetable[] ...
Kotlin中协变、逆变和不变示例详解
01-20
与Java相比，Kotlin的泛型处理方式更注重安全性，它提供了协变（Covariance）和逆变（Contravariance）的概念来解决类型兼容性问题。 **协变（Covariance）** 是指泛型类型参数的子类型关系被正确地传播到泛型实例...
Java泛型_Java中的泛型结构_
10-01
- 但是，泛型不支持协变（Covariance）和逆变（Contravariance），所以 `List<Dog>` 不是 `List<Animal>` 的子类型。 8. 类型推断（Type Inference）： - 自Java 7起，编译器可以自动推断泛型的类型，例如在创建...
新JEP将简化Java类型变异
01-20
新的JEP Candidate 旨在简化处理Java中复杂的类型变异的概念。这个新的JEP Candidate可能会在Java 10中推出，提供了在定义的泛型类型中指定目标对象默认变异的方法，而不是在泛型... 　变异、协变和逆变 　以下的代
数据结构（2）队列实现（queue）
cdut2016的博客
09-07 1421
一、队列介绍 1、队列是一个有序列表，可以用数组或者链表实现。 2、遵循先入先出的原则。即：先存入队列的数据，要先取出。后存入的要后取出。 3、示意图： 数组模拟队列 1、队列本身是有序列表，若使用数组的结构来存储队列的数据，则队列数组的声明如下图, 其中 maxSize 是该队列的最大容量。 2、因为队列的输出、输入是分别从前后端来处理，因此需要两个变量 front及 rear分别记录队列前后端的下标，front 会随着数据输出而改变，而 rear则是随着数据输入而改变，如图所示: 思路： 当我们将数
【Java】协变与逆变
如雨随行的博客
09-23 583
文章目录一、定义二、数组协变，泛型不变1. 数组的协变性2. 泛型的不变性3. 泛型有界的副作用\<? extends T>\<? super T>总结3. PECS原则 一、定义 若类A是类B的子类，则记作A ≦ B。设有变换f()，若： 当A ≦ B时，有f(A)≦ f(B)，则称变换f()具有协变性。 当A ≦ B时，有f(B)≦ f(A)，则称变换f()具有逆变性。 当A ≦ B时，f(A)与f(B)无关，则称变换f()具有不变性。 二、数组协变，泛型不变 1. 数组的协
JAVA中的协变和逆变
景月娇-Kathy
12-27 2536
协变逆变的概念 可变性是以一种类型安全的方式，将一个对象当做另一个对象来使用。如果不能将一个类型替换成为另一个类型，那么这个类型就称之为：不变量。 协变：如果某个返回的类型可以由其派生类替换，那么这个类型就是支持协变的。 逆变：如果某个参数类型可以由其基类替换，那么这个类就是支持逆变的。 如Function, 在这里R 作为函数的返回值, 所以这个泛型要协变, 而T用在函数的参数上所以要用逆变 Function<? super Dog,? extends Animal> f1; 协变 如: L
java协变和逆变
xxhhbb1538的专栏
05-17 1497
java中的协变和逆变理论，在网络上有很多，但是理解起来需要花费点时间。 协变和逆变一般都是作为方法的参数存在的，常常看到PECS理论，exends作为用来限制生产者，super用来限制消费者。 使用extends产生协变，传入方法的参数，必须是T的类型或者子类型的集合，此时集合不能add，只能get。如果能够add，那么在调用方法内，如果我add了一个T的子类对象，这个对象类型又跟传入的list中的对象类型 不一样，那么就会导致在调用方法外，出现类型错误。这样就产生了限制生产者的作用。 ..
Java 泛型之-协变&逆变
KKkeep的专栏
03-08 5829
首先，Java有泛型这一个概念，初衷是为了保证在运行时出现的错误能提早放到编译时检查。有了这个前提，再来看看题主的问题。 先说一下java中的协变，逆变，不可变: 假设有如下类： class Food{} // 默认继承Object class Fruit extends Food{} class Meat extends Food {} class Apple extends F...
再谈对协变和逆变的理解（Updated）
weixin_34391445的博客
09-21 595
去年写过一篇博客谈了下我自己对协变和逆变的理解，现在回头看发现当时还是太过“肤浅”，根本没理解。不久前还写过一篇“黑”Java泛型的博客，猛一回头又是“肤浅”，今天学习Java泛型的时候又看到了协变和逆变，感觉又理解了点，记录一下，但不免还是“肤浅”，看了这篇博客的同学，欢迎留言交流下。Markdown   什么是协变和逆变？ 到底什么是协变和逆变？先看例子： //Java Obje...
java泛型的逆变_Java泛型的协变与逆变
weixin_36254537的博客
02-13 155
泛型擦除Java的泛型本质上不是真正的泛型，而是利用了类型擦除(type erasure)，比如下面的代码就会出现错误：报的错误是：both methods have same erasure原因是java在编译的时候会把泛型，上面的和都给擦除掉(其实并没有真正的被擦除，javap -l -p -v -c可以看到LocalVariableTypeTable里面有方法参数类型的签名)。协变与逆变理...
详细说明java泛型中的协变和逆变，以及extens super，并给出相应的示例
03-26
Java泛型中的协变和逆变都是针对类型转换的规定。 协变（covariant）：指的是继承链中子类（派生类）类型能够作为父类（基类）类型的一种属性，也就是子类可以作为父类使用的能力。在泛型中，协变的概念可以用来...
评论
添加红包

请填写红包祝福语或标题

个

红包个数最小为10个

元

红包金额最低5元

当前余额3.43元 前往充值 >
需支付：10.00元
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包

打赏作者

浅唱书令

你的鼓励将是我创作的最大动力

¥1 ¥2 ¥4 ¥6 ¥10 ¥20
扫码支付：¥1
获取中
扫码支付

您的余额不足，请更换扫码支付或充值

打赏作者

实付元
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明：

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

余额充值