globalを用いて取り込んだ変数がmypyでundefined扱いになる

Question

外部で定義された変数をglobalで関数内に取り込み操作します。
下記の例文は実際に動作しますがmypyが通りません。

def uniq_id_generator() -> Callable[[], int]:
    lock = Lock()
    uuid = 0
    def get_uuid() -> int:
        global uuid
        with lock:
            uuid += 1
            return uuid
    return get_uuid


def main():
    get_uuid = uniq_id_generator()
    id1 = get_uuid()
    id2 = get_uuid()

test.py:7: error: Name 'uuid' is not defined
test.py:8: error: Name 'uuid' is not defined

このようなエラーが出ます。構文としては簡単だし短いので# type: ignoreを付け加えてスキップしています。しかし、他に方法はあるのならば知りたいです。

何かわかる方は回答の方をよろしくお願いいたします。

Answer 1

globalは本当のグローバル(外側の関数の定義よりもさらに外)で定義された変数に対して使うものです。
グローバルでuuidが定義されていないからエラーとなっているのではないでしょうか。

今回のケースだと、globalの代わりにnonlocalを使うべきです。

Comments

[namuyan]

globalに関して勘違いしていました。確かにこの場合の用途としては一般的に用いたい変数でもないのでnonlocalが正しそうです。

Answer 2

掲載のコードだけを考慮すると"これは動作しないな"と思いますし、実際動作しません。
つまりmypyの指摘は正しいです。

逆に言うと実際に動作するならば、質問に載っていないところに動作する理由があります。
質問には単体で実行可能なコードを載せてください。

def uniq_id_generator():
    uuid = 0

    def get_uuid():
        global uuid
        uuid += 1
        return uuid

    return get_uuid


def main():
    get_uuid = uniq_id_generator()
    id1 = get_uuid()
    id2 = get_uuid()


main()

実行結果

Traceback (most recent call last):
  File "(略)/aa.py", line 14, in <module>
    main()
  File "(略)/aa.py", line 11, in main
    id1 = get_uuid()
  File "(略)/aa.py", line 5, in get_uuid
    uuid += 1
NameError: name 'uuid' is not defined

---

勝手に想像すると、どこかにglobalで宣言して代入する関数があって、"それを先に呼ばなければならない"という約束事が暗黙的にできてしまっているのではないでしょうか。

これは動く

def getter():
    global g
    return g


def initializer():
    global g
    g = 0


initializer()
print(getter())

これは動かない

def getter():
    global g
    return g


def initializer():
    global g
    g = 0


print(getter())

「関数の呼び出し順によって動かなかったりする」とmypyが指摘してくれている、と考えた方がよいかと。

Comments

[namuyan]

REPLで関数の上書きを何度か繰り返してテストしていましたがそれが間違いの元だったのかもしれませんね。どこかでuuidが代入されていたのかもしれません。もう一度手元で試してみましたが動作しませんでした。