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

刺骨的言语ヽ痛彻心扉 2024-04-01 08:48 74阅读 0赞

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

**目录**

前言

1.泛型接口

2.泛型类

二、泛型字段

三、泛型方法

四、泛型约束

五、泛型中的out与in

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

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

总结

--------------------

## 前言 ##

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

--------------------

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

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

### **1.泛型接口** ###

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

### 2.泛型类 ###

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()
    }

--------------------

## 三、泛型方法 ##

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

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

--------------------

## 四、泛型约束 ##

限定泛型参数的类型

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

--------------------

## 五、泛型中的out与in ##

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

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

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

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

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

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

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

--------------------

## 总结 ##

![5f8acbac926c48d384c6a4c416a02c7f.png][]

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

[5f8acbac926c48d384c6a4c416a02c7f.png]: https://image.dandelioncloud.cn/pgy_files/images/2024/04/01/0513f33310064b10ad0d8743a5db0a13.png