【备战春招】第13天 深入理解Kotlin泛型

课程名称：移动端架构师

课程章节：Android必备Kotlin核心技术

课程讲师：CrazyCodeBoy LovelyChubby

课程内容：

目录

• 泛型接口/类（泛型类型）

• 泛型字段

• 泛型方法

• 泛型约束

• 泛型中的out与in

泛型接口/类（泛型类型）

定义泛型类型，是在类型名之后、主构造函数之前用尖括号括起的大写字母类型参数指定：

泛型接口

Java：

//泛型接口
interface Fruit<T> {
    T taste();
    void price(T t);
}

Kotlin：

//泛型接口
interface Fruit<T> {
    fun taste(); T
    void price(t: T)
}

泛型类

Java

abstract class Color<T> {
    T t;
    abstract void printColor();
}
class Blue {
    String color = "blue";
}
class BlueColor extends Color<Blue> {
    public BlueColor(Blue t) {
        this.t = t;
    }
    @Override
    public void printColor() {
        System.out.println("color:" + t.color);
    }
}

Kotlin

abstract class Color<T>(var t: T/*泛型字段*/) {
    abstract fun printColor()
}

class Blue {
    val color = "blue"
}

class BlueColor(t: Blue) : Color<Blue>(t) {
    override fun printColor() {
        println("color:${t.color}")
    }

}

泛型字段

定义泛型类型字段，可以完整地写明类型参数，如果编译器可以自动推定类型参数，也可以省略类型参数：

abstract class Color<T>(var t: T/*泛型字段*/) {
    abstract fun printColor()
}

泛型方法

Kotlin 泛型方法的声明与 Java 相同，类型参数要放在方法名的前面：

Java

public static <T> T fromJson(String json, Class<T> tClass) {
    T t = null;
    try {
        t = tClass.newInstance();
    } catch (Exception e) {
        e.printStackTrace();
    }
    return t;
}

Kotlin

fun <T> fromJson(json: String, tClass: Class<T>): T? {
    /*获取T的实例*/
    val t: T? = tClass.newInstance()
    return t
}

泛型约束

Java 中可以通过有界类型参数来限制参数类型的边界，Kotlin中泛型约束也可以限制参数类型的上界：

Java

public static <T extends Comparable<? super T>> void sort(List<T> list){}

Kotlin

fun <T : Comparable<T>?> sort(list: List<T>?){}

sort(listOf(1, 2, 3)) // OK，Int 是 Comparable<Int> 的子类型
//    sort(listOf(Blue())) // 错误：Blue 不是 Comparable<Blue> 的子类型

对于多个上界的情况

//多个上界的情况
fun <T> test(list: List<T>, threshold: T): List<T>
        where T : CharSequence,
              T : Comparable<T> {
    return list.filter { it > threshold }.map { it }
}

所传递的类型T必须同时满足 where 子句的所有条件，在上述示例中，类型 T 必须既实现了 CharSequence 也实现了 Comparable。

泛型中的out与in

在Kotlin中out代表协变，in代表逆变，为了加深理解我们可以将Kotlin的协变看成Java的上界通配符，将逆变看成Java的下界通配符：

//Kotlin使用处协变
fun sumOfList(list: List<out Number>)

//Java上界通配符
void sumOfList(List<? extends Number> list)

//Kotlin使用处逆变
fun addNumbers(list: List<in Int>)

//Java下界通配符
void addNumbers(List<? super Integer> list)

总结

总的来说，Kotlin 泛型更加简洁安全，但是和 Java 一样都是有类型擦除的，都属于编译时泛型。

KotlinGeneric.kt

package com.demon.kotlin

fun main() {
    println(Coke().taste().price)
    testSort()
}

/**
 * Generic 泛型
 * 泛型接口
 */
interface Drinks<T> {
    fun taste(): T
    fun price(t: T)
}
class Sweet {
    val price = 5
}
class Coke: Drinks<Sweet> {
    override fun taste(): Sweet {
        println("Sweet")
        return Sweet()
    }

    override fun price(t: Sweet) {
        println("Coke price: ${t.price}")
    }

}

/**
 * 泛型类
 * BlueColor(Blue()).printColor()
 */
abstract class Color<T>(var t: T /*泛型字段*/) {
    abstract fun printColor()
}
class Blue {
    val color = "blue"
}
class BlueColor(t: Blue): Color<Blue>(t) {
    override fun printColor() {
        println("color:${t.color}")
    }
}

/**
 * 泛型方法
 */
fun <T> fromJson(josn: String, tClass: Class<T>): T? {
    //获取T的实例
    val t: T? = tClass.newInstance()
    return t;
}

/**
 * 泛型约束
 * :表示上界，T extends Comparable<T>?
 */
fun <T: Comparable<T>?> sort(list: List<T>?){}
fun testSort() {
    sort(listOf(1, 2, 3, 4))    //OK, Int 是Comparable<Int>的子类型
//    sort(listOf(Blue())) // 错误，Blue不是Comparable<Blue>的子类型

    val listString = listOf("A", "B", "C")
    val list = testa(listString, "B")
    println(list)
}

/**
 * 多个上界的情况
 * 所传递的类型T必须同时满足 where 子句的所有条件，在上述示例中，类型 T 必须既实现了 CharSequence 也实现了 Comparable。
 */
fun <T> testa(list: List<T>, threshold: T): List<T>
        where T : CharSequence,
              T : Comparable<T> {
        return list.filter { it > threshold }.map { it }
}


/**
 * 泛型中的out与in
 */
// Kotlin使用处协变 = Java上界通配符: void sumOfList(List<? extends Number> list)
fun sumOfList(list: List<out Number>) {}
//Kotlin使用处逆变 = Java下界通配符: void addNumbers(List<? super Integer> list)
//fun addNumbers(list: List<in Int>) {}

课程收获：

谢谢老师，这一章学习kotlin泛型的使用，期待后边的继续学习。