目錄

• • 泛型
    • 定義泛型
    • 使用泛型
    • 集合的邊界

摘要

定義泛型，使用泛型，in 與 out，逆變與協變，集合的邊界

泛型

定義泛型

class Holder<T>(val t: T) {
    fun info() {
        println(t)
    }
}

使用泛型

var strHolder = Holder("a")
var intHolder = Holder(3)
strHolder.info()    //  a
intHolder.info()    //  3

In 和 Out

Out

引數註解 out 用於表示該泛型只能用於輸出，例如作為返回值。同時也提供了協變的特性。

abstract class Source<out T> {
    abstract fun nextT(): T
}

協變特性

fun demo(strs: Source<String>) {
    val obj: Source<Any> = strs
}

In

引數註解 in 用於表示該泛型只能用於輸入，例如作為引數。同時也提供了逆變的特性。

abstract class Comparable<in T> {
    abstract
 
 fun compareTo(other: T): Int
}

逆變特性

fun demo(x: Comparable<Number>) {
    val y: Comparable<Double> = x
}

集合的邊界

Java 中集合作為引數時可以指定邊界，Kotlin 中也有類似的做法

Array<in String>

以上類似 Java 中的 Array<? super String>

Array<out String>

以上類似 Java 中的 Array<? extend String>