聊聊Kotlin 协程的「非阻塞式」

image.png

在kotlin协程中，有个非常重要的关键字 —— suspend，这个关键字就是协程最核心的那个「非阻塞式」的「挂起」

「挂起」的本质

对于协程中「挂起」对象的理解应该是有不同版本的，像挂起线程，还有挂起函数，又或者说挂起的对象是协程，其实我是比较赞同“挂起的对象是协程”这种说法。

启动一个协程我们可以使用launch或者 async 函数，实际上协程就是这两个函数中闭包的代码块。launch ，async或者其他函数创建的协程，在执行到某一个 suspend函数的时候，这个协程会被挂起，而且是从当前线程挂起。通俗的说，这个协程从执行它的线程上脱离，当前线程不再管这个协程要去做什么了【注意，不是这个协程停下来】

suspend是有暂停的意思，但我们在协程中应该理解为：当线程执行到协程的 suspend 函数的时候，暂时不继续执行协程代码了。

协程：

GlobalScope.launch(Dispatchers.Main) {
  val image = getImage(imageId)  // 获取图片
  avatarIv.setImageBitmap(image) // 显示出来
}
suspend fun getImage(id: String) = withContext(Dispatchers.IO) {
  ...
}

如上代码块，当线代码执行到suspend 函数的时候会被掐断，接下来协程会从这个 suspend 函数开始在指定的线程继续往下执行。这个指定其实是suspend 函数指定的，如：函数内部的withContext传入的 Dispatchers.IO 所指定的 IO 线程。Dispatchers 调度器，它可以将协程限制在一个特定的线程执行，本质类似于Rxjava。

常用的 Dispatchers ，有以下三种：

Dispatchers.Main：Android 中的主线程
Dispatchers.IO：针对磁盘和网络 IO 进行了优化，适合 IO 密集型的任务，比如：读写文件，操作数据库以及网络请求
Dispatchers.Default：适合 CPU 密集型的任务，比如计算
回到我们的协程，它从 suspend 函数开始脱离启动它的线程，继续执行在 Dispatchers 所指定的 IO 线程。

在 suspend 函数执行完成之后，协程会自动帮我们把线程再切回来。
对于「挂起」做一个结论：所谓的被挂起，就是切个线程

怎么做到「挂起」？

随便写一个自定义的 suspend 函数，输入当前线程：

suspend fun suspending() {
  println("Thread: ${Thread.currentThread().name}")
}

I/System.out: Thread: main

输出的结果还是在主线程。

为什么没切换线程？因为它不知道往哪切，需要我们告诉它。

之前例子中getImage 函数代码：

suspend fun getImage(id: String) = withContext(Dispatchers.IO) {
  ...
}

可以发现不同之处其实在于withContext函数,本身就是一个挂起函数，它接收一个Dispatcher参数，依赖这个Dispatcher参数的指示，你的协程被挂起，然后切到别的线程。所以suspend，其实并没有起到把任何协程挂起，或者说切换线程的作用，它其实是一个提醒。 如果你创建一个 suspend函数但它内部不包含真正的挂起逻辑，编译器会提示：redundant suspend modifier，告诉你这个 suspend 是多余的。

什么是「非阻塞式挂起」

对于线程阻塞很好理解，现实中的例子就是交通堵塞，核心有 3 点：

• 前面有障碍物，你过不去（线程卡了）
• 需要等障碍物清除后才能过去（耗时任务结束）
• 除非你绕道而行（切到别的线程）

「非阻塞式」这个是挂起的一个特点，协程的挂起，就是非阻塞式的，而不是传统的「阻塞式的挂起」。阻塞不阻塞，都是针对单线程讲的，切了线程，肯定是免谈的，你TM都跑到别的线程了，之前的线程就自由了，可以继续做别的事情了。

「非阻塞式」的挂起就是协程在挂起的同时切线程这个概念。

来看看下面的例子：

main {
    GlobalScope.launch(Dispatchers.Main) {
        val user = requestUserInfo()
        updateView(user)
    }
    
    private suspend fun requestUserInfo() : User = withContext(Dispatchers.IO) {
        api.requestUser()
    }
}

从上面的例子可以看到，耗时操作和更新 UI 的逻辑像写单线程一样放在了一起，只是在外面包了一层协程。而正是这个协程解决了原来我们单线程写法会卡线程这件事。

Kotlin 协程的三大疑问

协程是什么、挂起是什么、挂起的非阻塞式是怎么回事，已经非常简单了：

• 协程就是切线程；
• 挂起就是可以自动切回来的切线程；
• 挂起的非阻塞式指的是它能用看起来阻塞的代码写出非阻塞的操作；