summaryrefslogtreecommitdiffhomepage
path: root/vhosts/blog/content/posts/2021-10-02/python-unbound-local-error.dj
blob: 88d0315192401a6c51b62ebdefe9172119515483 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
---
[article]
uuid = "e1aff84c-d6d4-4dea-bc45-9c41e6445006"
title = "【Python】 クロージャとUnboundLocalError: local variable 'x' referenced before assignment"
description = "Python における UnboundLocalError の理由と対処法。"
tags = [
  "python",
  "python3",
]

[[article.revisions]]
date = "2021-10-02"
remark = "Qiita から移植"
---
::: note
この記事は Qiita から移植してきたものです。
元 URL: https://qiita.com/nsfisis/items/5d733703afcb35bbf399
:::

本記事は Python 3.7.6 の動作結果を元にして書かれている。

Python でクロージャを作ろうと、次のようなコードを書いた。

```python
def f():
    x = 0
    def g():
        x += 1
    g()

f()
```

関数 `g` から 関数 `f` のスコープ内で定義された変数 `x` を参照し、それに
1 を足そうとしている。 これを実行すると `x += 1`
の箇所でエラーが発生する。

> UnboundLocalError: local variable \`x' referenced before assignment

local変数 `x` が代入前に参照された、とある。これは、`f` の `x`
を参照するのではなく、新しく別の変数を `g` 内に作ってしまっているため。
前述のコードを宣言と代入を便宜上分けて書き直すと次のようになる。`var`
を変数宣言のための構文として擬似的に利用している。

```python
# 注: var は正しい Python の文法ではない。上記参照のこと
def f():
  var x           #  f の local変数 'x' を宣言
  x = 0           #  x に 0 を代入
  def g():        #  f の内部関数 g を定義
      var x       #  g の local変数 'x' を宣言
      #  たまたま f にも同じ名前の変数があるが、それとは別の変数
      x += 1      #  x に 1 を加算 (x = x + 1 の糖衣構文)
      #  加算する前の値を参照しようとするが、まだ代入されていないためエラー
  g()
```

当初の意図を表現するには、次のように書けばよい。

```python
def f():
    x = 0
    def g():
        nonlocal x   ## (*)
        x += 1
    g()
```

`(*)` のように、`nonlocal` を追加する。これにより一つ外側のスコープ (`g`
の一つ外側 = `f`) で定義されている `x` を探しに行くようになる。