继续还是探究协变与逆变,在正式开始之前,先来对Kotlin和Java的协变与逆变进行一个对比:

1、Kotlin是声明处协变;而在Java中是在使用处协变:

如何理解,我们先来回顾一下在Java使用协变的写法:

很显然是在我们使用的时候进行协变的,而在Kotlin中:

2、Kotlin中的out关键字叫做variance annotation,因为它是在类型参数声明处所指定的,因此我们称之为声明处协变(declaration-site variance);而对Java来说则是使用处协变(use-site variance),其中类型通配符使得类型协变成为可能。

另外需要注意:对于Java的这个泛型声明不要跟协变搞混了,如下:

它跟Java的使用处协变是完全不同的概念,使用协变一定是<? extends xxxx>。

好,接一来再来以一个完整的例子进一步巩固Kotlin的协变、逆变、不变的知识点,如下:

接下来定义逆变:

接下来还有一种不变情况,也就是该泛型会被作为参数的输入和输出类型,如下:

其中咱们如果对这个不变进行调整,就能真切感爱到协变与逆变的使用场景了:

如果是声明成协变,则只能读,如果声明成逆变,则只能写。

好,继续,接下来再定义三个类:

接下来则定义协变类:

package com.kotlin.test2

/**
* 如果泛型类只是将泛型类型作为其方法的输出类型,那么我们就可以使用out
*
* produce = output = out
*/
interface Producer<out T> { fun produce(): T } /**
* 如果泛型类只是将泛型类型作为其方法的输入类型,那么我们就可以使用in
*
* consumer = intput = in
*/
interface Consumer<in T> { fun consumer(item: T) } /**
* 如果泛型类同时将泛型类型作为其方法的输入类型与输出类型,那么我们就不能使用out与in来修饰泛型
*/
interface ProducerConsumer<T> {
fun produce(): T fun consumer(item: T)
} open class Fruit open class Apple: Fruit() class ApplePear: Apple() class FruitProducer: Producer<Fruit> {
override fun produce(): Fruit {
println("Produce Fruit") return Fruit()
} } class AppleProducer: Producer<Apple> {
override fun produce(): Apple {
println("Produce Apple") return Apple()
} } class ApplePearProducer: Producer<ApplePear> {
override fun produce(): ApplePear {
println("Produce ApplePear") return ApplePear()
} }

下面来使用一下:

下面来理解一下标红的代码,每一句比较好理解,因为是Fruit类型:

接下来解决第二句,第二句理解了,第三句也就理解了,它返回的类型是Apple:

我们可以调用一下producer2.produce()方法,看一下返回值:

本来返回的是Fruit类型,而我们在里面返回的真正类型是Apple类型:

根据多态,这种返回肯定是没任何问题。 如果我们修改成这样就不行了:

接下来再来使用逆变:

package com.kotlin.test2

/**
* 如果泛型类只是将泛型类型作为其方法的输出类型,那么我们就可以使用out
*
* produce = output = out
*/
interface Producer<out T> { fun produce(): T } /**
* 如果泛型类只是将泛型类型作为其方法的输入类型,那么我们就可以使用in
*
* consumer = intput = in
*/
interface Consumer<in T> { fun consume(item: T) } /**
* 如果泛型类同时将泛型类型作为其方法的输入类型与输出类型,那么我们就不能使用out与in来修饰泛型
*/
interface ProducerConsumer<T> {
fun produce(): T fun consume(item: T)
} open class Fruit open class Apple: Fruit() class ApplePear: Apple() class FruitProducer: Producer<Fruit> {
override fun produce(): Fruit {
println("Produce Fruit") return Fruit()
} } class AppleProducer: Producer<Apple> {
override fun produce(): Apple {
println("Produce Apple") return Apple()
} } class ApplePearProducer: Producer<ApplePear> {
override fun produce(): ApplePear {
println("Produce ApplePear") return ApplePear()
} } fun main(args: Array<String>) {
//对于"out"泛型来说,我们可以将子类型对象赋给父类型引用
var producer1: Producer<Fruit> = FruitProducer()
var producer2: Producer<Fruit> = AppleProducer()
var producer3: Producer<Fruit> = ApplePearProducer()
} class Human: Consumer<Fruit> {
override fun consume(item: Fruit) {
println("Consume Fruit")
} } class Man: Consumer<Apple> {
override fun consume(item: Apple) {
println("Consume Apple")
} } class Boy: Consumer<ApplePear> {
override fun consume(item: ApplePear) {
println("Consume ApplePear")
} }

接下来则来使用一下:

好,接下来理解一下:

当我们调用consumer1.consume()方法时,本应该是要传ApplePear类型:

但是真实需要的类型是Fruit类型,如下:

