1.Java与Kotin的协变对比
Kotlin: 声明处协变； Java：使用处协变。
Kotlin中的out关键字叫做variance annotation，因为它是在类型参数声明处所指定的，因此我们称之为声明处协变（declaration-sit variance）.
对于Java来说则是使用处协变（use-site variance),其中类型通配符使得类型协变成为可能。
2.举例说明
- 协变
interface Producer<out T> {
fun produce(): T
}
如果泛型类只是将泛型类型作为其方法的输出类型，那么我们就可以使用out。
produce = output = out
- 逆变
interface Consumer<in T> {
fun consume(item: T)
}
如果泛型类只是将泛型类型作为其方法的输入类型，那么我们就可以使用in。
consume = input = in
- 不变
interface ProducerConsumer<T> {
fun product(): T
fun consumer(iterm: T)
}
如果泛型类同时将泛型类型作为其方法的输入类型及输出类型，那么我们就不能使用out与in来修饰泛型。
- 以水果、苹果、苹果梨为例的完整示例代码如下：
package com.leofight.kotlin2
/*
Kotlin: 声明处协变； Java：使用处协变。
Kotlin中的out关键字叫做variance annotation，因为它是在类型参数声明处所指定的，因此我们
称之为声明处协变（declaration-sit variance）.
对于Java来说则是使用处协变（use-site variance),其中类型通配符使得类型协变成为可能。
*/
/*
如果泛型类只是将泛型类型作为其方法的输出类型，那么我们就可以使用out。
produce = output = out
*/
interface Producer<out T> {
fun produce(): T
}
/*
如果泛型类只是将泛型类型作为其方法的输入类型，那么我们就可以使用in
consume = input = in
*/
interface Consumer<in T> {
fun consume(item: T)
}
/*
如果泛型类同时将泛型类型作为其方法的输入类型及输出类型，那么我们就不能使用out与in来修饰泛型。
*/
interface ProducerConsumer<T> {
fun product(): T
fun consumer(iterm: 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()
}
}
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 ApplePare")
}
}
fun main(args: Array<String>) {
//对于"out"泛型来说，我们可以将子类型对象赋给父类型引用
val producer1: Producer<Fruit> = FruitProducer()
val producer2: Producer<Fruit> = AppleProducer()
var producer3: Producer<Fruit> = ApplePearProducer()
println("-----")
//对于"in"泛型类型，我们可以将父类型对象赋给子类型引用
val consumer1: Consumer<ApplePear> = Human()
val consumer2: Consumer<ApplePear> = Man()
val consumer3: Consumer<ApplePear> = Boy()
}
对于"out"泛型来说，我们可以将子类型对象赋给父类型引用
对于"in"泛型类型，我们可以将父类型对象赋给子类型引用
