Vysvětlení
Pokud ve funkci použiji proměnnou a nesnažím
se do ní přiřazovat, jde o takzvanou volnou proměnnou
(free variable). Volnou se nazývá proto, protože
v bloku kódu neexistuje pevná vazba mezi jménem
x
a konkrétním místem, kde je hodnota uložena.
V okamžiku odkazu se teprve poloha "ve vyšších patrech"
bude zjišťovat.
Pokud do proměnné něco přiřadím, stává se lokální proměnnou v daném bloku kódu. Vytváří se pevná vazba z mého lokálního prostoru. Už nemůžeme hovořit o volné proměnné (tj. o proměnné definované někde ve vyšších patrech). Pevná vazba na lokální prostor se vytváří i tehdy, když se do této proměnné přiřazuje až později (ve stejném bloku), než když se z ní čte. Příklad:
# soubor a.py x = 10 def funkce1(): print x def funkce2(): return x print x # (1) funkce1() # (2) print funkce2() # (3)
Příkaz "print x" na řádku (1) vytiskne podle očekávání hodnotu 10. Jde o proměnnou definovanou na stejné úrovni.
Na řádku (2) voláme funkce1() a ta se v příkazu "print x" tiskne proměnou, která je definována na "vyšší úrovni". Jde ale o volnou proměnnou, která se postupně hledá v nadřízených lokálních prostorech (zde žádné nemáme) a nakonec v prostoru globálním.
Na řádku (3) tiskneme výsledek, který získáváme voláním funkce2(). V jejím těle se pouze vrací hodnota volné proměnné x. Jde o podobný případ, jako u funkce1(). Hodnota proměnné x se pouze zpracuje jiným způsobem.
Zkuste ale tohle:
# soubor c.py x = 10 def funkce3(): x = x + 1 print x funkce3()
Při pokusu o spuštění se ukáže toto...:
C:\tmp>python c.py Traceback (most recent call last): File "c.py", line 7, in ? funkce3() File "c.py", line 4, in funkce3 x = x + 1 UnboundLocalError: local variable 'x' referenced before assignment
Jak už bylo uvedeno výše, přiřazení "x = x + 1"
způsobí, že funkce3 už o proměnné x chce uvažovat
jako o lokální proměnné. Jenže tato lokální proměnná
je použita na pravé straně přiřazení a zatím jí
nebyla přiřazena žádná hodnota, tj. "proveden
odkaz na lokální proměnnou x
, které dosud nebylo
nic přiřazeno". Ona vlastně proměnná x zatím
neexistuje a chceme ji vytvořit a přiřadit
jí její neexistující hodnotu zvětšenou o jedničku.
Ve stejném bloku kódu označuje jedno jméno jen jednu proměnnou. Python nedovolí, abychom se na tuto proměnnou dívali chvíli jako na volnou proměnnou (vytvořenou ve vyšších patrech) a o něco později jako na lokální proměnnou. Z tohoto důvodu selže i následující příklad:
# soubor d.py x = 10 def funkce4(): print x x = x + 1 funkce4()
Po spuštění dostáváme:
C:\tmp\a>python d.py Traceback (most recent call last): File "d.py", line 7, in ? funkce4() File "d.py", line 4, in funkce4 print x UnboundLocalError: local variable 'x' referenced before assignment
Tentokrát selže už příkaz "print x", který ve funkce1() normálně fungoval. Tehdy jsme se ale na x dívali jako na volnou proměnnou (definovanou jinde). Jenže příkaz "x = x + 1" ve funkce4() způsobí, že x nemůže být volnou proměnnou. V okamžiku definice funkce4() už se rozhodne o tom, že x bude lokální proměnná a nikdy jinak. Za těchto okolností se na příkaz "print x" pohlíží jako na pokus zobrazit obsah dosud neexistující proměnné.
Pokud by Python nebyl tak přísný a měnil by charakter proměnné z volné na lokální až podle potřeby, mohlo by to fungovat, ale pro člověka by se zdrojový text stával nepřehledným a v komplikovanějších případech by to mohlo vést k těžko odhalitelným chybám. Už jen v případě "x = x + 1" bychom vlastně nemohli říci, co ten příkaz dělá, protože bychom neměli jistotu, že se na obou stranách přiřazení pracuje se stejnou proměnnou x.
Možná řešení
Jako mustr si vemme:
# soubor c.py x = 10 def funkce3(): x = x + 1 print x funkce3()
Důsledná lokalizace
To je asi nejméně častý případ. Proměnná x má být ve funkci lokální a po opuštění funkce zaniká (tam venku ji nepotřebujeme). V tomto případě je to obzvláště nesmyslné, ale někdy to tak může být myšleno:
def funkce3(): x=10 x = x + 1 print x
Oškivá globalizace
Globalizováním proměnné x ve funkci ji spojíme s proměnnou x definovanou v hlavní části programu. Je to ale nečisté a nedoporučované řešení:
def funkce3(): global x x = x + 1 print x
Předáváním a vracením proměnné
Proměnnou pokaždé do funkce předáme a na konci ji zase vrátíme:
x = 10 def funkce3(x): x = x + 1 print x return x x = funkce3(x)
Použitím měnitelných typů
Seznamy, třídy a další se mohou v těchto případěch uplatnit jako nosiče proměnných, které se dají měnit všude:
x = [10] def funkce3(): x[0] = x[0] + 1 print x[0] funkce3()