Gestion des erreurs dans IO
handleError
Gestion des erreurs dans IO est une leçon Scala for Backend Engineering & Functional Programming gratuite sur CoddyKit. Ceci est la leçon 4 sur 4. Tu peux lire la leçon complète ci-dessous gratuitement — puis la pratiquer en direct dans le navigateur avec un éditeur de code intégré et un tuteur IA 24/7. Elle fait partie du parcours d'apprentissage Scala for Backend Engineering & Functional Programming, et ta progression se synchronise sur le web et l'application CoddyKit. Le cours Scala for Backend Engineering & Functional Programming comprend 4 leçons au total.
Les erreurs comme valeurs
Dans Cats Effect, un IO peut échouer. L’échec fait partie de la valeur ; vous pouvez donc l’examiner et le traiter sans recourir à un try/catch non structuré.
Lever des erreurs
Utilisez IO.raiseError pour créer explicitement un IO en échec avec l’exception de votre choix.
import cats.effect.IO
val failed: IO[Int] =
IO.raiseError(new RuntimeException("boom"))handleError
handleError récupère un IO en échec en fournissant une valeur de repli calculée à partir de l’erreur. Le résultat est alors un IO qui ne peut pas échouer à ce stade.
import cats.effect.IO
val safe: IO[Int] =
IO.raiseError[Int](new RuntimeException("x"))
.handleError(_ => -1)handleErrorWith
handleErrorWith récupère l’échec avec un autre IO, de sorte que la valeur de repli puisse elle-même produire un effet (par exemple, consigner un message, réessayer ou retourner une valeur par défaut).
import cats.effect.IO
val recovered: IO[Int] =
IO(throw new RuntimeException("fail"))
.handleErrorWith(e => IO.println(s"caught: ${e.getMessage}").as(0))attempt
attempt transforme un IO[A] en IO[Either[Throwable, A]] et matérialise l’erreur dans la valeur afin que vous puissiez utiliser une correspondance de motifs.
import cats.effect.IO
val e: IO[Either[Throwable, Int]] =
IO.raiseError[Int](new RuntimeException("oops")).attemptCorrespondance de motifs avec attempt
Après attempt, vous pouvez choisir une branche selon la réussite ou l’échec à l’aide d’un flatMap normal sur le Either.
import cats.effect.IO
val prog: IO[Unit] = IO(10 / 2).attempt.flatMap {
case Right(v) => IO.println(s"ok: $v")
case Left(e) => IO.println(s"err: ${e.getMessage}")
}redeem
redeem traite les deux branches en un seul appel : une fonction pour l’erreur et une pour la réussite, les deux retournant une valeur simple.
import cats.effect.IO
val label: IO[String] =
IO(42).redeem(e => s"failed: $e", v => s"value: $v")redeemWith
redeemWith fonctionne comme redeem, mais chaque branche retourne un IO, ce qui permet de gérer la réussite comme l’échec avec des effets.
import cats.effect.IO
val prog: IO[Unit] = IO(42).redeemWith(
e => IO.println(s"err: $e"),
v => IO.println(s"got: $v")
)Nettoyage avec guarantee
guarantee exécute un finaliseur, que l’effet réussisse ou échoue — idéal pour libérer des ressources ou consigner la fin de l’exécution.
import cats.effect.IO
val prog: IO[Int] =
IO(compute()).guarantee(IO.println("done"))
def compute(): Int = 7Réessayer en cas d’échec
Vous pouvez construire une nouvelle tentative simple en récupérant récursivement l’échec avec handleErrorWith et en décrémentant un compteur jusqu’à ce qu’il atteigne zéro.
import cats.effect.IO
def retry[A](io: IO[A], n: Int): IO[A] =
if (n <= 0) io
else io.handleErrorWith(_ => retry(io, n - 1))try/catch en Scala classique
Comparez cela à la gestion classique et avide des erreurs en Scala. Les combinateurs d’IO offrent la même sécurité sous forme de valeurs pures et composables.
object Main {
def main(args: Array[String]): Unit = {
val result = try { 10 / 0 } catch { case _: ArithmeticException => -1 }
println(s"result: $result")
}
}Vérification rapide
Quelle méthode transforme un IO[A] en IO[Either[Throwable, A]] ?
Récapitulatif
Vous avez géré les erreurs dans IO avec :
raiseErrorpour provoquer explicitement un échechandleError/handleErrorWithpour récupérer les échecsattemptpour matérialiserEitherredeem/redeemWithpour les deux branchesguaranteepour le nettoyage
Vous avez terminé le cours sur Cats et IO.
Apprends Scala avec un tuteur IA — gratuit
Écris et exécute du vrai code dans ton navigateur, obtiens de l'aide instantanée d'un tuteur IA disponible 24h/24, et reprends là où tu t'es arrêté sur le web ou dans l'app.
- Cours
- 39
- Leçons
- 143
Questions Fréquemment Posées
La leçon « Gestion des erreurs dans IO » est-elle gratuite ?
Oui — le texte complet de « Gestion des erreurs dans IO » est gratuit à lire ici sur le web. Pour la pratiquer de manière interactive (un éditeur de code intégré et un tuteur IA 24/7) et déverrouiller le reste du cours Scala for Backend Engineering & Functional Programming, passe à CoddyKit PRO. Le cours Scala for Backend Engineering & Functional Programming comprend 4 leçons au total.
Qu'est-ce que j'apprendrai dans « Gestion des erreurs dans IO » ?
handleError Tu pratiques Scala for Backend Engineering & Functional Programming avec du code pratique que tu exécutes directement dans le navigateur, et un tuteur IA 24/7 répond à tes questions au fur et à mesure que tu avances dans la leçon.
Dois-je avoir de l'expérience pour commencer Scala for Backend Engineering & Functional Programming ?
Aucune expérience préalable n'est requise. Scala for Backend Engineering & Functional Programming sur CoddyKit est structuré pour les débutants jusqu'aux apprenants avancés, donc tu peux commencer ici ou depuis le début et avancer à ton rythme. Ceci est la leçon 4 sur 4.
Combien de temps prend la leçon « Gestion des erreurs dans IO » ?
La plupart des leçons CoddyKit prennent environ 5–10 minutes. Chacune est courte et interactive, tu progresses régulièrement et tu repiques exactement où tu t'es arrêté sur le web et l'app.
Peux-tu écrire et exécuter du code dans cette leçon Scala for Backend Engineering & Functional Programming ?
Oui. Chaque leçon Scala for Backend Engineering & Functional Programming inclut un éditeur de code intégré, tu écris et exécutes du vrai code directement dans ton navigateur et tu reçois des retours IA instantanés — aucune configuration locale requise.
Toutes les leçons de ce cours
- Classes de types de Cats
- La monade IO
- Composer IO
- Gestion des erreurs dans IO