15.Kotlin使用处协变的意义与用法

类型投影

use-site variance(type projection),使用处型变(类型投影)

将类型参数 T 声明为out非常方便,并且能避免使用处子类型化的麻烦,但是有些类实际上不能限制为只返回T

一个很好的例子是 Array

class Array<T>(val size: Int) {
    fun get(index: Int): T { ///* …… */ }
    fun set(index: Int, value: T) { ///* …… */ }
}

该类在 T 上既不能是协变的也不能是逆变的。这造成了一些不灵活性。考虑下述函数:

fun copy(from: Array<Any>, to: Array<Any>) {
    assert(from.size == to.size)
    for (i in from.indices)
        to[i] = from[i]
}

这个函数应该将项目从一个数组复制到另一个数组。让我们尝试在实践中应用它:

val from: Array<Int> = arrayOf(1,2,3,4)
val to:Array<Any> = Array<Any>(4,{it -> "hello"+it})
copy(from,to)// 错误:期望 (Array<Any>, Array<Any>)

这里我们遇到的问题:Array <T>T上是不型变的,因此 Array <Int>Array <Any> 都不是另一个的子类型。为什么? 再次重复,因为 copy可能做坏事,也就是说,例如它可能尝试写一个 Stringfrom,并且如果我们实际上传递一个Int的数组,一段时间后将会抛出一个 ClassCastException异常。

那么,我们唯一要确保的是 copy()不会做任何坏事。我们想阻止它写到from,我们可以:

fun copy(from: Array<out Any>, to: Array<Any>) {
    assertTrue(from.size == to.size)
    for (i in from.indices) {
        to[i] = from[i]
    }
}

这里发生的事情称为类型投影:我们说from不仅仅是一个数组,而是一个受限制的(投影的)数组:我们只可以调用返回类型为类型参数 T的方法,如上,这意味着我们只能调用 get()。这就是我们的使用处型变的用法,并且是对应于 JavaArray<? extends Object>、 但使用更简单些的方式。

也可以使用 in投影一个类型:

fun setValue(to: Array<in String>, index: Int, value: String) {
    to[index] = value
}

Array<in String> 对应于JavaArray<? super String>,也就是说,你可以传递一个CharSequence 数组或一个Object 数组给 setValue() 函数。

完整的示例代码

package com.leofight.kotlin2

import kotlin.test.assertTrue

// use-site variance(type projection),类型投影

//数组的浅拷贝
fun copy(from: Array<out Any>, to: Array<Any>) {
    assertTrue(from.size == to.size)

    for (i in from.indices) {
        to[i] = from[i]
    }

}

fun main(args: Array<String>) {
    val from: Array<Int> = arrayOf(1, 2, 3, 4)
    val to: Array<Any> = Array<Any>(4, { it -> "hello" + it })

    for (item in to) {
        println(item)
    }

    copy(from, to)

    println("*************")

    val array: Array<String> = Array<String>(4, { _ -> "hello" })

    for (item in array) {
        println(item)
    }

    println("*************")

    setValue(array, 1, "world")

    for (item in array) {
        println(item)
    }

    println("*************")

    val array2: Array<Any> = Array<Any>(4, { it -> "hello " + it })

    for (item in array2) {
        println(item)
    }

    setValue(array2, 1, "world")

    println("*************")

    for (item in array2) {
        println(item)
    }
}

fun setValue(to: Array<in String>, index: Int, value: String) {
    to[index] = value
}
最后编辑于
©著作权归作者所有,转载或内容合作请联系作者
  • 序言:七十年代末,一起剥皮案震惊了整个滨河市,随后出现的几起案子,更是在滨河造成了极大的恐慌,老刑警刘岩,带你破解...
    沈念sama阅读 217,907评论 6 506
  • 序言:滨河连续发生了三起死亡事件,死亡现场离奇诡异,居然都是意外死亡,警方通过查阅死者的电脑和手机,发现死者居然都...
    沈念sama阅读 92,987评论 3 395
  • 文/潘晓璐 我一进店门,熙熙楼的掌柜王于贵愁眉苦脸地迎上来,“玉大人,你说我怎么就摊上这事。” “怎么了?”我有些...
    开封第一讲书人阅读 164,298评论 0 354
  • 文/不坏的土叔 我叫张陵,是天一观的道长。 经常有香客问我,道长,这世上最难降的妖魔是什么? 我笑而不...
    开封第一讲书人阅读 58,586评论 1 293
  • 正文 为了忘掉前任,我火速办了婚礼,结果婚礼上,老公的妹妹穿的比我还像新娘。我一直安慰自己,他们只是感情好,可当我...
    茶点故事阅读 67,633评论 6 392
  • 文/花漫 我一把揭开白布。 她就那样静静地躺着,像睡着了一般。 火红的嫁衣衬着肌肤如雪。 梳的纹丝不乱的头发上,一...
    开封第一讲书人阅读 51,488评论 1 302
  • 那天,我揣着相机与录音,去河边找鬼。 笑死,一个胖子当着我的面吹牛,可吹牛的内容都是我干的。 我是一名探鬼主播,决...
    沈念sama阅读 40,275评论 3 418
  • 文/苍兰香墨 我猛地睁开眼,长吁一口气:“原来是场噩梦啊……” “哼!你这毒妇竟也来了?” 一声冷哼从身侧响起,我...
    开封第一讲书人阅读 39,176评论 0 276
  • 序言:老挝万荣一对情侣失踪,失踪者是张志新(化名)和其女友刘颖,没想到半个月后,有当地人在树林里发现了一具尸体,经...
    沈念sama阅读 45,619评论 1 314
  • 正文 独居荒郊野岭守林人离奇死亡,尸身上长有42处带血的脓包…… 初始之章·张勋 以下内容为张勋视角 年9月15日...
    茶点故事阅读 37,819评论 3 336
  • 正文 我和宋清朗相恋三年,在试婚纱的时候发现自己被绿了。 大学时的朋友给我发了我未婚夫和他白月光在一起吃饭的照片。...
    茶点故事阅读 39,932评论 1 348
  • 序言:一个原本活蹦乱跳的男人离奇死亡,死状恐怖,灵堂内的尸体忽然破棺而出,到底是诈尸还是另有隐情,我是刑警宁泽,带...
    沈念sama阅读 35,655评论 5 346
  • 正文 年R本政府宣布,位于F岛的核电站,受9级特大地震影响,放射性物质发生泄漏。R本人自食恶果不足惜,却给世界环境...
    茶点故事阅读 41,265评论 3 329
  • 文/蒙蒙 一、第九天 我趴在偏房一处隐蔽的房顶上张望。 院中可真热闹,春花似锦、人声如沸。这庄子的主人今日做“春日...
    开封第一讲书人阅读 31,871评论 0 22
  • 文/苍兰香墨 我抬头看了看天上的太阳。三九已至,却和暖如春,着一层夹袄步出监牢的瞬间,已是汗流浃背。 一阵脚步声响...
    开封第一讲书人阅读 32,994评论 1 269
  • 我被黑心中介骗来泰国打工, 没想到刚下飞机就差点儿被人妖公主榨干…… 1. 我叫王不留,地道东北人。 一个月前我还...
    沈念sama阅读 48,095评论 3 370
  • 正文 我出身青楼,却偏偏与公主长得像,于是被迫代替她去往敌国和亲。 传闻我的和亲对象是个残疾皇子,可洞房花烛夜当晚...
    茶点故事阅读 44,884评论 2 354

推荐阅读更多精彩内容

  • 前言 人生苦多,快来 Kotlin ,快速学习Kotlin! 什么是Kotlin? Kotlin 是种静态类型编程...
    任半生嚣狂阅读 26,209评论 9 118
  • 本文是在学习和使用kotlin时的一些总结与体会,一些代码示例来自于网络或Kotlin官方文档,持续更新... 对...
    竹尘居士阅读 3,288评论 0 8
  • 基础篇NumPy的主要对象是同种元素的多维数组。这是一个所有的元素都是一种类型、通过一个正整数元组索引的元素表格(...
    oyan99阅读 5,128评论 0 18
  • "我希望有个如你一般的人 如山间清爽的风 如古城温暖的光 从清晨到夜晚 从山野到书房 只要最后是你 就好" 烂熟于...
    AhaYvonne_阅读 1,591评论 1 7
  • 部分内容尚未迁移过来,发帖占位。我们根据开课需要,不断从WORD、PPT、小视频、书籍、讲义等传统课件形式,向公共...
    张老师大语文阅读 303评论 0 0