Kotlin的型变解析（协变、逆变和不变）

矫情吗；* 2022-05-28 12:36 319阅读 0赞

一、首先来看一个例子

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：型变点违例