Java中的协变

最新推荐文章于 2025-03-25 18:05:17 发布
最新推荐文章于 2025-03-25 18:05:17 发布
阅读量1k 收藏
点赞数
分类专栏： JAVA 文章标签： java基础 协变
版权声明：本文为博主原创文章，遵循 CC 4.0 BY-SA 版权协议，转载请附上原文出处链接和本声明。
本文链接：https://blog.youkuaiyun.com/leeyunfeisblog/article/details/9087235
版权

Java用到协变的两个地方：

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

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

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

深入探讨Java中的协变、逆变、双变与不变性
m0_62153576的博客
08-24 493
在Java编程语言中，类型系统是确保程序正确性的关键部分。类型系统的一个重要特性是子类型化（Subtyping），它允许在某些上下文中使用一个类型的实例代替另一个类型的实例。Java支持多种子类型化规则，包括协变（Covariant）、逆变（Contravariant）、双变（Bivariant）和不变性（Invariant）。本文将深入探讨这些概念，并结合实例进行说明。
Java泛型的协变与逆变
m0_54828003的博客
08-03 1050
从面向对象说起 Java作为一门面相对象的语言，当然是支持面相对象的三大基本特性的，反手就蹦出三个词：封装、继承、多态。我们假设有三个类，动物、猫、狗。父类是动物Animal，有两个子类猫Cat和狗Dog。那在Java中或其它任何支持面相对象的语言中，子类可以把引用赋值给父类。下面这段代码没有任何问题：Animal animalOne = new Cat(); Animal animalTwo = new Dog(); 1 理论上来说，一只猫是一只动物，一只狗也是一只动物，所以这完全是可以理解的。其实，这也
java中的协变
{ focus : web }
05-27 193
一个一直有点模糊的概念，记录一下，协变是指一个类型随着它关联的类型一起变化，有点抽像，java中体现协变的包括两点： 1.数组 如果 A 是 B 的超类，则 A[] 也是 B[] 的超类，所有需要 A[] 的地方都可以用 B[] 代替。   public class Test2 { public static void main(String[] ...
java协变
iteye_10347的博客
02-28 331
在java中支持协变的有两种情况： 1、数组 A是B的超类，则A【】也是B【】的超类，所有用到A【】的地方都可以用B【】替换 2、允许 子类的覆盖父类函数的返回值类型 是父类被覆盖返回值类型 的子类 在Java1.4及以前，子类方法如果要覆盖超类的某个方法，必须具有完全相同的方法签名，包括返回值也必须完全一样。 Java5.0放宽了这一限制，只要子类方法与超类方法具有相同的方法签名，...
java泛型的协变、逆变和不变
最新发布
wulong756273的博客
03-25 427
我们在看开源框架经常会看到泛型来定义数据类型。有时候， <?extends T> 和 <?super T> 这样带通配符的泛型参数。这种通配符的泛型是什么意思怎么用？？？？
Java中协变
一览众山小
03-12 173
协变是指一个类型随着它关联的类型一起变化，有点抽像，java中体现协变的包括两点： 1.数组 如果 A 是 B 的超类，则 A[] 也是 B[] 的超类，所有需要 A[] 的地方都可以用 B[] 代替。 public class Test2 { public static void main(String[] args){ Integer[] ints=new Integer[1]; i...
java中协变的概念
珺珺去哪儿
03-31 569
协变，就是父类和子类保持相同形式的变化，但是协变有时候倍支持，有时候不被支持 比如，在数组中，协变是支持的 比如 class Parent{} class Child extends Parent{} 那么 Child[]可以赋值给 Parent[] ，这个就是协变 但是，在泛型中，协变就不可以 比如 虽然Child extends Parent 但是，假设有个 Test，则 Test不可
Java中数组协变和范型不变性踩坑记录
08-26
在Java中，数组是协变的，这是由于历史原因，也带来了一些潜在的风险。例如，`Carrot[]`可以被视为`Vegetable[]`的子类。这允许我们将`Carrot[]`赋值给`Vegetable[]`类型的变量，如下所示： ```java Vegetable[] ...
Java与Kotlin中的泛型之：擦除、不变、协变、逆变
zyj13617的博客
09-08 2280
本文深入探讨了Java与Kotlin中泛型的关键特性，包括类型擦除、不变性、协变与逆变。通过实例解析了Java泛型类型擦除的机制及其对代码兼容性的影响，同时对比了Kotlin中泛型对数组的支持及协变逆变的应用。文章详细阐述了泛型不变性的概念，并通过Kotlin的out和in关键字展示了协变与逆变的具体实现方式，以及如何通过@UnsafeVariance注解解除协变逆变的限制。此外，还介绍了Kotlin内联函数在获取泛型参数类型中的应用，为深入理解Java与Kotlin泛型提供了全面视角。
java协变返回类型使用示例
09-04
在Java编程语言中，协变返回类型是一种特性，它允许子类在重写父类方法时，返回一个比父类方法更具体的类型。这在某些情况下可以提高代码的灵活性和可读性。Java 5.0及后续版本开始支持这种协变特性。下面将详细解释...
如何理解Java中的协变
qq_37779333的博客
02-20 1172
前言： 引用C++中的一段， 在C++中，只要原来的返回类型是指向类的指针或引用， 新的返回类型是指向派生类的指针或引用，覆盖的方法就可以改变返回类型 。这样的类型称为协变返回类型（Covariant returns type). 关于协变： 协变和逆变维基上写的很复杂，但是总结起来原理其实就一个。 子类型可以隐性的转换为父类型说个最容易理解的例子，int和float两个类型的关系可以写成下面这样。int ≦ float ：也就是说int是float的子类型。按照上面的原理来说，就是int可以转换成f
java的协变性_java中的协变
weixin_30466329的博客
02-26 198
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 1129
Java 5.0添加了对协变返回类型的支持，即子类覆盖（即重写）基类方法时，返回的类型可以是基类方法返回类型的子类。 协变返回类型允许返回更为具体的类型 class Grain{ public String toString(){ return "Grain"; } } class Wheat extends Grain{ public String t
java 泛型 协变_JAVA泛型——协变
weixin_29190573的博客
02-13 392
在上篇《JAVA泛型——基本使用》这篇文章中遗留以下问题，即将子类型Table或者也能添加到父类型Auction的泛型中，要实现这种功能必须借助于协变。实验准备现在在《JAVA泛型——基本使用》一文展示的Decorator类型的基础上，增加一些代码，如代码清单1所示。代码清单1/**** 描 述：Exp2使用br/>* 作 者：jiaan.gja* 历 史: (版本) 作者 时间 注释 * ...
java 协变
woshioosm的专栏
01-12 848
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 243
方法签名只涉及参数和方法名。 老的jdk中，父类覆盖子类的方法，要求返回值类型必须相同。新的jdk版本放宽了这一要求，返回值可以是父类返回值的任意子类。...
JAVA中的协变和逆变
景月娇-Kathy
12-27 2620
协变逆变的概念 可变性是以一种类型安全的方式，将一个对象当做另一个对象来使用。如果不能将一个类型替换成为另一个类型，那么这个类型就称之为：不变量。 协变：如果某个返回的类型可以由其派生类替换，那么这个类型就是支持协变的。 逆变：如果某个参数类型可以由其基类替换，那么这个类就是支持逆变的。 如Function, 在这里R 作为函数的返回值, 所以这个泛型要协变, 而T用在函数的参数上所以要用逆变 Function<? super Dog,? extends Animal> f1; 协变 如: L
java泛型逆变和协变
03-04
### Java 泛型中的逆变与协变 #### 逆变 (Contravariance) 在Java泛型中，逆变是指允许使用某个泛型类型的超类型来替代该泛型类型。具体来说，`? super T` 表示可以接受 `T` 类型或其任何超类的实例。这一特性主要应用于写入操作，确保能够向集合中添加合适的元素。 例如： ```java List<? super Integer> list = new ArrayList<>(); list.add(1); // 合法, 因为Integer是Number的一个子类 // list.get(0) 返回 Object 类型，因为无法确定确切类型 ``` 上述代码展示了如何利用逆变机制实现更灵活的数据存储方式[^1]。 #### 协变 (Covariance) 相对于逆变而言，协变则是指当一个泛型类型作为另一个泛型类型的子类型时所表现出的行为模式。即对于两个不同的实际参数化类型A<T1>, B<T2>, 如果存在继承关系使得T1是T2的子类，则可以说A<T1>也是B<T2>的一种特例形式。在Java里我们通常看到的形式就是`<?> extends T`, 它意味着此位置上的类型变量既可以是具体的`T`也可以是从`T`派生出来的任意子类。 下面是一个简单的例子说明协变的应用场景: ```java public class Animal {} public class Dog extends Animal {} List<Dog> dogs = Arrays.asList(new Dog()); List<? extends Animal> animals = dogs; for (Animal animal : animals){ System.out.println(animal); } ``` 这里可以看到由于采用了协变的方式定义列表animals, 所以可以直接赋值给由Dog组成的列表dogs而不必担心编译错误的发生[^3]. #### 不变性(Invariance) 值得注意的是，在某些情况下，既不支持协变也不支持逆变的情况被称为不变性。这意味着只有当两个泛型的具体类型完全一致的情况下才能互相转换。比如`ArrayList<String>`就不能被当作`ArrayList<Object>`处理，即使String确实是Object的子类之一。 总结起来，通过合理运用这些概念可以帮助开发者编写更加通用且安全高效的程序逻辑结构。同时也能有效减少不必要的强制转型所带来的风险以及提高代码可读性和维护便利度。
评论
添加红包

请填写红包祝福语或标题

个

红包个数最小为10个

元

红包金额最低5元

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

抵扣说明：

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

余额充值