Scala for Backend Engineering & Functional Programming · Leçon

Macros pratiques

Cas d’utilisation

Macros pratiques 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 macros dans le monde réel

Au-delà des exemples simplifiés, les macros résolvent des problèmes concrets : capturer le contexte du code source, dériver des classes de types, valider des littéraux et générer du code sans répétition.

Cas d'utilisation : assert avec message

Une macro peut capturer le texte source d'une condition qui échoue afin de produire automatiquement un message d'assertion utile.

import scala.quoted.*

inline def myAssert(inline cond: Boolean): Unit =
  ${ assertImpl('cond) }

Capturer le code source

Dans la macro, cond.show (via l'API de réflexion) renvoie le code source littéral de l'expression, que vous insérez dans le message d'erreur.

import scala.quoted.*

def assertImpl(cond: Expr[Boolean])(using q: Quotes): Expr[Unit] = {
  import q.reflect.*
  val src = Expr(cond.asTerm.show)
  '{ if (!${ cond }) throw new AssertionError("failed: " + ${ src }) }
}

Cas d'utilisation : validation à la compilation

Validez un littéral (comme une expression régulière ou un numéro de port) à la compilation afin que les valeurs incorrectes n'atteignent jamais l'exécution.

import scala.quoted.*

inline def port(inline n: Int): Int = ${ portImpl('n) }

Interrompre sur une entrée incorrecte

Extrayez le littéral, vérifiez-le, puis appelez report.errorAndAbort pour les valeurs incorrectes — vous transformez ainsi un bogue à l'exécution en erreur de compilation.

import scala.quoted.*

def portImpl(n: Expr[Int])(using q: Quotes): Expr[Int] = {
  import q.reflect.*
  val v = n.valueOrAbort
  if (v < 1 || v > 65535) report.errorAndAbort("invalid port")
  n
}

Cas d'utilisation : dérivation de classe de types

Les macros (souvent via inline + scala.deriving.Mirror) peuvent générer des instances de classes de types, comme des encodeurs JSON, pour toute classe de cas, sans code répétitif.

import scala.deriving.Mirror

trait Show[T] { def show(t: T): String }

inline def derived[T](using Mirror.Of[T]): Show[T] = ???

Utiliser Mirror

Un Mirror expose à la compilation les types et les libellés des champs d'un produit. Associé à inline, il permet de parcourir les champs pour construire une instance.

import scala.deriving.*
import scala.compiletime.*

inline def labels[T](using m: Mirror.ProductOf[T]): List[String] =
  constValueTuple[m.MirroredElemLabels].toList.map(_.toString)

Cas d'utilisation : journalisation avec position

Une macro peut lire Position depuis l’API de réflexion afin d’ajouter le fichier et le numéro de ligne aux messages de journalisation, sans coût à l’exécution.

import scala.quoted.*

def posImpl(using q: Quotes): Expr[String] = {
  import q.reflect.*
  val p = Position.ofMacroExpansion
  Expr(s"${p.sourceFile.name}:${p.startLine + 1}")
}

Quand ne pas utiliser les macros

Les macros sont puissantes, mais coûteuses à maintenir et à déboguer. Privilégiez d’abord les fonctions ordinaires, les méthodes inline ou la dérivation given. N’utilisez les macros que lorsque ces solutions ne permettent pas d’exprimer le besoin.

Tester les macros

Testez le comportement généré comme du code ordinaire, et vérifiez que les entrées invalides provoquent un échec de compilation à l’aide d’outils tels que typeCheckErrors des utilitaires de test à la compilation.

Équivalent à l’exécution

Une macro de validation à la compilation produit le même effet que cette vérification autonome à l’exécution, mais l’échec survient pendant la compilation plutôt qu’à l’exécution.

object Main {
  def port(n: Int): Int = {
    require(n >= 1 && n <= 65535, "invalid port")
    n
  }
  def main(args: Array[String]): Unit = {
    println(port(8080)) // 8080
  }
}

Vérification rapide

Quel est le principal avantage de valider un littéral avec une macro plutôt qu’à l’exécution ?

Récapitulatif

Vous avez exploré des cas d’utilisation pratiques des macros :

assert capturant le code source
validation à la compilation avec errorAndAbort
dérivation de classes de types via Mirror
journalisation tenant compte de la position
situations où éviter les macros et manière de les tester

Vous avez terminé le cours sur la métaprogrammation et les macros.

Questions Fréquemment Posées

La leçon « Macros pratiques » est-elle gratuite ?

Oui — le texte complet de « Macros pratiques » 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 « Macros pratiques » ?

Cas d’utilisation 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 « Macros pratiques » ?

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

← Retour à Scala for Backend Engineering & Functional Programming