Что произойдет с корутиной, когда возникает исключение?

При возникновении исключения внутри корутины зависимость от типа исключения (и настроек диспетчера/контекста) определяет, как оно будет обработано.

• Нерегулируемое исключение: Если исключение не перехвачено внутри корутины, оно propagate вверх по иерархии корутин до ближайшего родительского Job (или CoroutineScope). Поведение зависит от типа Job:

  • Job: По умолчанию, при возникновении исключения в дочерней корутине, родительский Job отменяется, что приводит к отмене всех его остальных дочерних корутин. Исключение перебрасывается выше.
  • SupervisorJob: Родительский SupervisorJob не отменяется при возникновении исключения в дочерней корутине. Только сама корутина, в которой произошло исключение, отменяется. Это полезно, когда нужно, чтобы отмена одной дочерней задачи не влияла на другие.
  • Корневой CoroutineScope: Если исключение достигает корневого CoroutineScope (например, GlobalScope или scope, созданный с помощью CoroutineScope без Job), оно передается в глобальный обработчик исключений CoroutineExceptionHandler. По умолчанию, если нет зарегистрированного обработчика, исключение логируется в System.err.

• Перехваченное исключение: Если исключение перехвачено с помощью try-catch блока внутри корутины, оно обрабатывается локально, и корутина продолжает выполнение после блока catch, если это возможно. Исключение не распространяется вверх.

• Исключения, связанных с отменой (например, CancellationException): Эти исключения являются особыми. Они используются для механизма отмены корутин и обычно игнорируются большинством обработчиков исключений по умолчанию. Они не приводят к фатальному сбою родительского Job по умолчанию.

• Исключения в async: Корутина, запущенная через async, помещает исключение в свой Deferred. Исключение перебрасывается только при вызове .await() на этом Deferred. До этого момента исключение "скрыто".

kotlin

В этом примере, исключение в Coroutine 1 перехватывается, и Coroutine 2 продолжает выполнение, потому что используется SupervisorJob. Если бы вместо SupervisorJob использовался обычный Job, исключение в Coroutine 1 привело бы к отмене Coroutine 2.