Java 逆变与协变
最近一直忙于学习模电、数电,搞得头晕脑胀,难得今天晚上挤出一些时间来分析一下Java中的逆变、协变。Java早于C#引入逆变、协变,两者在与C#稍有不同,Java中的逆变、协变引入早于C#,故在形式没有C#直观(Google推出的基于jvm的Kotlin语音,则完全走向了C#的路线)。Java中逆变、协变,在泛型集合使用中更多些、更直观(像C#中的用法在Java中较少出现,但并非不可)。
正常泛型集合的使用
示例代码如下:
public static void main(String[] args) { ArrayList<Number> alist = new ArrayList<>();
alist.add(new Integer(10));
alist.add(new Float(10.12)); Number n = alist.get(0);
}
对于alist集合而言,泛型类型参数 Number 已限定其可容纳的类型。Integer/Float 类型的对象都可成功加入,并能通过get(index)获取(获取时注意类型为Number)。通过这个示例,可以看到正常泛型集合可 "存取规范的类型及其子类型对象"。
协变
如下示例代码:
public class Person { }
public class Student extends Person{ }
public class Teacher extends Person{ }
public static void main(String[] args) {
ArrayList<Person> alist = new ArrayList<>();
ArrayList<Student> slist = new ArrayList<>();
//类型转换错误
alist = slist;
}
在 Java 中 Person虽是Student的父类,但泛型 ArrayList<Person> 却并非 ArrayList<Student>的父类,所以 alist = slist 类型不兼容。上面程序中的目的是用 slist 替代 alist的实际功能,因此在以后使用 alist 时实际调用的应该是 slist 对应的功能。
在 Java 中要满足上述需求,应该具备2个条件:
1、放入数据时调用 alist.add(e) 要保证参数e,能转换为 slist.add(e) 中所需类型
2、获取数据时调用 alist.get(index) 的实际执行者 slist.get(index) 返回的结果能够转换为 alist 声明的Person类型
上面条件2是成立的,但条件1却并不一定成立。因 ArrayList<Person> 规范类型为Person,Student、Teacher都满足alist.add(e)的要求,却并不满足 slist.add(e)对类型必须是Student的要求。
修改代码如下:
public static void main(String[] args) { ArrayList<? extends Person> alist = new ArrayList<>();
ArrayList<Student> slist = new ArrayList<>();
//类型转换正常
alist = slist;
//添加数据错误
alist.add(new Student());
//正常
Person p = alist.get(0);
}
? extends Person 指明 alist 赋值的泛型集合约束类型只要是 extends Person 的就可以,因此将 ArrayList<Student> slist 赋值给 alist 满足泛型类型参数约束。
alist.add(e) 根据 ? extend Person 的定义,e只要是 Person 类型或其子类型就可满足添加条件,然而 slist 只允许 Student 类型对象加入,因此前面所说的条件1无法保证(null可以被加入,但却意义) 。 因此Java中(根据前面2个条件分析可得到该结论)使用 extends 声明的泛型或泛型集合,只能从其中取值,不能向其中添值。
extends 声明的集合只能用于从其中取出元素,可能有朋友会问“不能向其中放入值,又何来从其中取值”。看下面的代码:
public static void main(String[] args) { ArrayList<Student> slist = new ArrayList<>();
slist.add(new Student()); ArrayList<Teacher> tlist = new ArrayList<>();
tlist.add(new Teacher()); test(slist);
test(tlist);
}
private static void test(List<? extends Person> list) {
for(Person p : list){
System.out.println(p.toString());
}
}
通过上面的代码很容易发现,test方法的参数 list 在方法内部不允许添加元素(null除外);但在 main 中却可以向 slist、tlist 中添加元素,并作为实参传递到 test 方法的调用过程中。从 test 方法的角度分析,参数 list 里面具体存放的是Person?Student?Teacher?无所谓,这里统一当作Person对象来用绝对是类型安全的。这种把 泛型约束的子类型 当作 泛型约束的父类型 来用的情况就是协变。
逆变
示例代码:
public static void main(String[] args) {
ArrayList<Person> alist = new ArrayList<>();
ArrayList<Student> slist = new ArrayList<>();
//类型转换错误
slist = alist;
}
如上代码 意欲使用 alist 替代 slist 进行元素的存储,跟进前面的分析上面代码编译错误。
在 Java 中要满足上述需求,应该具备2个条件:
1、放入数据时调用 slist.add(e) 要保证参数e,能转换为 alist.add(e) 中所需类型
2、获取数据时调用 slist.get(index) 的实际执行者 alist.get(index) 返回的结果能够转换为 slist 声明的Student类型
上面条件1是成立的,但条件2却并不一定成立。因 ArrayList<Person> 规范类型为Person,Student、Teacher都满足alist.add(e)的要求,alist.get(index) 返回值却并一定满足 slist.get(index)返回值必须是Student类型的要求。
修改代码如下:
public static void main(String[] args) {
ArrayList<Object> alist = new ArrayList<>();
ArrayList<? super Person> slist = new ArrayList<>();
// 正常
slist = alist;
slist.add(new Student());
slist.add(new Teacher());
// 错误
slist.add(new Object()); Object obj = slist.get(0);
}
? super Person 指明 slist 赋值的泛型集合约束类型只要是 super Person 的就可以,因此将 ArrayList<Object> alist 赋值给 slist 满足泛型类型参数约束。 ? super Person 虽指明集合可容纳Person的父类类型(仅是有容纳能力),但 Person 的继承关系、层级并不明确(Person来自其他jar包)。因此该泛型约束对于Person的父类型并无约束能力,所以 super 禁止添加Person父类型到集合中(有能力容纳,但不允许放入),只能放入Person及其子类型。
slist.get(index)调用实际上执行的是alist.get(index),最终返回值类型是Person?Teacher?Student? 不得而知,所以使用 super 声明的泛型集合get返回只能为Object类型。
因此Java中(根据前面2个条件分析可得到该结论)使用 super 声明的泛型或泛型集合,只能向其中添值,不要从其中取值(取回的值均为 Object 类型,没有意义)。 同样有朋友会问 super 声明的泛型集合只放不取有何意义?看下面代码:
public static void main(String[] args) {
ArrayList<Person> alist = new ArrayList<>();
test2(alist);
for(Person p : alist){
System.out.println(p.toString());
}
} public static void test2(List<? super Person> list){
list.add(new Student());
list.add(new Teacher());
}
通过上面的代码很容易发现,在 main 中 alist 有明确的类型,并作为实参传递到 test2 方法的调用过程中。从 test2 方法的角度分析,可以向集合中添加Person及其子类对象。这种把 泛型约束的父类型 当作 泛型约束的子类型 来用的情况就是逆变。
说明:
Java 中使用逆变、协变的机会并不算多。如果要使用请记住:如果限定集合仅可放入值时用 super、如果要限定集合仅可取出值时用 extends、如果集合既需要放入值又要取出值时用标准泛型集合。
文章写的仓促,若有不妥请各位朋友指正。
Java 逆变与协变的更多相关文章
- Java 逆变与协变的名词说明
最近在研究Thinking in Java的时候,感觉逆变与协变有点绕,特意整理一下,方便后人.我参考于Java中的逆变与协变,但是该作者整理的稍微有点过于概念化,我在这里简单的说一下 我对于协变于逆 ...
- Java中的逆变与协变
看下面一段代码 Number num = new Integer(1); ArrayList<Number> list = new ArrayList<Integer>(); ...
- Java中的逆变与协变(转)
看下面一段代码 Number num = new Integer(1); ArrayList<Number> list = new ArrayList<Integer>(); ...
- Java中的逆变与协变 很直接不饶弯的讲出来了
```java 协变 extends只能new 辈分比自己低的家伙 List<? extends Number> list001 = new ArrayList<Integer> ...
- Java中的逆变与协变 专题
结论先行: PECS总结: 要从泛型类取数据时,用extends: 协变 要往泛型类写数据时,用super: 逆变 既要取又要写,就不用通配符(即extends与super都不用) 不变 List&l ...
- Java逆变(Covariant)和协变(Contravariant)
1. 定义 逆变和协变描述的经过类型变换后的类型之间的关系.假如A和B表示类型,f表示类型变换,A ≤B表示A是B的子类型,那么 如果A ≤B,f(A) ≤f(B),那么f是协变 如果A ≤B,f(B ...
- C# 逆变与协变
该文章中使用了较多的 委托delegate和Lambda表达式,如果你并不熟悉这些,请查看我的文章<委托与匿名委托>.<匿名委托与Lambda表达式>以便帮你建立完整的知识体系 ...
- scala 学习: 逆变和协变
scala 逆变和协变的概念网上有很多解释, 总结一句话就是 参数是逆变的或者不变的,返回值是协变的或者不变的. 但是为什么是这样的? 协变: 当s 是A的子类, 那么func(s) 是func(A) ...
- Scala 深入浅出实战经典 第81讲:Scala中List的构造是的类型约束逆变、协变、下界详解
王家林亲授<DT大数据梦工厂>大数据实战视频 Scala 深入浅出实战经典(1-97讲)完整视频.PPT.代码下载:百度云盘:http://pan.baidu.com/s/1c0noOt6 ...
随机推荐
- (转)sizeof
数据类型的大小(即所占字节数)以及能够表示的数据范围是与编译器和硬件平台有关的."float.h"头文件(如vc6.0,在include目录下)通常定义了基本数据类型能够表示的数据 ...
- (转)Apache与Tomcat 区别联系
Apache 和 Tomcat 都是web网络服务器,两者既有联系又有区别,在进行HTML.PHP.JSP.Perl等开发过程中,需要准确掌握其各自特点,选择最佳的服务器配置. Apache是web服 ...
- UVALive - 5107 - A hard Aoshu Problem
题目链接:https://vjudge.net/problem/UVALive-5107 题目大意:用ABCDE代表不同的数字,给出形如ABBDE___ABCCC = BDBDE的东西: 空格里面可以 ...
- C语言基础 - 输出1-100万之间的素数
其实这个很简单 代码 网上也一大堆... //判断素数 BOOL isPrime(int num) { for (int i = 2; i <= sqrt(num); i++) { //能整除则 ...
- sublime自定义配置
{ "expand_tabs_on_save": true, "font_size": 13, "ignored_packages": [ ...
- [BZOJ 4325][NOIP 2015] 斗地主
一道防AK好题 4325: NOIP2015 斗地主 Time Limit: 30 Sec Memory Limit: 1024 MBSubmit: 820 Solved: 560[Submit] ...
- [Tyvj 1728] 普通平衡树
大名鼎鼎的板子题w 照例先贴题面 Describtion 您需要写一种数据结构(可参考题目标题),来维护一些数,其中需要提供以下操作:1. 插入x数2. 删除x数(若有多个相同的数,因只删除一个)3. ...
- 完整版百度地图点击列表定位到对应位置并有交互动画效果demo
1.前言 将地图嵌入到项目中的需求很多,好吧,我一般都是用的百度地图.那么今天就主要写一个完整的demo.展示一个列表,点击列表的任一内容,在地图上定位到该位置,并有动画效果.来来来,直接上demo ...
- IMPEX
1.Impex是基于java Model的一种面向对象的数据操作手段,因此写impex代码前需要理清java Model之间的依赖关系. 2.基本语法:mode type[modifier=value ...
- Kafka 存储机制和副本
1.概述 Kafka 快速稳定的发展,得到越来越多开发者和使用者的青睐.它的流行得益于它底层的设计和操作简单,存储系统高效,以及充分利用磁盘顺序读写等特性,和其实时在线的业务场景.对于Kafka来说, ...