什么叫做协变(covariance)和逆变(contravariance)?

在变成语言的类型框架中,协变和逆变是指宽类型和窄类型在某种情况下(如参数,泛型,返回值)替换或交换的特性,简单的说,协变是用一个窄类型替换宽类型,而逆变则是用宽类型覆盖窄类型.

协变:宽类型------>窄类型

逆变:窄类型------>宽类型

class Base{
public Number doStuff(){
return 0;
}
} class Sub extends Base{
@Override
public Integer doStuff(){
return 0;
}
}

子类的 doStuff 方法返回值的类型比父类方法要窄(Integer extend Number),此时 doStuff 方法就是一个协变方法,同时根据 Java 的覆写定义来看,这又属于覆写。那什么是逆变呢?代码如下:

class Base{
public void doStuff(Integer i){
}
} class Sub extends Base{
public void doStuff(Number n){
}
}

子类的 doStuff 方法的参数类型比父类要宽,此时就是一个逆变方法,子类扩大了父类方法的输入参数,但是根据覆写定义来看,doStuff 不属于覆写,只是重载而已。

由于此时的doStuff方法已经与父类没有任何关系了,只是子类独立扩展出的 一个行为,所以是否声明为doStuff方法名意义不大,逆变已经不具有特别的意义了.我们来重点关注一下协变.

public class Client {
public static void main(String[] args) {
Base base = new Sub();
}
}

base变量是否发生了协变?是的....发生了协变,base变量是Base类型,它是父类,而其赋值却是子类实例,也就是用窄类型覆盖了宽类型,这也叫做多态(Polymorphism),两者相同含义,在Java世界里,"重复发明"轮子的事情多了去了.

泛型是既不支持协变也不支持逆变.为什么?

(1)泛型不支持协变

数组和泛型很相似,一个是中括号,一个是尖括号,那我们就以数组为参照对象,看代码:

public class Client {
public static void main(String[] args) {
//数组支持协变
Number[] n = new Integer[10];
//编译不通过,泛型不支持协变
//List<Number> ln = new ArrayList<Integer>();//报错
//Type mismatch: cannot convert from ArrayList<Integer> to List<Number>
}
}

ArrayList是List的子类型,Integer是Number的子类型,里氏替换原则在此行不通了,原因就是Java为了保证运行期的安全性,必须保证泛型参数类型是固定的.

所以它不允许一个泛型参数可以同时包含两种类型,即使是父子类关系也不行.

泛型不支持协变,但可以使用通配符(Wildcard)模拟协变.代码如下:

        //Number的子类型都可以是泛型参数类型
List<? extends Number> ln = new ArrayList<Integer>();

"? extends Number" 表示的意思是,允许Number所有的子类(包括自身)作为泛型参数类型,但在运行期只能是一个具体类型,或者是Integer或者是Double类型,

或者是Number类型,也就是说通配符只是在编码期有效,运行期必须是一个确定类型.

(2)泛型不支持逆变

Java虽然可以允许逆变存在,单在对类型赋值上是不允许逆变的,你不能把一个父类实例对象赋值给一个子类类型变量,泛型自然也不允许此种情况发生了,

但是它可以使用super关键字来模拟实现.代码如下:

        //Integer的父类型(包括Integer)都可以是泛型参数类型
List<? super Integer> li = new ArrayList<Number>();
"
"? super Integer" 的意思是可以把所有Integer父类型(自身,父类或接口)作为泛型参数,这里看着就像是把一个Number类型的ArrayList赋值给了Integer类型的List,
其外观类似于使用一个宽类型覆盖一个窄类型,它模拟了逆变的实现.
泛型既不支持协变也不支持逆变,带有泛型参数的子类型定义与我们经常使用的类类型也不相同,其基本的类型关系如下: 泛型通配符的Q&A
1.Integer是Number的子类型 √
2.ArrayList<Integer>是List<Integer>的子类型 √
3.Integer[] 是Number[] 的子类型 √
4.List<Integer> 是List<Number>的子类型 ×
5.List<Integer> 是List<? extends Integer>的子类型 ×
6.
List<Integer> 是List<? super Integer>的子类型  ×

Java的泛型不支持逆变和协变,只是能够实现逆变和协变.

