Scoping nei loop 'for' di Python

Non sto chiedendo delle regole di scoping di Python; Comprendo in generale come funziona l'ambito in Python per i loop. La mia domanda è: perché le decisioni di progettazione sono state prese in questo modo. Ad esempio (nessun gioco di parole previsto):

for foo in xrange(10):
    bar = 2
print(foo, bar)

Quanto sopra verrà stampato (9,2).

Questo mi sembra strano: 'foo' sta davvero controllando il loop e 'bar' è stato definito all'interno del loop. Posso capire perché potrebbe essere necessario che "bar" sia accessibile al di fuori del loop (altrimenti, i loop avrebbero funzionalità molto limitate). Quello che non capisco è perché è necessario che la variabile di controllo rimanga nell'ambito dopo la chiusura del ciclo. Nella mia esperienza, ingombra semplicemente lo spazio dei nomi globale e rende più difficile rintracciare gli errori che verrebbero rilevati dagli interpreti in altre lingue.

La risposta più probabile è che mantiene semplice la grammatica, non è stato un ostacolo per l'adozione e molti sono stati contenti di non dover chiarire l'ambito a cui appartiene un nome quando lo si assegna all'interno di un costrutto loop. Le variabili non sono dichiarate in un ambito, è implicito dalla posizione delle istruzioni di assegnazione. La globalparola chiave esiste proprio per questo motivo (per indicare che l'assegnazione viene eseguita in un ambito globale).

Aggiornare

Ecco una buona discussione sull'argomento: http://mail.python.org/pipermail/python-ideas/2008-October/002109.html

Le precedenti proposte per rendere le variabili for-loop locali al loop si sono imbattute nel problema del codice esistente che si basa sulla variabile loop che mantiene il suo valore dopo essere usciti dal loop e sembra che questa sia considerata una caratteristica desiderabile.

In breve, probabilmente puoi dare la colpa alla comunità Python: P

Python non ha blocchi, così come altri linguaggi (come C / C ++ o Java). Pertanto, l'unità di scoping in Python è una funzione.

Un caso davvero utile per questo è quando si utilizza enumeratee si desidera il conteggio totale alla fine:

for count, x in enumerate(someiterator, start=1):
    dosomething(count, x)
print "I did something {0} times".format(count)

È necessario? No. Ma è sicuramente conveniente.

Un'altra cosa da tenere presente: in Python 2, trapelano anche le variabili nella comprensione dell'elenco:

>>> [x**2 for x in range(10)]
[0, 1, 4, 9, 16, 25, 36, 49, 64, 81]
>>> x
9

Ma lo stesso non si applica a Python 3.

Se hai un'istruzione break nel ciclo (e vuoi usare il valore di iterazione in un secondo momento, forse per recuperare, indicizzare qualcosa o dare uno stato), ti salva una riga di codice e un'assegnazione, quindi c'è una comodità.

Una delle principali influenze di Python è ABC , un linguaggio sviluppato nei Paesi Bassi per insegnare concetti di programmazione ai principianti. Il creatore di Python, Guido van Rossum, ha lavorato alla ABC per diversi anni negli anni '80. Non so quasi nulla dell'ABC, ma poiché è destinato ai principianti, suppongo che debba avere un numero limitato di ambiti, proprio come i primi BASIC.

Per cominciare, se le variabili fossero locali per i loop, quei loop sarebbero inutili per la maggior parte della programmazione del mondo reale.

Nella situazione attuale:

# Sum the values 0..9
total = 0
for foo in xrange(10):
    total = total + foo
print total

rese 45. Ora, considera come funziona l'assegnazione in Python. Se le variabili del ciclo fossero strettamente locali:

# Sum the values 0..9?
total = 0
for foo in xrange(10):
    # Create a new integer object with value "total + foo" and bind it to a new
    # loop-local variable named "total".
    total = total + foo
print total

produce 0, perché totalall'interno del ciclo dopo l'assegnazione non è la stessa variabile totalesterna al ciclo. Questo non sarebbe un comportamento ottimale o previsto.