Pythonのラムダバインディングとは？仕組みとデフォルト引数の使い方を解説

ラムダバインディングとは

プログラムや関数のステートメントが実行されると、仮引数（formal parameters）の現在の値はスタック上に保存されます。そして、そのステートメントのスコープ内では、仮引数は呼び出し時に渡された実引数（actual arguments）の値へと束縛（バインド）されます。ステートメントを抜ける際には、保存しておいた元の値が復元されます。

このプロトコルは完全に再帰的です。つまり、関数本体の中で仮引数が新しい値に再束縛されるような処理が行われても、ラムダバインディングの仕組みによって、すべてが秩序正しく処理されることが保証されています。

変数xへの束縛は1つだけ

ここで重要なポイントがあります。変数xに対する束縛は1つしか存在しないということです。「x = 5」という代入は、新しく束縛を作るのではなく、既存の束縛に格納された値を書き換えるだけです。

この挙動こそが、ラムダ式のパラメータに値を直接割り当てるためにデフォルト引数が使われる理由です。デフォルト引数を使えば、関数定義時点でのxの値がラムダ式の中に固定されます。

コード例

def function(x):
    a = lambda x=x: x  # 定義時点のx(=2)をデフォルト引数として固定
    x = 5
    b = lambda: x      # 外側の変数xを参照（遅延評価）
    return a, b

aa, bb = function(2)
print(aa())  # 2
print(bb())  # 5

実行結果

2
5

結果の解説

この例では、同じ変数xを扱う2つのラムダ式が異なる結果を返します。それぞれの違いを見てみましょう。

• a = lambda x=x: x：「x=x」の記述により、functionが呼び出された時点のxの値（ここでは2）がデフォルト引数としてコピーされます。そのため、後からxが5に変更されても、a()は2を返します。
• b = lambda: x：こちらはデフォルト引数を持たず、外側のスコープにある変数xを参照します。呼び出しの時点でxはすでに5に変更されているため、b()は5を返します。

Pythonのラムダ関数とは

Pythonでは「ラムダ関数」という機能を使って、名前を持たない匿名関数（無名関数）を作成できます。ラムダ関数は通常1行程度の小さな関数であり、式の評価結果が引数を適用した際の戻り値となります。

基本的な構文は以下の通りです。

lambda 引数: 式

例えば、2つの数値を加算するラムダ関数は次のように書けます。

add = lambda a, b: a + b
print(add(3, 4))  # 7

ラムダバインディングの仕組みとデフォルト引数による値の固定テクニックを理解しておくと、クロージャやループ内でのラムダ定義など、少し複雑な場面でも意図した通りの動作を実現できるようになります。