继续还是探究协变与逆变,在正式开始之前,先来对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. Redis哨兵(Sentinel)模式

    Redis哨兵(Sentinel)模式   主从切换技术的方法是:当主服务器宕机后,需要手动把一台从服务器切换为主服务器,这就需要人工干预,费事费力,还会造成一段时间内服务不可用.这不是一种推荐的方式 ...

  2. win10 解决Failed installing 'Tomcat8' service

    今天将tomcat安装成服务执行service.bat install时遇到 Installing the service 'Tomcat8' ... Using CATALINA_HOME: &qu ...

  3. [ARM-Linux开发]linux 里 /etc/passwd 、/etc/shadow和/etc/group 文件内容解释

    linux 里 /etc/passwd ./etc/shadow和/etc/group 文件内容解释 一./etc/passwd 是用户数据库,其中的域给出了用户名.加密口令和用户的其他信息 /etc ...

  4. 【C++札记】函数重载

    概述 函数重载指在相同作用域中多个函数名相同,函数的形参不同. 遵循规则: 1.函数名相同 2.函数的参数,类型,个数或顺序不一样都可以构成重载. 3.函数返回值得类型不同不构成重载,编译直接报错,存 ...

  5. redis网文

    1.为什么说Redis是单线程的以及Redis为什么这么快!https://blog.csdn.net/chenyao1994/article/details/794913372.Redis上踩过的一 ...

  6. 【LEETCODE】35、169题, Majority Element

    package y2019.Algorithm.array; import java.util.HashMap; import java.util.Map; /** * @ProjectName: c ...

  7. TweenLite参数用法中文介绍

    TweenLite是一个缓动的类包,功能强大,并且易于使用,为了更多的(E文欠佳的.初学的)朋友了解它,使用它,特此翻译了一下TweenLite类文档中的说明文件,主要是对参数的说明,希望对大家有用. ...

  8. Spark 系列(二)—— Spark开发环境搭建

    一.安装Spark 1.1 下载并解压 官方下载地址:http://spark.apache.org/downloads.html ,选择 Spark 版本和对应的 Hadoop 版本后再下载: 解压 ...

  9. @PostConstruct使用总结

    https://blog.csdn.net/qq_37636695/article/details/84791468 https://www.jianshu.com/p/aba99a49a459 @P ...

  10. 记录Quarter的基本使用

    原文:记录Quarter的基本使用 using Quartz; using Quartz.Impl; using Quartz.Impl.Matchers; using Quartz.Logging; ...