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第九弹:深入理解 Kotlin 泛型_第1张图片

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

你可能感兴趣的:(Kotlin从入门到精通,kotlin,开发语言,android)