27 | 图解挂起函数：原来你就是个状态机？

我刚看了字节码，总结如下： 可以看出： 1、testCoroutine 内部会创建一个匿名内部类 wrapper 实例，继承了 ContinuationImpl 类，将参数 Continuation var0 包在的内部；并且会将该 wrapper 实例作为参数传递给内部的挂起函数 getUserInfo... ...； ​ ContinuationImpl 继承了 BaseContinuationImpl，间接实现了 Continuation 接口； ​ 协程的恢复，就是通过 BaseContinuationImpl.resumeWith 实现，resumeWith 又会执行 invokeSuspend 方法，将目标结果返回； ​ invokeSuspend 是协程恢复的入口，其内部又会执行挂起函数 testCoroutine，而此时的参数是 wrapper 实例； 2、匿名内部类 wrapper 实例内部的 label 变量表示：状态机的状态，而状态的流转逻辑是由挂起函数 testCoroutine 控制； ​ 匿名内部类 wrapper 实例内部的 result 变量表示：目标结果； 3、匿名内部类 wrapper 实例只会创建一次！！ ​ 当第一次调用 testCoroutine 的时候，参数 Continuation var0 是外部的 Continuation 实例（外部协程的 Continuation/外部挂起函数的 ContinuationWrapper 实例） ​ 当挂起后恢复，再次调用的时候，参数 Continuation var0 是第一次创建的 匿名内部类 wrapper 实例； 4、testCoroutine 状态机结构是通过 switch 语句 + label 代码段嵌套 ​ testCoroutine 里的原本的代码，被拆分到状态机里各个状态中，分开执行； ​ 每次挂起函数执行完，恢复后，都会检查是否发生异常； ​ 如果一个挂起函数挂起，它的返回值会是 CoroutineSingletons.COROUTINE_SUSPENDED；

// JAVA 调用 挂起函数 public static void main(String[] args) throws InterruptedException { SuspendFromJavaExample.INSTANCE.getUserInfo(111, new Continuation<String>() { @NotNull @Override public CoroutineContext getContext() { return (CoroutineContext) Dispatchers.getDefault(); } @Override public void resumeWith(@NotNull Object o) { System.out.printf("suspend fun getUserInfo result => %s\n", o); } }); Thread.sleep(2000); // 有点挫，等结果 }

思考题：后知后觉 1. 最终还是运行了一遍，返回的是CoroutineSingletons.COROUTINE_SUSPENDED，即惊讶，又啊哈 2. 协程非阻塞，体现在suspend func立即返回个CoroutineSingletons.COROUTINE_SUSPENDED，然后继续忙其他的；于是伪suspend func，则直接返回结果 *关于如何在Java中调用：之前有课程提到，在Java中的getContext()中可考虑传入EmptyCoroutineContext.INSTANCE

关于思考题的思考： 在 Java 中是可以调用挂起函数的，当挂起函数通过 Kotlin 编译器进行 CPS 转换后，对应的挂起函数就被转换成了带 Callback 参数（Continuation 接口）的普通函数，只要传入 Continuation 接口的实现就可以了。

我不是很明白是怎么恢复协程，也就是调用resumewith，java反编译过去也没看到调用

HelloSuspendTestKt.hello(new Continuation<Integer>() { @NotNull @Override public CoroutineContext getContext() { return EmptyCoroutineContext.INSTANCE; } @Override public void resumeWith(@NotNull Object o) { // TODO } });

有点类似rxjava操作符的嵌套

1、invokeSuspend 不是协程的入口，是 resumeWith 的入口， 恢复协程是调用的 continuation.resumeWith，这个会调用 invokeSuspend

这样看，每个挂起函数，都会创建一个继承了 ContinuationImpl 的匿名内部类对象，把传进来的 Continuation 包起来～～～

withContext 为啥没有创建新的协程呢？？？我看源码都有对应的 job 和 coroutome.start