《Kotlin入门实战》CH8 | 泛型

泛型

泛型是在Java5中引入的，泛型让集合框架可以重用代码，在没有泛型时候，集合框架中存储数据的类型都是Object，也就是说存入和取出数据都需要对对象进行强制类型转换。这就很可能出现错误。

1 类接口函数上使用泛型

泛型接口

interface Send{
    fun handleMessage(t : T) : T;
}

fun main() {
    val h = object : Send{
        override fun handleMessage(t: String): String {
            println(t)
            return "收到消息$t"
        }
    }
    println(h.handleMessage("hello"))
}

/*
hello
收到消息hello
*/

泛型类

class TClass(var t : T){
    override fun toString(): String {
        return t.toString()
    }
}

fun main() {
    val t = TClass(1)
    println(t)
}

泛型函数

fun  handleT(t: T){
    println(t)
}

fun main() {   
    handleT("nihao")
}

2 泛型上界

fun > gt(x: T, y: T): Boolean

<>中的T : Comparable表示实现Comparable接口的类型

3 协变和逆变

协变

java中不支持协变，使用了通配符来解决的问题。

Number类型（简记为F）是Integer类型（简记为C）的父类型，我们把这种父子类型关系简记为C=>F（C继承F）；而List,List代表的泛型类型信息分别简记为f(F),f(C)。那么我们可以这样描述协变和逆变：
当C =>F时，如果有f(C) => f(F)，那么f叫做协变；
当C => F时，如果有f(F) => f(C)，那么f叫做逆变。如果上面两
种关系都不成立则叫做不变。

协变和逆变都是安全的。

Java中数组是可以协变的

        Integer[] ints = new Integer[3];
        ints[0] = 0;
        ints[1] = 1;
        ints[2] = 2;
        Number[] numbers = new Number[3];
        numbers = ints; //数组是协变的，可以正确赋值
        for (Number n : numbers) {
            System.out.println(n);
        }

java中泛型是不可以协变的

public class Test {
    static class A{

    }
    static class B extends A{

    }

    public static void main(String[] args) {
        List bs = new ArrayList<>();
        bs.add(new B());
        List as = (List) bs; // Error Java泛型是不变的
    }
}

Error:(17, 32) java: 不兼容的类型: java.util.List无法转换为java.util.List

所以下面代码也是不合法的

List integerList = new ArrayList<>();
integerList.add(0);
integerList.add(1);
integerList.add(2);
List numberList = new ArrayList<>();
numberList = integerList; //编译错误：类型不兼容

Java中泛型和数组的不同行为的确引起了许多混乱，就算我们使用通配符这样写：

List list = new ArrayList();
list.add(new Integer(1)); //error

还是报错，不是说通配符可以解决协变问题吗

这个情况需要特殊说明，如果可以向List中添加Integer，Float等，则意味着，List中存取的数据可以是integer, Float, Double等等，着就导致了List存储的元素类型混乱，所以Java禁止向List中添加任意Number子类型的对象。但是可以添加Null指针。

逆变

java对逆变是支持的

逆变

    List list = new ArrayList