[改善Java代码]警惕泛型是不能协变和逆变的的更多相关文章

  1. Java泛型中的协变和逆变

    Java泛型中的协变和逆变 一般我们看Java泛型好像是不支持协变或逆变的,比如前面提到的List<Object>和List<String>之间是不可变的.但当我们在Java泛 ...

  2. C#4.0新增功能03 泛型中的协变和逆变

    连载目录    [已更新最新开发文章,点击查看详细] 协变和逆变都是术语,前者指能够使用比原始指定的派生类型的派生程度更大(更具体的)的类型,后者指能够使用比原始指定的派生类型的派生程度更小(不太具体 ...

  3. C#高级编程之泛型三(协变与逆变)

    为何引入协变.逆变 我们知道一个子类对象可以赋值给一个基类对象 Animal animal = new Animal(); Animal cat = new Cat(); 那如果是用在泛型里面能行嘛? ...

  4. 编写高质量代码改善C#程序的157个建议[协变和逆变]

    前言 本文已更新至http://www.cnblogs.com/aehyok/p/3624579.html .本文主要学习记录以下内容: 建议42.使用泛型参数兼容泛型接口的不可变性 建议43.让接口 ...

  5. .NET泛型中的协变与逆变

    泛型的可变性:协变性和逆变性 实质上,可变性是以一种类型安全的方式,将一个对象作为另一个对象来使用. 我们已经习惯了普通继承中的可变性:例如,若某方法声明返回类型为Stream,在实现时可以返回一个M ...

  6. [改善Java代码]警惕自增的陷阱

    建议7: 警惕自增的陷阱 老师就说:自增有两种形式,分别是i++和++i,i++表示的是先赋值后加1,++i是先加1后赋值,这样理解了很多年也没出现问题,直到遇到如下代码,我才怀疑我的理解是不是错了: ...

  7. [改善Java代码]警惕数组的浅拷贝

    建议62:警惕数组的浅拷贝 一.分析  在日常工作中,我们会遇见很多数组的拷贝和复制的问题,但是在你使用系统提供的API进行编码的时候,无形中会留下浅拷贝的隐患. 二.场景  有这样一个例子,第一个箱 ...

  8. C# 泛型的协变和逆变

    1. 可变性的类型:协变性和逆变性 可变性是以一种类型安全的方式,将一个对象当做另一个对象来使用.如果不能将一个类型替换为另一个类型,那么这个类型就称之为:不变量.协变和逆变是两个相互对立的概念: 如 ...

  9. C# 泛型的协变和逆变 (转载)

    1. 可变性的类型:协变性和逆变性 可变性是以一种类型安全的方式,将一个对象当做另一个对象来使用.如果不能将一个类型替换为另一个类型,那么这个类型就称之为:不变量. 协变和逆变是两个相互对立的概念: ...

随机推荐

  1. [iOS微博项目 - 1.5] - NavigationBar标题按钮

    A.NavigationBar标题按钮 1.需求 在“首页”的导航栏中部设置一个“首页”文字+箭头按钮 统一设置样式 根据实际文本长度调整宽度 消除系统自带的点击高亮效果 点击按钮,箭头上下颠倒 gi ...

  2. 网络子系统54_ip协议分片重组_定位ipq

    //为分片确定正确的ipq结构 // 定位5元组 // 1.<id, 源ip, 目的ip, l4协议> 可通过ip报文获取 // 2.user 通过ip_defrag给出,指出重组是由谁发 ...

  3. Objc基础学习记录1

    1.'-'系在实例方法前头 2.'+'类方法class method 相反; 3.void表示没有返回值; 4.&x 和c语言一样,代表的是x的在内存上的地址; 5.*y指向内存存储空间内的数 ...

  4. 教你50招提升ASP.NET性能(二十六):对于开发人员的数据库性能技巧

    Database Performance Tips for Developers对于开发人员的数据库性能技巧 As a developer you may or may not need to go ...

  5. PostgreSQL的 initdb 源代码分析之八

    继续分析 由于 我并未进行特殊的参数设置,所以 (strlen(default_text_search_config) == 0) 成立. 故 调用   default_text_search_con ...

  6. 第一周:读取XML深度数据并将其重建为三维点云

    本周主要任务:学习PCL点云库,掌握利用PCL对点云处理的方法 任务时间:2014年9月1日-2014年9月7日 任务完成情况:完成了读取单幅xml深度数据,并重建三维点云并显示 任务涉及基本方法: ...

  7. iOS修改声明为readonly的属性值

    本文讨论的是,对于类中声明为 readonly 的属性值,我们就不可以修改其值了么?如何可以,那么如何修改呢? 为了便于说明,定义一个 ACLStudent 的类: ACLStudent.h @int ...

  8. gulp如何自定义插件

    gulp是基于”流“的构建工具,上层流的输出就是下层流的输入,为了更好的支持链式操作,可以使用through2或者map-stream这两个库来对node stream做一层包装 这里,我们就使用th ...

  9. XtraBackup原理4

    MySQL · 答疑解惑 · 物理备份死锁分析 背景 本文对 5.6 主备场景下,在备库做物理备份遇到死锁的case进行分析,希望对大家有所帮助. 这里用的的物理备份工具是 Percona-XtraB ...

  10. [Effective C++ --028]避免返回handles指向对象内部成分

    假设程序涉及矩形.每个矩形由其左上角和右下角表示.为了让Rectangle对象尽可能小,可能把定义矩形的点放在一个辅助的struct内再让Rectangle去指它: class Point { // ...