Kotlin的型变解析(协变、逆变和不变)

本文涉及的产品
公共DNS(含HTTPDNS解析),每月1000万次HTTP解析
云解析 DNS,旗舰版 1个月
全局流量管理 GTM,标准版 1个月
简介: 一、首先来看一个例子import java.util.*/** * @author:wangdong * @description:型变 */fun main(args: Array) {}/*...

一、首先来看一个例子

import java.util.*

/**
 * @author:wangdong
 * @description:型变
 */

fun main(args: Array<String>) {

}

/**
 * 定义一个类,实现了List接口
 * 协变out(返回值只读类型),逆变in(通常是写入的),可读可写就是不变了
 */
class MyLisøt<in E>{
     val size: Int
        get() = TODO("not implemented") //To change initializer of created properties use File | Settings | File Templates.

     fun contains(element: @UnsafeVariance E): Boolean {
        TODO("not implemented") //To change body of created functions use File | Settings | File Templates.
    }

     fun containsAll(elements: Collection<E>): Boolean {
        TODO("not implemented") //To change body of created functions use File | Settings | File Templates.
    }
}

二、看一下协变、逆变和不变的例子

import java.util.*

/**
 * @author:wangdong
 * @description:协变、逆变、不变
 */

fun main(args: Array<String>) {

    //定义个协变
    //List 不是java.util中的list
    //定义一个numberlist的引用。
    //List<number>是只读的接口
    //number是int的父类,所以List<Number>是List<Int>的父类
    val numberList: List<Number> = listOf(1,3,5)
    //public interface List<out E> : Collection<E> {

    //定义一个逆变的例子
    //恰恰相反public interface Comparable<in T> {,是可写的接口
    //所以Comparable<Int> 是 Comparable<Any>的父类
    val intComparable: Comparable<Int> = object: Comparable<Any>{
        /**
         * Compares this object with the specified object for order. Returns zero if this object is equal
         * to the specified [other] object, a negative number if it's less than [other], or a positive number
         * if it's greater than [other].
         */
        override fun compareTo(other: Any): Int {
            return 0
        }
    }

    //定义一个不变的例子
    //报错部分,都说明MutableList<T>不是mutableListOf<非T>的父类
    //只有在T与T相同的情况下,才是ok的
    //val numberArrayList: MutableList<Number> = mutableListOf<Int>(1,5,7)
    //val numberArrayList: MutableList<Int> = mutableListOf<Number>(1,5,7)
    val numberArrayList: MutableList<Int> = mutableListOf<Int>(1,5,7)
    //MutableList接口public interface MutableList<E> : List<E>, MutableCollection<E> {
    //既没有out,也没有in,所以这个接口是可读写的,所以它是不变的
}

三、协变、逆变和@UnsafeVariance
1.协变点:返回值类型是泛型参数类型
2.逆变点:入参类型是泛型参数类型
3.@UnsafeVariance:型变点违例

目录
相关文章
|
5月前
|
安全 Kotlin 容器
Kotlin 中的协变与逆变
Kotlin 中的协变与逆变
232 1
|
3月前
|
存储 安全 Java
Kotlin中的对象类型:全面解析
【8月更文挑战第31天】
48 0
|
3月前
|
Kotlin
Kotlin 运算符详解:算术、赋值、比较与逻辑运算符全解析
## Kotlin 运算符 - **用途**: 对变量和值执行操作。 - **示例**: ```kotlin var x = 100 + 50 // 150 ``` - **分类**: - **算术**: `+`, `-`, `*`, `/`, `%`, `++`, `--`. - **赋值**: `=`, `+=`, `-=`. - **比较**: `==`, `!=`, `&lt;`, `&gt;`, `&lt;=`, `&gt;=`. - **逻辑**: `&&`, `||`, `!`.
30 2
|
3月前
|
编译器 Android开发 开发者
Android经典实战之Kotlin 2.0 迁移指南:全方位优化与新特性解析
本文首发于公众号“AntDream”。Kotlin 2.0 已经到来,带来了 K2 编译器、多平台项目支持、智能转换等重大改进。本文提供全面迁移指南,涵盖编译器升级、多平台配置、Jetpack Compose 整合、性能优化等多个方面,帮助开发者顺利过渡到 Kotlin 2.0,开启高效开发新时代。
147 0
|
5月前
|
开发者 Kotlin
Kotlin中List的Lambda表达式应用与解析
Kotlin中List的Lambda表达式应用与解析
Android-kotlin-接口与多态的表现,面经解析
Android-kotlin-接口与多态的表现,面经解析
|
Kotlin
Kotlin中接口、抽象类、泛型、out(协变)、in(逆变)、reified关键字的详解
Kotlin中接口、抽象类、泛型、out(协变)、in(逆变)、reified关键字的详解
95 0
|
XML 存储 Java
Kotlin 进阶 | 不变型、协变、逆变
Kotlin 进阶 | 不变型、协变、逆变
10919 1
|
安全 Java 编译器
重学Kotlin之泛型的逆变和协变
泛型的逆变和协变
263 0
|
JSON Java API
一次有趣的 Kotlin 语法解析实践
一次有趣的 Kotlin 语法解析实践
264 0

推荐镜像

更多