Les codes fantastiques : consommer local !

Magazine
Marque
GNU/Linux Magazine
Numéro
267
Mois de parution
janvier 2024
Spécialité(s)


Résumé

Continuons cette série sur les codes fantastiques avec une histoire de variables locales et de portée.


Body

Le langage Python est dynamique. En Python, ce qu’on appelle variable est en fait un nom d’identifiant auquel on associe une valeur. Cette paire identifiant <> valeur est enregistrée dans un dictionnaire, au niveau global ou au niveau local :

>>> a = 1 # associe la valeur 1 à l’identifiant `a` dans le dictionnaire global
>>> def foo():
>>>   a = 1 # associe la valeur 2 à l’identifiant `a` dans le dictionnaire local à `foo`
>>>   return a # effectue une recherche de l’identifiant `a` dans le dictionnaire local

Deux fonctions intrinsèques, globals() et locals(), permettent d’ailleurs d’accéder à ces dictionnaires, et de les modifier dynamiquement :

>>> globals()[’a’] = 1 # équivalent à `a = 1`
>>> def foo():
>>>   locals()[‘a’] = 1 # équivalent à `a = 1`
>>>   return a # ok, la valeur est définie dans le dictionnaire local

Ce monde parfait est cependant soumis à l’incroyable pression de la performance, et pour accélérer l’accès à une variable locale, le compilateur précalcule la liste des variables locales, liste à laquelle on peut accéder à travers l’attribut __code__ d’une fonction :

>>> foo.__code__.co_varnames
('a',)

Détail d’implémentation ? Pas tout à fait ! Cela a un impact dans des situations comme la suivante :

>>> g = 1
>>> def bar(): y = g; g = 10; return y, g
>>> bar()
UnboundLocalError: local variable 'g' referenced before assignment

g est une variable locale, donc la lecture de cette dernière devrait se faire depuis les variables locales, or elle n’y est pas encore présente, donc erreur à l’exécution. Mais on peut ruser (et ainsi démontrer notre compréhension de la situation) :

>>> g = 1
>>> def bar(): y = g; locals()[‘g’] = 10; return y, locals()[‘g’]
>>> bar()
(1, 10)

Dans ce cas, tout se passe bien, car g n’est jamais explicitement assignée dans bar, c’est donc la variable globale qui est utilisée lors des références explicites, ce qui n’empêche pas de modifier le dictionnaire des locales. Dans le même esprit :

>>> g = 1
>>> def bar(): y = g; locals()[‘g’] = 10; return y, g
>>> bar()
(1, 10)

On a bien modifié la variable locale g dynamiquement, mais la lecture de g dans l’instruction return a été précalculée comme se faisant depuis le dictionnaire des globales, c’est donc cette décision, statique, qui prime sur le comportement dynamique. Et pour le plaisir des foules... que donne l’évaluation de ceci ?

>>> g = 1
>>> class bar: y = g
>>> bar() ...


Abonnez-vous maintenant

et profitez de tous les contenus en illimité

Je découvre les offres

Déjà abonné ? Connectez-vous