Antwoord op de vraag
Python implementeert lexicale scoping via een mechanisme dat gebruikmaakt van cell objects die als tussenpersonen fungeren tussen geneste functies en hun omringende scopes. Wanneer een geneste functie een variabele uit een buitenste scope aanroept, markeert de compiler deze als een vrije variabele (opgeslagen in co_freevars) en de omringende functie slaat de waarde van die variabele op in een cell object in plaats van een standaard lokaal variabele-slot. Het nonlocal sleutelwoord instrueert de interpreter om de naamlookup op te lossen naar dit bestaande cell object in plaats van een nieuwe lokale binding te creëren, waardoor de binnenste scope in staat is om naar dezelfde geheugenlocatie als de buitenste scope te lezen en te schrijven.
Situatie uit het leven
We moesten een lichte auditlogger implementeren voor een gegevensverwerkingspijplijn die een lopende telling van gesanitiseerde records zou bijhouden over meerdere callback-invocaties zonder de globale namespace te verontreinigen of een volledige klassenhiërarchie te creëren. De uitdaging was ervoor te zorgen dat de status van de teller tussen oproepen naar de interne logfunctie bewaard bleef, terwijl deze encapsulated bleef binnen de fabrieksfunctie die deze creëerde.
Een overweging was om een globale dictionary te gebruiken om tellers op te slaan, gesleuteld op logger ID. Deze aanpak bood eenvoud en stelde externe inspectie van de status mogelijk, maar introduceerde vervuiling van de globale namespace en vereiste complexe vergrendelmechanismen om de threadveiligheid over de hele applicatie te waarborgen. Bovendien doorbrak het de encapsulatie door implementatiedetails aan andere modules bloot te stellen.
Een andere benadering betrof het creëren van een speciale klasse met een instantie-attribuut om de teller vast te houden. Dit bood een goede encapsulatie en vertrouwde objectgeoriënteerde semantiek, maar voegde onnodige boilerplate toe voor wat in wezen een utility met één functie was, en de overhead van instantiecreatie werd als te hoog beoordeeld voor een intensieve loggingoperatie die duizenden keren zou worden geïnstantieerd.
De gekozen oplossing maakte gebruik van een closure met de nonlocal verklaring om de teller te binden aan een cell object in de omringende scope. Deze aanpak hield de functionele encapsulatie schoon zonder klassenoverhead, zorgde ervoor dat de status privé bleef voor de closure en maakte gebruik van Python's geoptimaliseerd celdereferentiemechanisme, dat, hoewel iets langzamer dan lokale variabelen, verwaarloosbaar was in vergelijking met I/O-bewerkingen. Het resultaat was een reductie van 40% in geheugenoordeel ten opzichte van de klassenbenadering en eliminatie van conflicten in de globale toestand.
Wat kandidaten vaak missen
Waarom creëert toewijzing aan een variabele uit een buitenste scope een nieuwe lokale variabele in plaats van de buitenste te wijzigen zonder het nonlocal sleutelwoord?
In Python is toewijzing een statement dat standaard een naam aan een waarde bindt binnen de huidige lokale scope. Wanneer de compiler een toewijzing binnen een geneste functie tegenkomt, bepaalt deze dat de variabele lokaal is voor die functie, tenzij anders verklaard. Zonder nonlocal creëert de binnenste functie een nieuwe invoer in zijn eigen f_locals dictionary, en daarmee volledig de buitenste variabele overschaduwt. De nonlocal verklaring dwingt de compiler om de variabele te behandelen als een verwijzing naar het cell object dat in de omringende scope is gemaakt, waardoor toegang tot gedeelde geheugenlocaties mogelijk is voor zowel lezen als schrijven.
Wat is het fundamentele verschil tussen nonlocal en global met betrekking tot scope-resolutie?
Hoewel beide sleutelwoorden de scope wijzigen waarin een toewijzing werkt, beperkt global de naamresolutie tot de mondiale namespace op module-niveau, waarbij alle tussenliggende omringende functiedefinities worden omzeild. In tegenstelling hiermee slaat nonlocal specifiek de huidige lokale scope over en zoekt door de definities van de omringende functies (maar niet de module-variabelen) om het dichtstbijzijnde cell object te vinden dat aan de naam is gekoppeld. Dit betekent dat nonlocal niet kan worden gebruikt om module-niveau variabelen te wijzigen, en dat global geen variabelen binnen geneste functies kan zien, tenzij deze ook expliciet als globaal in die buitenste functies zijn verklaard.
Hoe delen meerdere geneste functies dezelfde status via cell objects, en wanneer worden deze cellen daadwerkelijk toegewezen?
Wanneer een buitenste functie meerdere innerlijke functies definieert die naar dezelfde variabele uit de buitenste scope verwijzen, creëert de Python compiler een enkel cell object voor die variabele in het frame van de buitenste functie. Alle innerlijke functies ontvangen een verwijzing naar ditzelfde cell object in hun __closure__ tuple. Deze cellen worden tijdens runtime toegewezen wanneer de buitenste functie wordt uitgevoerd (niet wanneer de code wordt gecompileerd), en ze blijven bestaan zolang er een innerlijke functie (of verwijzing daarnaar) bestaat. Dit gedeelde cell object is wat de verschillende innerlijke functies in staat stelt om elkaars wijzigingen aan de ingesloten variabele te observeren, wat een gedeeld toestaansmechanisme creëert vergelijkbaar met instantievariabelen, maar zonder klassen.