Pythonチュートリアルを読んでいて理解できない部分がありました。

Question

def make_incrementor(n):

... return lambda x: x + n
...

f = make_incrementor(42)
f(1)

43
上記の通り実行してなぜ43が出力されるのか分かりません。
xの値がどこから来ているのかが理解できず苦しんでいます。
ご教授お願い致します。

Answer 1

lambda x: x + nというのが、引数xを受け取って:に続く式を評価した結果を返す関数オブジェクトになる式です（lambda式と呼ばれます）。

以下のコードが概ね等価です。lambda式を見慣れていなければ、こちらで考えても良いでしょう。

def make_incrementor(n):
    def f(x):
        """make_incrementorが呼び出されるとき動的に生成される関数オブジェクト
        そのときのnが名前空間に束縛されている（クロージャ）
        """
        return x + n  
    return f

Comments

[hideyashinzato]

ご回答ありがとうございます。
lambda式、クロージャについて深堀してみたら理解することができました。

Answer 2

lambda は無名関数です。通常の関数定義にすると以下のように書いたのと同じ意味です。

def make_incrementor(n):
    def add(x):
        return x + n
    return add

f = make_incrementor(42)
print(f(1))

f には add関数が代入されています。
add関数の引数が x なので、f(1) で add(1) を呼んだことになります。
add関数では x と n を加算しますが、加算する n は最初に呼ばれたときの 42 が記憶されています。
1 + 42 で 43 になります。

このように、内部的に値を閉じ込めて保持しておく関数内関数をクロージャーと言います。

Comments

[hideyashinzato]

ご回答ありがとうございます。
42が記憶されるんですね、、非常にわかりやすい解説ありがとうございました。

[shiracamus]

print(f.__closure__[0].cell_contents)
を表示してみると 42 が表示されます。