协程面试题:聊聊Job和SupervisorJob的区别

简介: 协程面试题:聊聊Job和SupervisorJob的区别

1. 前言


随着协程的普及,协程知识越来越被面试官青睐。首先,协程的面试题一般都很简洁,一两句简单的话就能把问题描述清楚,其次于面试官而言,协程框架中精妙的数据结构与算法可以很好的考察应聘者对基础知识的掌握程度。相对于烂大街的Android八股文,它又能很好的考察应聘者的主动学习能力。所谓行家一伸手便知有没有。协程知识便是面试场景中的行家和试金石。闲话少叙,本文带大家聊聊Job和SupervisorJob的区别。


2. Job和SupervisorJob的区别


如果你看过协程的官方文档或视频。你应该会知道Job和SupervisorJob的一个区别是,Job的子协程发生异常被取消会同时取消Job的其它子协程,而SupervisorJob不会。

Job启动了3个子协程job1、job2、job3。job1 delay 100毫秒后发生异常,协程被取消了,job2和job3也同样被取消了。

640.png


SupervisorJob启动了3个子协程job1、job2、job3。job1 delay 100毫秒后发生异常,协程被取消了,job2和job3并不受影响。

640.png


3. 原理


有过面试经历的朋友应该都知道,面试官喜欢问原理。为什么Job和SupervisorJob有这样的区别呢?


640.png


源码中寻找答案。Job()返回的是JobImpl对象,SupervisorJob()返回的SupervisorJobImpl对象。而SupervisorJobImpl是JobImpl的子类,并且重写了childCancelled方法,返回值为false。JobImpl继承自JobSupport,它的childCancelled方法源码如下:

640.png

Job如何建立父子关系一文,讲解过childCancelled方法。启动协程的Job会和协程本身的Job形成父子关系。当协程被取消时,会调用父Job的childCancelled方法。SupervisorJobImpl直接返回false,表示父Job不会因为子Job被取消而跟随取消。而JobSupport会调用cancelImpl方法,该方法的作用是取消父Job和父Job的所有子Job。


4. 异常处理的区别



恭喜你,前面的问题你都幸运的过关了,正当你暗自庆幸的时候。面试官可能会追问,请问除了子Job的取消不同,还有其它的区别吗?当然有了,比如异常处理机制不一样,Job方式启动的协程如果发生异常,异常会沿着Job树一直往上传递,而SupervisorJob方式启动的协程发生异常,SupervisorJob会将异常交由给协程处理。 这么一说有点抽象,看个例子。


演示协程嵌套,中间有Job类型启动的协程时,如果子协程发生异常,异常会交由根协程处理。


640.png


演示协程嵌套,中间有SupervisorJob类型启动的协程时,如果子协程发生异常,异常会交由子协程处理。

640.png


回答自此,暗自心想,这下挑不出毛病吧,哪知面试官接着追问,请问原理是什么呢?答案当然要从源码中找寻了。

640.png


代码1处,是处理异常的核心逻辑,它首先判断cancelParent的返回值,如果返回false,就调用handleJobException。


cancelParent方法的含义是,当子协程处发生异常,那么它会尝试取消它的父协程,如果返回true表示父协程也被取消,反之表示不能取消父协程,而cancelParent最终也有可能调用代码2处的parent.childCancelled方法。


异常的处理逻辑可以用职场的例子解释。假设职场的潜规则是,任何员工出错了,首要是要向上级报告,如果上级愿意处理你的错误,那员工就不用管了,如果上级将问题打回给员工,那错误就得由员工自己处理


那么回到问题本身,Job就相当于一个好老板,子协程犯的错,它愿意处理,SupervisorJob就相当于一个严厉的老板,子协程自己犯的错,自己解决。


协程异常的处理机制非常复杂,已经超出了本文的范围,我会在我的知识星球,另开一文讲解。

5. 这就够了吗?


行文至此,Job和SupervisorJob搞清楚了。但是还有很多其它的问题,比如:


  1. CancellationException和其它Exception的区别
  2. coroutineScope与SupervisorScope的区别
