Kotlin协变out、逆变in

Kotlin协变out (? extends)

open class People() {
    open fun show() {
        println("people")
    }
}

class Man() : People() {
    override fun show() {
        println("男人")
    }
}

class Woman() : People() {
    override fun show() {
        println("女人")
    }
}


//生产者 (out协变 只能被获取，不能被修改)
interface Product<out T> {
    fun getProduct(): T
}

class ProductOne() : Product<People> {
    override fun getProduct(): People {
        return People()
    }
}

class ProductTwo() : Product<Woman> {
    override fun getProduct(): Woman {
        return Woman()
    }

}

fun main() {
    //out：泛型具体处的子类对象 可以赋值给 泛型声明处的父类对象 (java:  List<? extends CharSequence> ss = new ArrayList<String>();)
    var man: Product<People> = ProductTwo()
}

kotlin 逆变in（？super）

open class People() {
    open fun show() {
        println("people")
    }
}

class Man() : People() {
    override fun show() {
        println("男人")
    }
}

class Woman() : People() {
    override fun show() {
        println("女人")
    }
}

interface Product2<in T>{
    fun setProduct2(item:T){
    }
}

class Product2One:Product2<People>{
    override fun setProduct2(item: People) {
        println(item.show())
    }
}

fun main() {
    //in：泛型具体处的父类对象 可以赋值给 泛型声明处的子类对象 (java:  List<? super String> ss = new ArrayList<CharSequence>();)
    var people:Product2<Woman> = Product2One()
    people.setProduct2(Woman())
}