Java中的协变

最新推荐文章于 2024-09-05 00:15:18 发布

另眼观世界

最新推荐文章于 2024-09-05 00:15:18 发布

阅读量1k

点赞数

分类专栏： JAVA 文章标签： java基础协变

本文链接：https://blog.csdn.net/leeyunfeisblog/article/details/9087235

版权

JAVA 专栏收录该内容

15 篇文章 0 订阅

订阅专栏

Java用到协变的两个地方：

①如果A是B的父类，即A[]是B[]的父类，则用到A[]的地方可以用B[]代替；

②在重写或者重载的时候，返回值类型不一致是不被允许的，但是在子类中可以以此来重写父类的方法，这就是协变。

PS：但是在泛型中，却不能利用协变：基于上面的①，List<A>和List<B>没有什么关系。

确定要放弃本次机会？

福利倒计时

: :

立减 ¥

普通VIP年卡可用

立即使用

另眼观世界

关注关注

0
点赞
踩
0

收藏

觉得还不错? 一键收藏
0
评论
复制链接

分享到 QQ

分享到新浪微博

扫一扫

专栏目录

【Final】深入理解Java泛型、协变逆变、泛型通配符、自限定

m88997766的博客

04-18

589

最后总结一下：纯函数没有副作用Java 中使用通配符在使用时确定继承关系协变使集合保留继承关系逆变常常应用于函数入参匹配入参逆变，出参协变集合类比较少使用 super 通配符，因为通常会失去类型信息（当作Object使用）自限定保证子类获取自己，自己可以作为方法的参数或返回值。

Java泛型的协变与逆变

m0_54828003的博客

08-03

977

从面向对象说起 Java作为一门面相对象的语言，当然是支持面相对象的三大基本特性的，反手就蹦出三个词：封装、继承、多态。我们假设有三个类，动物、猫、狗。父类是动物Animal，有两个子类猫Cat和狗Dog。那在Java中或其它任何支持面相对象的语言中，子类可以把引用赋值给父类。下面这段代码没有任何问题：Animal animalOne = new Cat(); Animal animalTwo = new Dog(); 1 理论上来说，一只猫是一只动物，一只狗也是一只动物，所以这完全是可以理解的。其实，这也

参与评论您还未登录，请先登录后发表或查看评论

java中的协变

{ focus : web }

05-27

167

一个一直有点模糊的概念，记录一下，协变是指一个类型随着它关联的类型一起变化，有点抽像，java中体现协变的包括两点： 1.数组如果 A 是 B 的超类，则 A[] 也是 B[] 的超类，所有需要 A[] 的地方都可以用 B[] 代替。 public class Test2 { public static void main(String[] ...

Java泛型的协变、逆变和不变

最新发布

hirezy

09-05

908

平时在看一些开源框架源码时总发现他们会或多或少的用到泛型来定义数据类型。这可以理解，毕竟牛逼的开源框架大都是为了解决一类普遍问题而存在的；但看不懂的是，有时参数或者返回值会出现诸如extends T>和super T>这样带通配符的泛型参数，这种通配符的泛型是什么意思？如果直接用指定的T会有什么问题？这样做是为了解决什么问题？这是我的疑惑。咨询公司完全做Java开发的服务端同学后，也未能完全解惑。于是查找资料后引出今天的主题----Java泛型的协变extends T>)、逆变super T>)和不变T。

java协变

iteye_10347的博客

02-28

309

在java中支持协变的有两种情况： 1、数组 A是B的超类，则A【】也是B【】的超类，所有用到A【】的地方都可以用B【】替换 2、允许子类的覆盖父类函数的返回值类型是父类被覆盖返回值类型的子类在Java1.4及以前，子类方法如果要覆盖超类的某个方法，必须具有完全相同的方法签名，包括返回值也必须完全一样。 Java5.0放宽了这一限制，只要子类方法与超类方法具有相同的方法签名，...

Java中协变

一览众山小

03-12

146