相关文章
|
7月前
|
API PHP 开发者
别再混淆 PHP8.1 中纤程 Fibers 和协程 Coroutines 了 一文搞懂它们的区别
协程是可暂停的函数,PHP通过yield实现;Fibers是PHP 8.1+的轻量执行单元,可手动控制执行流程。协程适用于异步I/O,Fibers更灵活,为异步框架提供底层支持,让PHP能写出同步风格的异步代码,提升并发性能。(239字)
805 5
【Java集合类面试二十八】、说一说TreeSet和HashSet的区别
HashSet基于哈希表实现,无序且可以有一个null元素;TreeSet基于红黑树实现,支持排序,不允许null元素。
|
存储 算法 架构师
阿里面试:PS+PO、CMS、G1、ZGC区别在哪?什么是卡表、记忆集、联合表?问懵了,尼恩来一个 图解+秒懂+史上最全的答案
阿里面试:PS+PO、CMS、G1、ZGC区别在哪?什么是卡表、记忆集、联合表?问懵了,尼恩来一个 图解+秒懂+史上最全的答案
|
Android开发 Kotlin
Android经典面试题之Kotlin的==和===有什么区别?
本文介绍了 Kotlin 中 `==` 和 `===` 操作符的区别:`==` 用于比较值是否相等,而 `===` 用于检查对象身份。对于基本类型,两者行为相似;对于对象引用,`==` 比较值相等性,`===` 检查引用是否指向同一实例。此外,还列举了其他常用比较操作符及其应用场景。
453 94
|
Java 程序员 调度
Java 高级面试技巧:yield() 与 sleep() 方法的使用场景和区别
本文详细解析了 Java 中 `Thread` 类的 `yield()` 和 `sleep()` 方法,解释了它们的作用、区别及为什么是静态方法。`yield()` 让当前线程释放 CPU 时间片,给其他同等优先级线程运行机会,但不保证暂停;`sleep()` 则让线程进入休眠状态,指定时间后继续执行。两者都是静态方法,因为它们影响线程调度机制而非单一线程行为。这些知识点在面试中常被提及,掌握它们有助于更好地应对多线程编程问题。
614 9
|
安全 Java 程序员
Java面试必问!run() 和 start() 方法到底有啥区别?
在多线程编程中,run和 start方法常常让开发者感到困惑。为什么调用 start 才能启动线程,而直接调用 run只是普通方法调用?这篇文章将通过一个简单的例子,详细解析这两者的区别,帮助你在面试中脱颖而出,理解多线程背后的机制和原理。
916 12
|
编译器 Android开发 开发者
Android经典面试题之Kotlin中Lambda表达式和匿名函数的区别
Lambda表达式和匿名函数都是Kotlin中强大的特性,帮助开发者编写简洁而高效的代码。理解它们的区别和适用场景,有助于选择最合适的方式来解决问题。希望本文的详细讲解和示例能够帮助你在Kotlin开发中更好地运用这些特性。
403 9
|
Java 程序员
Java社招面试题:& 和 && 的区别,HR的套路险些让我翻车!
小米,29岁程序员,分享了一次面试经历,详细解析了Java中&和&&的区别及应用场景,展示了扎实的基础知识和良好的应变能力,最终成功获得Offer。
320 14
Java社招面试题:& 和 && 的区别,HR的套路险些让我翻车!
今日分享的主题是如何区分&和&&的区别,提高自身面试的能力。主要分为以下四部分。 1、自我面试经历 2、&amp和&amp&amp的不同之处 3、&对&&的不同用回答逻辑解释 4、彩蛋
|
Java 关系型数据库 数据库
京东面试:聊聊Spring事务?Spring事务的10种失效场景?加入型传播和嵌套型传播有什么区别?
45岁老架构师尼恩分享了Spring事务的核心知识点,包括事务的两种管理方式(编程式和声明式)、@Transactional注解的五大属性(transactionManager、propagation、isolation、timeout、readOnly、rollbackFor)、事务的七种传播行为、事务隔离级别及其与数据库隔离级别的关系,以及Spring事务的10种失效场景。尼恩还强调了面试中如何给出高质量答案,推荐阅读《尼恩Java面试宝典PDF》以提升面试表现。更多技术资料可在公众号【技术自由圈】获取。