Pythonのdefについて

前提・実現したいこと

ここに質問の内容を詳しく書いてください。
Pythonのdefについて質問があります。

発生している問題・エラーメッセージ

以下のコードを実行すると
A: init　B: nonlocal　C: nonlocal　D: global
となるのですが、何故A: local　B: nonlocal　C: global　D: globalとならないのかわかりません。
お手数ですがどなたか教えていただけると助かります。

該当のソースコード

def scope():
    loc = "init"
    def do_local():
        loc = "local"
    def do_nonlocal():
        nonlocal loc
        loc = "nonlocal"
    def do_global():
        global loc
        loc = "global"

    do_local()
    print("A:", loc)
    do_nonlocal()
    print("B:", loc)
    do_global()
    print("C:", loc)

scope()
print("D:", loc)

試したこと

補足情報（FW/ツールのバージョンなど）

ここにより詳細な情報を記載してください。

行動規範の内容に同意します

回答3件

Python
1def scope():
2    loc = "init"          # scope's loc bind "init"
3    def do_local():
4        loc = "local"     # do_local's loc bind "local"
5    def do_nonlocal():
6        nonlocal loc      # loc is scope's loc
7        loc = "nonlocal"  # scope's loc bind "nonlocal"
8    def do_global():
9        global loc        # loc is global's loc
10        loc = "global"    # global's loc bind "global"
11
12    do_local()            # do_local's loc bind "local"
13    print("A:", loc)      # scope's loc binding "init"
14    do_nonlocal()         # scope's loc bind "nonlocal"
15    print("B:", loc)      # scope's loc binding "nonlocal"
16    do_global()           # global's loc bind "global"
17    print("C:", loc)      # scope's loc binding "nonlocal"
18
19scope()
20print("D:", loc)          # global's loc binding "global"
21

補足事項として今回のコードのようにローカルなスコープ内でも global 宣言して global 変数を定義可能です。
（Python では変数への代入が変数の定義です）
~~気を付けることとして、変数を参照するだけの場合は外側のスコープの変数になる点があります。~~
気を付けることとして、関数内のスコープで global, nonlocal の宣言がなく、変数とオブジェクトの束縛関係を更新しない場合は外側のスコープの変数になる点があります。

Python
1loc = "foo"
2def scope():
3    print("E:", loc)      # loc is global's loc
4    def do_local():
5        print("F:", loc)  # loc is global's loc
6    do_local()
7
8scope()
9# E: foo
10# F: foo

Python
1lst = [0, 1, 2]
2def scope():
3    print("G:", lst)      # lst is global's loc
4    def do_local():
5        lst[1] = 4        # lst is global's loc   lst 変数の束縛関係は更新されない
6        print("H:", lst)  # lst is global's loc
7    do_local()
8    lst[0] = 3            # lst is global's loc   lst 変数の束縛関係は更新されない
9    print("I:", lst)      # lst is global's loc
10
11scope()
12# G: [0, 1, 2]
13# H: [0, 4, 2]
14# I: [3, 4, 2]

投稿2020/10/31 01:16

編集2020/10/31 01:52

lehshell

総合スコア1147

python
1loc=""            #１
2def scope():
3    loc = "init"  #２
4    def do_local():
5        loc = "local"  #３
6    def do_nonlocal():
7        nonlocal loc   #<<２
8        loc = "nonlocal"
9    def do_global():
10        global loc
11        loc = "global"  #<<１
12
13    do_local()
14    print("A:", loc)  #<<２
15    do_nonlocal()
16    print("B:", loc)  #<<２
17    do_global()
18    print("C:", loc)  #<<２
19
20scope()
21print("D:", loc)  #<<１

３つのlocが存在してるわけで、こう書いとけば理解できるんじゃないかと

投稿2020/10/30 23:30

y_waiwai

総合スコア87784

ベストアンサー

AとCだけ疑問とのことですので、その点を回答します。

Aは、loc = "init"のスコープはdef scope()で、loc = "local"のスコープはdef do_local()なので、print("A:", loc)のスコープであるinitになります。
Cは、loc = "global"のスコープはdef scope()の外側であるglobalなので、print("C:", loc)のスコープが優先されて、def scope()のスコープでのlocの最新値であるnonlocalになります。

3つのスコープのlocが登場しますので、それを明確に区別したソースにしてみました。これで、どの時点でどの変数を参照や更新しているか、わかるかと思います。

Python
1def scope():
2    loc_scope = "init"
3    def do_local():
4        loc_do_local = "local"
5    def do_nonlocal():
6        nonlocal loc_scope    # do_nonlocal()の外のスコープ（すなわちscope()）の変数を参照
7        loc_scope = "nonlocal"
8    def do_global():
9        global loc_global     # globalスコープの変数を参照
10        loc_global = "global"
11
12    do_local()
13    print("A:", loc_scope)
14    do_nonlocal()
15    print("B:", loc_scope)
16    do_global()
17    print("C:", loc_scope)
18
19scope()
20print("D:", loc_global)