秒懂Kotlin之协变(Covariance)逆变(Contravariance)与抗变(Invariant)

Myth丶恋晨 2022-12-09 02:21 39阅读 0赞

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

文章首发于[个人博客][Link 1]

### 文章目录 ###

*  概述
 *   *  定义
 *  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][Effective Java_ 3rd Edition] 的作者将其总结为：**PECS** : stands for Producer-Extends, Consumer-Super. 结合上面代码分析是不是觉得很精辟。

*  Producer-Extends 只能调用读取方法，向外提供数据，无法调用修改方法
 *  Consumer-Super 一般只调用修改方法，消费从外面获取的数据，调用读取方法几乎没什么用，拿到的类型永远是`Object`

建议自己动手尝试一下,不然还是会有点懵

那Java这种方式有没有弊端呢？Kotlin官方认为有，但是我却没怎么领会，请原谅我。其大概的意思就是说：增加了复杂性，但却没有获得相应的好处。

# Kotlin中的情形 #

请移步到下篇… [秒懂Kotlin之彻底弄懂形变注解out与in][Kotlin_out_in]

# 总结 #

协变，逆变和抗变，听听，你听听，是不是感觉是特别高深的概念啊，我第一次接触还是看英文文档的时候，那叫一个懵逼啊，现在看来不过如此。又应了那句老话：难者不会，会者不难。

最后记得点赞，分享加收藏

> 孤村落日残霞，轻烟老树寒鸦。一点飞鸿影下，青山绿水，白草红叶黄花。《 天净沙 秋》

[Link 1]: http://shusheng007.top
[An Illustrated Guide to Covariance and Contravariance in Kotlin]: https://typealias.com/guides/illustrated-guide-covariance-contravariance/
[Effective Java_ 3rd Edition]: http://www.oracle.com/technetwork/java/effectivejava-136174.html
[Kotlin_out_in]: https://blog.csdn.net/ShuSheng0007/article/details/108759370