Pourquoi les arguments par défaut mutables en Python entraînent-ils un comportement inattendu ?

Le « moindre étonnement » et l'argument par défaut mutable

Le comportement inattendu de la fonction foo en Python, où les arguments par défaut sont liés à la définition de la fonction au lieu de son exécution, a en a intrigué beaucoup. Certains considèrent même cela comme un faux pas de programmation. Cependant, ce comportement a une solide justification ancrée dans la nature de Python en tant que langage doté de fonctions de première classe.

Les fonctions en Python ne sont pas de simples blocs de code ; ce sont des objets qui sont évalués au moment de leur définition. Cette évaluation inclut des arguments de liaison par défaut, qui agissent comme des « données de membre » pour l'objet fonction. Par conséquent, les modifications apportées aux arguments par défaut persistent lors des appels de fonction, de la même manière que les changements d'état de n'importe quel objet sont préservés.

Pour illustrer, considérons une fonction a qui imprime un message et renvoie une liste vide. Une autre fonction b prend un seul paramètre x avec une valeur par défaut de a(). Lorsque b est appelé sans spécifier x, il lie x au résultat de l'appel de a, qui renvoie une liste vide. Cependant, puisque la liste vide est stockée comme argument par défaut dans b, les appels ultérieurs à b s'ajouteront à cette même liste, ce qui entraînera le comportement observé où [5] est imprimé au premier appel et [5, 5] au deuxième. .

Ce comportement suit le principe du « moindre étonnement », qui dicte que le comportement d'un programme doit s'aligner sur ce à quoi un programmeur pourrait raisonnablement s'attendre. Dans ce cas, une fois qu'un objet fonction est défini, ses arguments par défaut font partie de son état et toute modification de ces arguments est reflétée dans les appels ultérieurs.

Bien que ce comportement puisse sembler contre-intuitif à certains, il est cohérent avec la philosophie de conception de Python. Les fonctions en tant qu'objets de première classe permettent une plus grande flexibilité et encouragent un style de programmation plus orienté objet. Comprendre ce concept améliore la compréhension par le programmeur des principes fondamentaux de Python et favorise un développement de code plus robuste et plus efficace.

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!