Python Pattern Matching: Pourquoi les exceptions ne sont-elles pas lancées lorsqu'ils ne sont pas assortis?

L'instruction Match de Python fournit un puissant mécanisme de correspondance de motifs structurés, mais contrairement à certaines langues, lorsqu'aucune correspondance de modèle n'est réussie, elle ne lance pas d'exception, mais continue d'exécuter le code ultérieur. Cet article creusera les raisons de ce choix de conception et expliquera la logique derrière elle et comment gérer explicitement les situations de décalage en cas de besoin.

Le comportement des instructions de match Python

L'instruction Match de Python est utilisée pour comparer une valeur avec une série de modèles. Si un modèle de correspondance est trouvé, le bloc de code correspondant au modèle est exécuté. Cependant, si aucune correspondance de modèle n'est réussie, l'instruction Match ne lance pas d'exception comme Erlang, ou provoque une erreur de compilation comme la rouille. Au lieu de cela, il saute silencieusement tous les blocs de cas et continue d'exécuter le code après l'instruction Match.

 var = 3
faire correspondre var:
    Cas 1:
        imprimer ("correspond à 1")
    Cas 2:
        Imprimer ("correspondre à 2")

print ("Le programme continue d'exécuter")

Dans l'exemple ci-dessus, comme la valeur de VAR est 3, aucun cas ne correspond avec succès, le programme sortira directement "Le programme continue d'exécuter".

Pourquoi ne pas lancer une exception?

La philosophie de conception de Python a tendance à être "explicite sur implicite". Jeter une exception est un comportement implicite qui peut provoquer des interruptions inattendues du flux du programme. Le concepteur de la déclaration de match estime que les situations de décalage ne sont pas toujours erronées et font parfois partie de la logique du programme. Par conséquent, ils ont choisi de laisser explicitement le programmeur du programmeur, plutôt que de forcer l'exception à être lancée.

De plus, forcer une exception à être jetée peut rendre le code plus verbeux, car les programmeurs doivent ajouter un essai ... sauf bloquer à chaque instruction de match pour gérer les exceptions possibles.

Comment gérer les situations de décalage?

Bien que l'instruction MATCH elle-même ne lance pas d'exception, vous pouvez utiliser Wildcard Pattern_ pour capturer toutes les situations inégalées et effectuer des opérations correspondantes dans les blocs de code correspondants de ce modèle.

 def match_case (var = 3):
    faire correspondre var:
        Cas 1:
            retour 1
        Cas 2:
            retour 2
        cas _:
            Renvoie aucun # lancez une exception, soit exécuter un autre imprimé logique (match_case ()) # sortie Aucun

Wildcard Pattern_ est un modèle irréfutable, ce qui signifie qu'il correspondra toujours avec succès. Par conséquent, si tous les autres modèles ne correspondent pas, le bloc de code correspondant au modèle _ sera exécuté.

Vous pouvez choisir de lancer une exception en mode _ ou d'effectuer une autre logique, comme renvoyer une valeur par défaut ou enregistrer un message d'avertissement.

 def match_case (var = 3):
    faire correspondre var:
        Cas 1:
            retour 1
        Cas 2:
            retour 2
        cas _:
            augmenter ValueError ("Valeur variable inconnue")

essayer:
    print (match_case ())
sauf Value Enerror comme e:
    imprimer (f "Exception attrapée: {e}")

Description dans PEP 634

PEP 634 mentionne que s'il est syntaxiquement prouvé qu'un modèle réussira toujours, le modèle est considéré comme irréfutable. Le mode de capture et le mode générique sont irréfutables.

Le PEP 634 n'impose pas que le motif générique doit être inclus, mais que s'il contient un modèle de jogne, il ne manquera jamais de correspondre.

Résumer

Les instructions de match de Python ne lancent pas des exceptions lorsqu'aucune correspondance de modèle ne réussit, pour la philosophie de conception, et sont conçues pour permettre aux programmeurs de gérer explicitement les situations de décalage. Vous pouvez utiliser Wildcard Pattern_ pour capturer toutes les situations inégalées et effectuer des opérations correspondantes dans les blocs de code correspondants du modèle, tels que lancer une exception, renvoyer une valeur par défaut ou enregistrer un message d'avertissement. Cette méthode de conception rend le code plus flexible et évite la manipulation des exceptions inutile.

Ce qui précède est le contenu détaillé de. pour plus d'informations, suivez d'autres articles connexes sur le site Web de PHP en chinois!