Kotlin第九弹：深入理解 Kotlin 泛型

Kotlin系列到此结束，大家记得关注我哈，后面会继续出关于Android的系列文章!

目录

前言

1.泛型接口

2.泛型类 

二、泛型字段

三、泛型方法

四、泛型约束

五、泛型中的out与in

1.out约束泛型参数的类型上限

2.in约束参数的类型下限

总结

---

前言

Kotlin 的泛型与 Java 一样，都是一种语法糖，即只在源代码中有泛型定 义，到了 class 级别就被擦除了。 泛型（ Generics ）其实就是把类型参数化，真正的名字叫做类型参数，它的引入给强类型编程语言加入了更强的灵活性。在这一节为大家继续带来 Kotlin 中的一些高级的内容： Kotlin 中的泛型。

---

一、泛型接口/类（泛型属性）

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

1.泛型接口

//泛型接口
interface Drinks {
 fun taste(): T
 fun price(t: T) }

2.泛型类 

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

---

二、泛型字段

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

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

---

 

三、泛型方法

  类型参数要放在方法名的前面

fun  fromJson(json: String, tClass: Class): T? {
 val t: T? = tClass.newInstance()
 return t }

---

四、泛型约束

限定泛型参数的类型

// 泛型类型限定-1
// 所传递的类型 T 必须满足是 User 的子类 或 User 类
fun  fromJson(json: String, tClass: Class): T? {
 ...
}
// 泛型类型限定-2
// 所传递的类型 T 必须同时满足 where 子句的所有条件，在下面的示例中，类型 T 必须
既实现了 User, 也实现了 Comparable。
fun  fromJson(json: String, tClass: Class): T? where T : User,T :
Comparable {
 ...
}

---

五、泛型中的out与in

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

1.out约束泛型参数的类型上限

泛型参数的类型 允许传入 T ，以及 T 的子类

// 系统的类 ArrayList 声明了一个泛型 T
class ArrayList{
}
// Type mismatch.Required: ArrayList ， but Found:ArrayList
// 虽然 Int 是 Number 的子类，但 kotlin 认为 ArrayList，不是
ArrayList的子类，所以会编译报错
val arrayList:ArrayList = ArrayList()//编译报错
// 在定义处使用 out 关键字声明，允许传入的泛型参数可以是 T 以及 T 的子类
class ArrayList{
}
// 也就是传入的泛型参数可以是 Number 及 Number 的子类 Int,Double，Float....
val arrayList:ArrayList = ArrayList()//编译正常
// 使用处使用 out 关键字声明
val arrayList:ArrayList = ArrayList()//编译正常

2.in约束参数的类型下限

泛型类型限定为 T 及 T 的父类

// 在定义处使用 out 关键字声明，允许传入的泛型参数可以是 T 以及 T 的子类
class ArrayList{
}
val arrayList:ArrayList = ArrayList()//编译报错
class ArrayList{
}
// 也就是传入的泛型参数可以是 Number 及 Number 的子类 Int,Double，Float....
// 使用处使用 out 关键字声明
val arrayList:ArrayList = ArrayList()//编译正常
val arrayList:ArrayList = ArrayList()//编译正常,此时 in 可写
可不写

---

总结

Kotlin学习到此为止，希望你们能够都有所收获，后面我将继续分享Android相关的知识，有需要的同学请持续关注我哈！