Kotlin学习之泛型详解

Kotlin：声明处协变，在类型参数声明处提供

Java：使用处协变，具体使用的时候才声明协变

我们随便定义一个泛型如下：

class B<T extends CharSequence>{
    
}

这个表示在实例化B的时候你提供的泛型T必须是CharSequence或者CharSequence的子类，这个和Java的使用处协变不是一回

事。我们说的使用处协变是下面这种形式

B<? extends ...>

两种方式不要混为一谈。

举个协变例子：

interface Producer<out T> {
    fun product(): T
}

T前面有out修饰，表示T是一个协变类型。如果泛型T是协变类型，那么只能用于一个方法的返回类型。也就是说如果一个类里面的泛型是协变类型，只能用于一个方法的返回类型。

可以看到product()方法的返回类型是T类型。这个T是不能作为输入类型（参数）的。

可以这么记produce = output = out 生产者

举个协变例子：

interface Consumer<in T> {
    fun consume(item: T)
}

如果泛型类只是将泛型类型作为其方法的输入类型（参数），那么我们就可以使用in。

可以这么记consumer = input = in

还有一种是不变类型，上例子

interface ProducerCoonsumer<T> {
    fun produce(): T

    fun consume(item: T)
}

如果泛型同时将泛型类型作为其方法的输入类型与输出类型，那么我们就不能使用out与in来修饰泛型

再来个协变的例子

open class Fruit

open class Apple :Fruit()

class ApplePear :Apple()

interface Producer<out T> {
    fun product(): T
}

class FruitProducer : Producer<Fruit> {
    override fun product(): Fruit {
        println("Produce Fruit")
        return Fruit()
    }
}

class AppleProducer :Producer<Apple>{
    override fun product(): Apple {
        println("produce Apple")
        return Apple()
    }

}

class ApplePearProducer :Producer<ApplePear>{
    override fun product(): ApplePear {
        println("produce ApplePear")
        return ApplePear()
    }

}

    override fun onCreate(savedInstanceState: Bundle?) {
        super.onCreate(savedInstanceState)
        setContentView(R.layout.activity_main7)
  
        val producer1: Producer<Fruit> = FruitProducer()
        val producer2: Producer<Fruit> = AppleProducer()
        val producer3: Producer<Fruit> = ApplePearProducer()

    }

对于out泛型来说，我们可以将子类型对象赋给父类型引用

看看逆变的例子

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 ApplePear")
    }
}

interface Consumer<in T> {
    fun consume(item: T)
}

  override fun onCreate(savedInstanceState: Bundle?) {
        super.onCreate(savedInstanceState)
        setContentView(R.layout.activity_main8)
        val consumer1: Consumer<ApplePear> = Human()
        val consumer2: Consumer<ApplePear> = Man()
        val consumer3: Consumer<ApplePear> = Boy()
    }
}

对于in泛型来说，我们可以将父类型对象赋给子类型引用

Kotlin学习之泛型详解

猜你喜欢