Java中的逆变与协变

2024-05-14 23:58:11

学习Java的同学注意了！！！
学习过程中遇到什么问题或者想获取学习资源的话，欢迎加入Java学习交流群，群号码：589809992 我们一起学Java！

协变和逆变指的是宽类型和窄类型在某种情况下的替换或交换的特性。简单的说，协变就是用一个窄类型替代宽类型，而逆变则用宽类型覆盖窄类型。

1 协变

在Java中协变的例子非常常见，例如，面向对象的多态，以及数组的协变特性，下面看一下协变的例子：

1

2

3

4

5

6

7

8

public class Test

{

public static void main ( String [ ] args )

{

Number num1 = new Integer ( 0 ) ;

Number [ ] num2 = new Integer [ 10 ] ;

}

}

而在泛型是不支持协变的，看下面的代码：

1

2

3

4

5

6

7

8

public class Test

{

public static void main ( String [ ] args )

{

List < Object > list = new ArrayList < String > ( ) ; //编译错误

list = new ArrayList < Object > ( ) ;

}

}

虽然泛型不支持协变的，但是可以通过通配符进行模拟：

1

2

3

4

5

6

7

public class Test

{

public static void main ( String [ ] args )

{

List < ? extends Object > list = new ArrayList < String > ( ) ;

}

}

注意：? extends Object的含义是：运行Object的子类，也包括Object，作为泛型参数。

2 逆变

在Java中不允许将父类变量赋值给子类变量。泛型自然也不支持逆变。但是在泛型中可以通过通配符进行模拟，如下例子：

1

2

3

4

5

6

7

public class Test

{

public static void main ( String [ ] args )

{

List < ? super Integer > list = new ArrayList < Number > ( ) ;

}

}

学习Java的同学注意了！！！
学习过程中遇到什么问题或者想获取学习资源的话，欢迎加入Java学习交流群，群号码：589809992 我们一起学Java！

转载于:https://my.oschina.net/abcijkxyz/blog/850903

Java中的逆变与协变相关推荐

java中的逆变、协变、不变概念讲解转载自http://www.cnblogs.com/en-heng/p/5041124.html，感谢编程路上的前辈们！
En-Heng 无他,但手熟尔博客园首页新随笔联系订阅管理随笔 - 32 文章 - 0 评论 - 33 Java中的逆变与协变看下面一段代码 Number num = new In ...
协变逆变java_Java中的逆变与协变
什么是逆变与协变协变(Covariance) 如果B是A的子类,并且F(B)也是F(A)的子类,那么F即为协变逆变(Contravariance) 如果B是A的子类,并且F(B)成了F(A)的父类 ...
跟着小老弟来学习Kotlin中的逆变和协变
/ 今日科技快讯 / 近日,小米创始人.董事长兼CEO雷军在抖音上开启了其直播带货的首秀.从晚上8点开播,到晚上10点,销售额就已经破亿.包括1000台售价49999元的透明电视在内的商品一推 ...
java泛型的逆变_Java泛型的协变与逆变
泛型擦除 Java的泛型本质上不是真正的泛型,而是利用了类型擦除(type erasure),比如下面的代码就会出现错误: 报的错误是:both methods have same erasure ...
java泛型的逆变_Java泛型的逆变
在上篇<Java泛型的协变>这篇文章中遗留以下问题--协变不能解决将子类型添加到父类型的泛型列表中.本篇将用逆变来解决这个问题. 实验准备我们首先增加以下方法,见代码清单1所示. 代码清 ...
C#高级语法之泛型、泛型约束，类型安全、逆变和协变（思想原理）
一.为什么使用泛型? 泛型其实就是一个不确定的类型,可以用在类和方法上,泛型在声明期间没有明确的定义类型,编译完成之后会生成一个占位符,只有在调用者调用时,传入指定的类型,才会用确切的类型将占位符替换 ...
第五节：泛型（泛型类、接口、方法、委托、泛型约束、泛型缓存、逆变和协变）
一. 泛型诞生的背景在介绍背景之前,先来看一个案例,要求:分别输出实体model1.model2.model3的id和name值,这三个实体有相同的属性名字id和name. 1 public cla ...
泛型委托的逆变和协变
泛型委托:委托实际只是提供了4个方法的一个类定义.这4个方法包括:一个构造器.一个Invoke方法.一个BeginInvoke方法和一个EndInvoke方法.如果定义的一个委托类型指定了类型参数,编 ...
【转】逆变与协变详解
逆变(contravariant)与协变(covariant)是C#4新增的概念,许多书籍和博客都有讲解,我觉得都没有把它们讲清楚,搞明白了它们,可以更准确地去定义泛型委托和接口,这里我尝试画图详细解 ...

最新文章

热门文章