Risposta alla domanda
Python implementa l'ambito lessicale tramite un meccanismo che coinvolge oggetti cella che fungono da intermediari tra le funzioni annidate e i loro ambiti superiori. Quando una funzione annidata fa riferimento a una variabile di un ambito esterno, il compilatore la segna come variabile libera (memorizzata in co_freevars) e la funzione esterna memorizza il valore di quella variabile all'interno di un oggetto cella anziché in uno slot di variabile locale standard. La parola chiave nonlocal istruisce l'interprete a risolvere la ricerca del nome a questo esistente oggetto cella piuttosto che creare un nuovo binding locale, consentendo così all'ambito interno di leggere e scrivere nella stessa posizione di memoria dell'ambito esterno.
Situazione dalla vita reale
Avevamo bisogno di implementare un logger di audit leggero per una pipeline di elaborazione dati che mantenesse un conteggio in tempo reale dei record sanitizzati attraverso più invocazioni di callback senza inquinare lo spazio dei nomi globale o creare un'intera gerarchia di classi. La sfida era garantire che lo stato del contatore persistesse tra le chiamate alla funzione di logging interna mantenendo la sua incapsulazione all'interno della funzione fabbrica che la creava.
Una soluzione considerata era utilizzare un dizionario globale per memorizzare i contatori indicizzati per ID logger. Questo approccio offriva semplicità e consentiva un'ispezione esterna dello stato, ma introduceva inquinamento nello spazio dei nomi globale e richiedeva meccanismi di locking complessi per garantire la sicurezza dei thread in tutta l'applicazione. Inoltre, rompeva l'incapsulazione esponendo i dettagli di implementazione ad altri moduli.
Un altro approccio prevedeva la creazione di una classe dedicata con un'attributo di istanza per contenere il contatore. Questo forniva una corretta incapsulazione e semantiche orientate agli oggetti familiari, ma aggiungeva boilerplate non necessario per quello che era sostanzialmente un'utilità a funzione singola, e il sovraccarico della creazione di istanze era ritenuto eccessivo per un'operazione di logging ad alta frequenza che sarebbe stata istanziata migliaia di volte.
La soluzione scelta ha utilizzato una chiusura con la dichiarazione nonlocal per legare il contatore a un oggetto cella nell'ambito superiore. Questo approccio ha mantenuto una pulita incapsulazione funzionale senza il sovraccarico delle classi, ha garantito che lo stato rimanesse privato alla chiusura e ha sfruttato il meccanismo ottimizzato di dereferenziazione delle celle di Python, che, sebbene fosse leggermente più lento delle variabili locali, era trascurabile rispetto alle operazioni di I/O. Il risultato è stato una riduzione del 40% del sovraccarico di memoria rispetto all'approccio basato su classi e l'eliminazione dei conflitti di stato globale.
Cosa spesso mancano ai candidati
Perché l'assegnazione a una variabile di un ambito esterno crea una nuova variabile locale invece di modificare quella esterna senza la parola chiave nonlocal?
In Python, l'assegnazione è un'istruzione che lega un nome a un valore all'interno dell'ambito locale corrente per impostazione predefinita. Quando il compilatore incontra un'assegnazione all'interno di una funzione annidata, determina che la variabile è locale a quella funzione a meno che non venga dichiarata diversamente. Senza nonlocal, la funzione interna crea una nuova voce nel proprio dizionario f_locals, oscurando completamente la variabile esterna. La dichiarazione nonlocal costringe il compilatore a trattare la variabile come un riferimento all'oggetto cella creato nell'ambito esterno, consentendo l'accesso in lettura e scrittura alla posizione di memoria condivisa.
Qual è la differenza fondamentale tra nonlocal e global riguardo la risoluzione dell'ambito?
Sebbene entrambe le parole chiave modificano l'ambito in cui un'assegnazione opera, global limita la risoluzione dei nomi allo spazio dei nomi globale a livello di modulo, bypassando eventuali ambiti di funzioni superiori. Al contrario, nonlocal salta specificamente l'attuale ambito locale e cerca attraverso le definizioni delle funzioni superiori (ma non le variabili globali del modulo) per trovare il più vicino oggetto cella associato al nome. Ciò significa che nonlocal non può essere utilizzato per modificare variabili a livello di modulo, e global non può vedere variabili all'interno di funzioni annidate a meno che non siano esplicitamente dichiarate globali anche in quelle funzioni esterne.
Come condividono lo stesso stato più funzioni annidate tramite oggetti cella, e quando vengono effettivamente allocati questi oggetti?
Quando una funzione esterna definisce più funzioni interne che fanno riferimento alla stessa variabile dell'ambito esterno, il compilatore Python crea un unico oggetto cella per quella variabile nel frame della funzione esterna. Tutte le funzioni interne ricevono un riferimento a questo stesso oggetto cella nel loro tuple __closure__. Queste celle vengono allocate a runtime quando la funzione esterna viene eseguita (non quando il codice viene compilato), e persistono finché esiste una qualsiasi funzione interna (o un riferimento ad esse). Questo oggetto cella condiviso è ciò che consente alle diverse funzioni interne di osservare le modifiche reciproche alla variabile incapsulata, creando un meccanismo di stato condiviso simile alle variabili di istanza ma senza classi.