Kotlin泛型

泛型是一种编译时的安全检测机制，它允许在定义类，接口，方法时使用类型参数，声明的类型参数在使用具体的类型来替换。

泛型的定义：现实生活中，我们在整理物品时，会把各种各样的物品放在一个收纳盒中，如剪刀、火机、梳子、头绳等，这个收纳盒相当于是一个容器，该容器中可以放各种物品。如果有一个空的收纳盒，想要知道收纳盒中放什么物品，只有当收纳盒中放了物品之后才会知道放的是什么物品。收纳盒这个容器的概念与JDK系统中的List集合比较类似，List集合也是一个容器，这个容器中也可以放置各种数据类型，如String、Int、Object等。如果想要知道List集合中存放的是什么类型的对象，则必须在该集合存放完对象之后才能知道。

当创建一个空的List集合时，调用List集合中的add()方法，该方法中传递的参数是一个“某种类型”的对象，由于这个“某种类型”是一个不确定的类型，因此可以通过泛型来表示。泛型即“参数化类型”，就是将具体的类型变成参数化类型，在声明一个泛型时，传递的是一个类型形参，在调用时传递的是一个类型实参。当定义泛型时，泛型是在类型名之后、主构造函数之前用尖括号“＜＞”括起来的大写字母类型参数。当定义泛型类型变量时，可以完整地写明类型参数，如果编译器可以自动推断类型参数，则可以省略类型参数。

泛型的分类：由于泛型可以体现在类、接口以及方法中，因此可以将泛型分为3种类型，分别是泛型类、泛型接口以及泛型方法。本节我们将对这3种类型进行详细讲解。

泛型类的定义：使用泛型标记的类，被称为泛型类。泛型类的使用分为两种情况，一种是泛型类被用于实例化，另一种是泛型类被用于继承。当泛型类用于实例化时，需要传递具体的类型实参。

泛型的约束：泛型约束是对类或者方法中的类型变量进行约束。当创建一个泛型List＜E＞时，类型变量E理论上是可以被替换为任意的引用类型，但是有时候需要约束泛型实参的类型，例如想对E类型变量求和，则E应该是Int类型、Long类型、Double类型或者Float类型等，而不应该是String类型，因此在特殊情况下，需要对类型变量E进行限制。

泛型约束＜T:类或接口＞与Java中的＜? extends类或接口＞类似，这个约束也可以理解为泛型的上界。

子类和子类型：子类是继承的概念，如果B继承A，则B就是A的子类。如果需要使用类型A的变量时，可以使用类型B的变量来代替，则此时类型B就是A的子类型。子类与子类型是不同的，类中变量的替换原则只适合于子类型关系。一般情况下，编程语言只考虑了子类关系，子类说明是一个新类继承了父类，而子类型则是强调了新类具有父类一样的行为，这个行为不一定是继承。

协变与逆变：类或者接口上的泛型参数可以添加out或者in关键字。对于泛型类型参数，out关键字用于指定该类型参数是协变Covariant；in关键字用于指定该类型参数是逆变Contravariance。协变与逆变其实是C#语言4.0以后新增的高级特性，协变是将父类变为具体子类，协变类型作为消费者，只能读取不能写入，逆变是将子类变为具体父类，逆变作为生产者，只能写入不能读取。

泛型擦除与实化类型：由于JVM虚拟机中没有泛型，因此泛型类的类型在编译时都会被擦除，所谓的擦除是指当定义一个泛型时，例如List＜String＞类型，运行时它只是List，并不体现String类型。这一点Kotlin与Java是一样的，泛型在运行时都会被擦除。