[版权申明] 非商业目的注明出处可自由转载
博文地址：https://blog.csdn.net/ShuSheng0007/article/details/108708218
出自：shusheng007

文章目录

概述
- 定义
Java中的情形
Kotlin中的情形
总结

概述

协变，逆变，抗变等概念是从数学中来的，在编程语言Java/Kotlin/C#中主要在泛型中使用。其描述的是两个类型集合之间的继承关系。有兴趣可以阅读这篇文章 An Illustrated Guide to Covariance and Contravariance in Kotlin。本文应该属于进阶知识，一般小白程序员不是没听说过就是听说过但是完全搞不明白其中的奥妙。看到即赚到，这又将是你进阶的一个台阶。

定义

首先让我们搞明白这三个名词的概念吧：

假设我们有如下两个类型集合

第一个集合为： Animal和Dog , Dog是Animal的子类

open class Animal 
class Dog : Animal()

第二个集合为 List<Animal> List<Dog>

List<Animal>
List<Dog>

现在问题来了：由于Dog是Animal的子类，那么List<Dog>就是List<Animal>的子类这句话在Kotlin/Java中对吗？

相信有一定Java/Kotlin编程经验的都可以回答的出来，答案是否定的。我们这里要说的协变，逆变，抗变就是描述上面两个类型集合的关系的。

协变(Covariance)：List<Dog> 是List<Animal>的子类型
逆变(Contravariance): List<Animal> 是List<Dog>的子类型
抗变(Invariant): List<Animal> 与List<Dog>没有任何继承关系

A subtype must accept at least the same range of types as its supertype declares.
A subtype must return at most the same range of types as its supertype declares.

Java中的情形

由于Kotlin是尝试对Java的改进，所以我们先来看Java的情况：

抗变

Java中泛型是抗变的，那就意味着List<String>不是List<Object>的子类型。因为如果不这样的话就会产生类型不安全问题。

例如下面代码可以通过编译的话，就会在运行时抛出异常

List<String> strs = new ArrayList<String>();
List<Object> objs = strs; 
objs.add(1); 
 // 尝试将Integer 转换为String,发生运行时异常 ClassCastException: Cannot cast Integer to String
String s = strs.get(0);

所以上面的代码在编译时就会报错，这就保证了类型安全。

但值得注意的是Java中的数组是协变的，所以数组真的会遇到上面的问题，编译可以正常通过，但会发生运行时异常，所以在Java中要优先使用泛型集合。

 String[] strs= new String[]{"ss007"};
 Object[] objs= strs;
 objs[0] = 1;

协变

抗变性会严重制约程序的灵活性，例如有如下方法copyAll,将一个String集合的内容copy到一个Object集合中，这是顺理成章的事。

// Java
void copyAll(Collection<Object> to, Collection<String> from) {
     to.addAll(from);
}

但是如果Collection<E>中的addAll方法签名如下的话，copyAll方法就通不过编译，因为通过上面的讲解，我们知道由于抗变性，Collection<String>不是Collection<Object>的子类，所以编译通不过。

boolean addAll(Collection<E> c);

那怎么办呢？

Java通过通配符参数(wildcard type argument)来解决, 把addAll的签名改成如下即可：

boolean addAll(Collection<? extends E> c);

? extends E 表示此方法可以接收E或者E的子类的集合。此通配符使得泛型类型协变了。

逆变

同理有时我们需要将Collection<Object>传递给Collection<String>就使用? super E，其表示可以接收E或者E的父类，子类的位置却可以接收父类的实例，这就使得泛型类型发生了逆变

void m (List<? super String){
}

协变与逆变的特性

当使用? extends E 时，只能调用传入参数的读取方法而无法调用其修改方法。
当使用? super E时，可以调用输入参数的修改方法，但调用读取方法的话返回值类型永远是Object，几乎没有用处。

是不是感觉不好理解，确实不好理解！让我们一起看下code吧，理解了Java的这块，Kotlin的In和out关键字就手到擒来了。

例如有如下一接口，其有两个方法，一个修改，一个读取。

interface BoxJ<T> {
      T getAnimal();
      void putAnimal(T a);
  }

下面是两个使用通配符的方法，注意看注释

//协变，可以接受BoxJ<Dog>类型的参数
 private Animal getOutAnimalFromBox(BoxJ<? extends Animal> box) {
       Animal animal = box.getAnimal();
      // box.putAnimal(某个类型) 无法调用该修改方法，因为无法确定 ？究竟是一个什么类型，没办法传入
       return animal;
  }

//逆变，可以接受BoxJ<Animal>类型的参数
 private void putAnimalInBox(BoxJ<? super Dog> box){
        box.putAnimal(new Dog());
        // 虽然可以调用读取方法，但返回的类型却是Object，因为我们只能确定 ？的最顶层基类是Object
        Object animal= box.getAnimal();
  }

关于Java的通配符如何使用， Effective Java, 3rd Edition 的作者将其总结为：PECS : stands for Producer-Extends, Consumer-Super. 结合上面代码分析是不是觉得很精辟。