可変スコープの混乱（外側スコープのシャドーイング変数）

Question

私はC、C＃、Javaでプログラミングしました。今私はしばらくの間Pythonを使用していますが、今は私にとっては非常に混乱している可変スコープの理解にいくつかの問題が発生しました。例：

def f1(): 
    print(spam) # spam magically come from outer scope. ok... 


def f2(): 
    spam = "bbb" # assignment shadows variable from outer scope (logical result of f1) 
    print(spam) # printing local spam variable 


def f3(): 
    print(spam) # ERROR: unresolved reference 'spam' 
    spam = "ccc" # in f1 function everything was fine but adding assignment AFTER 
        # printing (in opposite to f2 function) causes error in line above 


def f4(): 
    print(spam) # nothing wrong here, assignment line below is commented 
    # spam = "ccc" 

spam = "aaa" 

機能が有効範囲外の変数に到達するのはなぜですか？ なぜ、外側のスコープからのシャドーイング変数は、以前はそれを使用していなかった場合にのみOKですか？

Answer 1

実行前にPythonコードをバイトコードにコンパイルします。つまり、Pythonは関数がどのように変数を使用するかを分析できます。変数はグローバルまたはローカルのいずれかの関数ですが、変更することはできません。

spamは決して割り当てられていないので、f1にはグローバルです。 spamは割り当てられているため、f2にローカルです。同じことがf3になります。 spamはspam='ccc'のためにf3にローカルです。 print(spam)ステートメントを使用すると、割り当て前にローカル変数にアクセスしようとします。

関数内でglobal spamを使用すると、変数名をグローバルとして強制的に宣言できます。

ローカルはローカルのままです。でも、ローカル名前空間に変数を削除した後のPython親スコープ内の名前を検索しません：

spam = 123 

def f(): 
    spam = 42 
    print(spam) # 42 
    del spam 
    print(spam) # UnboundLocalError 

f() 

をあなたがそれを宣言する必要があり、グローバル変数割り当てたい場合は：あなたは

spam = 123 

def f(): 
    global spam 
    spam = 42 
    print(spam) # 42 

f() 
print(spam) # 42