协变是指一个类型随着它关联的类型一起变化，有点抽像，java中体现协变的包括两点： 1.数组如果 A 是 B 的超类，则 A[] 也是 B[] 的超类，所有需要 A[] 的地方都可以用 B[] 代替。 public class Test2 { public static void main(String[] args){ Integer[] ints=new Integer[1]; i...

Java中数组协变和范型不变性踩坑记录

08-26

在Java中，数组是协变的，这是由于历史原因，也带来了一些潜在的风险。例如，`Carrot[]`可以被视为`Vegetable[]`的子类。这允许我们将`Carrot[]`赋值给`Vegetable[]`类型的变量，如下所示： ```java Vegetable[] ...

java协变返回类型使用示例

09-04

在Java编程语言中，协变返回类型是一种特性，它允许子类在重写父类方法时，返回一个比父类方法更具体的类型。这在某些情况下可以提高代码的灵活性和可读性。Java 5.0及后续版本开始支持这种协变特性。下面将详细解释...

泛型的逆变与协变 --《JAVA编程思想》 57

BaymaxCS的博客

10-01

406

逆变协变 PECS

JAVA可变（协变）返回类型

04-26

在Java编程语言中，"可变（协变）返回类型"是一个重要的概念，它涉及到泛型和类型安全。本文将深入探讨这个主题，并结合提供的`Test.java`文件，来理解如何在实际编程中应用协变返回类型。首先，我们要明白什么是...

java中协变的概念

珺珺去哪儿

03-31

547

协变，就是父类和子类保持相同形式的变化，但是协变有时候倍支持，有时候不被支持比如，在数组中，协变是支持的比如 class Parent{} class Child extends Parent{} 那么 Child[]可以赋值给 Parent[] ，这个就是协变但是，在泛型中，协变就不可以比如虽然Child extends Parent 但是，假设有个 Test，则 Test不可

如何理解Java中的协变

qq_37779333的博客

02-20

1098

前言：引用C++中的一段，在C++中，只要原来的返回类型是指向类的指针或引用，新的返回类型是指向派生类的指针或引用，覆盖的方法就可以改变返回类型。这样的类型称为协变返回类型（Covariant returns type). 关于协变：协变和逆变维基上写的很复杂，但是总结起来原理其实就一个。子类型可以隐性的转换为父类型说个最容易理解的例子，int和float两个类型的关系可以写成下面这样。int ≦ float ：也就是说int是float的子类型。按照上面的原理来说，就是int可以转换成f

java的协变性_java中的协变

weixin_30466329的博客

02-26

170

1.数组假如 A 是 B 的超类，则 A[] 也是 B[] 的超类，所有需要 A[] 的地方都可以用 B[] 代替。?public class Test2 {public static void main(String[] args){Integer[] ints=new Integer[1];ints[0]=99;show(ints);}static void show(Number[] ns)...

java协变函数

欲穷千里目，更上一层楼

05-12

1104

Java 5.0添加了对协变返回类型的支持，即子类覆盖（即重写）基类方法时，返回的类型可以是基类方法返回类型的子类。协变返回类型允许返回更为具体的类型 class Grain{ public String toString(){ return "Grain"; } } class Wheat extends Grain{ public String t

java 泛型协变_JAVA泛型——协变

weixin_29190573的博客

02-13

330

在上篇《JAVA泛型——基本使用》这篇文章中遗留以下问题，即将子类型Table或者也能添加到父类型Auction的泛型中，要实现这种功能必须借助于协变。实验准备现在在《JAVA泛型——基本使用》一文展示的Decorator类型的基础上，增加一些代码，如代码清单1所示。代码清单1/**** 描述：Exp2使用br/>* 作者：jiaan.gja* 历史: (版本) 作者时间注释 * ...

java 协变

woshioosm的专栏

01-12

820

1 数组可以协变：如果 B extends A，则 A[] 也是 B[] 的超类，则B类型的数组可以赋值给A B[] b=new B[5]; A[] a=b; 如果 B extends A, C extends A 下面的代码会抛出异常 ArrayStoreException A[] a=new B[5]; a[0]=new C(); // 可以编译但是运行异常

【Java】方法协变

u010900754的专栏

08-17

218

方法签名只涉及参数和方法名。老的jdk中，父类覆盖子类的方法，要求返回值类型必须相同。新的jdk版本放宽了这一要求，返回值可以是父类返回值的任意子类。...

java数组的协变_Java数组协变与范型不变性

06-09

Java中的数组是协变的，也就是说，如果B是A的子类，那么A[]数组类型可以赋值给B[]数组类型。例如： ``` Object[] objects = new String[10]; ``` 在这个例子中，String是Object的子类，因此String[]类型可以赋值给...