这不还是多态的应用么,一个子类对象赋值给父类对象嘛,所以,协变和逆变的根源其实就是多态在起着关键作用。所以至此咱们对于协变与逆变的了解又更加深入了,这个概念是非常之重要的,了解透了之后对于学习像scala这样的语言关于这些概念就很轻松了。

从底层实现剖析Kotlin协变与逆变的原理的更多相关文章

  1. Kotlin泛型与协变及逆变原理剖析

    在上一次https://www.cnblogs.com/webor2006/p/11234941.html中学习了数据类[data class]相关的知识,这次会学习关于泛型相关的东东,其中有关于泛型 ...

  2. C#4.0泛型的协变,逆变深入剖析

    C#4.0中有一个新特性:协变与逆变.可能很多人在开发过程中不常用到,但是深入的了解他们,肯定是有好处的. 协变和逆变体现在泛型的接口和委托上面,也就是对泛型参数的声明,可以声明为协变,或者逆变.什么 ...

  3. 在net中json序列化与反序列化 面向对象六大原则 (第一篇) 一步一步带你了解linq to Object 10分钟浅谈泛型协变与逆变

    在net中json序列化与反序列化   准备好饮料,我们一起来玩玩JSON,什么是Json:一种数据表示形式,JSON:JavaScript Object Notation对象表示法 Json语法规则 ...

  4. C#协变和逆变

    我们知道在C#中,是可以将派生类的实例赋值给基类对象的.

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

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

  6. 不变(Invariant), 协变(Covarinat), 逆变(Contravariant) : 一个程序猿进化的故事

    阿袁工作的第1天: 不变(Invariant), 协变(Covarinat), 逆变(Contravariant)的初次约 阿袁,早!开始工作吧. 阿袁在笔记上写下今天工作清单: 实现一个scala类 ...

  7. 再谈对协变和逆变的理解(Updated)

    去年写过一篇博客谈了下我自己对协变和逆变的理解,现在回头看发现当时还是太过“肤浅”,根本没理解.不久前还写过一篇“黑”Java泛型的博客,猛一回头又是“肤浅”,今天学习Java泛型的时候又看到了协变和 ...

  8. 【转】c# 协变和逆变

    本文转自:http://www.cnblogs.com/rr163/p/4047404.html C#的协变和逆变 由子类向父类方向转变是协变,用out关键字标识,由父类向子类方向转变是逆变,用in关 ...

  9. .NET 4.0中的泛型的协变和逆变

    转自:http://www.cnblogs.com/jingzhongliumei/archive/2012/07/02/2573149.html 先做点准备工作,定义两个类:Animal类和其子类D ...

随机推荐

  1. node版本切换工具n的使用介绍

    全局安装 npm install -g n mac的安装目录/usr/local/n/versions/node/13.2.0 因此首先在/usr/local/创建目录n,修改权限为普通访问权限,这样 ...

  2. 通过cmd命令控制台关闭已经打开的端口号

    通过cmd命令控制台关闭已经打开的端口号 在出现的窗口里面输入 netstat -ano, 就会出现所有的端口号, Local Address下面的是端口号, PID就是某程序占用的进程号, 这个进程 ...

  3. swool教程链接汇总

    参考地址: swoole教程第一节:进程管理模块(Process)-上 swoole教程第二节:基础的通讯实现-server篇-1 W3Cschool的swoole的系统教程 csdn网站swoole ...

  4. iptables 深度详解

    iptables 是 Linux 中比较底层的网络服务,它控制了 Linux 系统中的网络操作,在 CentOS 中的 firewalld 和 Ubuntu 中的 ufw 都是在 iptables 之 ...

  5. Windows常用网络命令(3)

    5.Netstat Netstat命令可以帮助网络管理员了解网络的整体使用情况.它可以显示当前正在活动的网络连接的详细信息,例如显示网络连接.路由表和网络接口信息,可以统计目前总共有哪些网络连接正在运 ...

  6. Linux下zookeeper单机版详细安装

    Linux下zookeeper单机版详细安装 1.zookeeper简介 ZooKeeper是一个分布式的,开放源码的分布式应用程序协调服务,是Google的Chubby一个开源的实现,是Hadoop ...

  7. java笔记2—函数

    函数: 1.什么是函数?       函数是定义在类中具有特定功能的一段独立小程序.       函数也称方法. 2.函数的格式:      [ 修饰符 ] 返回值类型 函数名(参数类型 形式参数)  ...

  8. C++ 多态详解及常见面试题

    今天,讲一讲多态: 多态就是不同对象对同一行为会有不同的状态.(举例 : 学生和成人都去买票时,学生会打折,成人不会) 实现多态有两个条件: 一是虚函数重写,重写就是用来设置不同状态的   二是对象调 ...

  9. voltile解析

    https://www.cnblogs.com/dolphin0520/p/3920373.html

  10. C#学习笔记------参数

    一.形参 形参是本地变量,它声明在方法的参数列表中,而不是方法体中.