lambda pair: pair[1]の[1]について

Question

前提・実現したいこと

O'REILLYオーラリージャパン発行　「Pythonチュートリアル 第３版」　P36 4.7.5 lamnda（ラムダ）式
の中で
pair[1]　が、なぜ'one','two','three','four'を取り出すことになるのかわかりません。

以下動作です

pairs = [(1, 'one'), (2, 'two'), (3, 'three'), (4, 'four')]#リスト
pairs.sort(key=lambda pair: pair[1])
pairs

pair[1]というコードがなぜindex1の要素を取り出すのか

上記の動作結果は以下の通りです。

[(4, 'four'), (1, 'one'), (3, 'three'), (2, 'two')]

この結果を見ると
sort(key=lambda pair: pair[1])
で、仮引数に'one','two','three','four'を取り出し、それをsortするためのkeyとしてるのだと思いますが
なぜpair[1]で'one','two','three','four'が取り出せるのかわかりません。
リスト[インデックス]という形だったら(2, 'two')が取り出されてしまうように思うのですが。。。

試したこと

リスト[インデックス]はその番号の要素を取り出すのだと思うので、
試しに
pairs[1]を出力したら
(2, 'two')
となりました。

補足情報

プログラミング経験ゼロの全くの初心者です。
IT用語にも詳しくないですし質問の説明自体がわかりづらいかもしれません。。。
全くの勘違いをしている可能性大ですが、
でも、納得したいので、ぜひどなたかよろしくお願いいたします。

Answer 1

lamnda式と、sortのkyeで指定する関数は、別の問題であることを理解しましょう。

今回の疑問はlamnda式の問題ではなく、sortのkyeで指定する関数に渡される引き数の問題です。

まず、lambda式は関数を返す式です。key=の部分には、関数を書くのでlambda式を書くことができますが、defで定義した関数を書くこともできます。

pairs.sort(key=lambda pair: pair[1])

をlambda式ではなく関数を使って書くと以下のようになります。

def get_right(x):
    return x[1]

pairs.sort(key=get_right)

実行してみると、どちらも同じであることがわかります。

>>> def get_right(x):
...     return x[1]
...
>>> pairs = [(1, 'one'), (2, 'two'), (3, 'three'), (4, 'four')]#リスト
>>> pairs.sort(key=get_right)
>>> print(pairs)
[(4, 'four'), (1, 'one'), (3, 'three'), (2, 'two')]

では、関数get_rightにデバッグ用のprint文を追加してみましょう。

def get_right(x):
    print("x = ", x)
    return x[1]

これを実行してみると以下のようになります。

>>> def get_right(x):
...     print("x = ", x)
...     return x[1]
...
>>> pairs = [(1, 'one'), (2, 'two'), (3, 'three'), (4, 'four')]#リスト
>>> pairs.sort(key=get_right)
x =  (1, 'one')
x =  (2, 'two')
x =  (3, 'three')
x =  (4, 'four')
>>> print(pairs)
[(4, 'four'), (1, 'one'), (3, 'three'), (2, 'two')]

get_rightに渡ってくる引き数はpairsではなく、(1, 'one')や(2, 'two')なのです。
これはlambda式であるかどうかは関係なく、sort関数のkey引き数の仕様です。

こういう場合のkeyの仕様については、

Pythonのsorted()やmax()などで引数keyを指定

をお読みください。

Comments

[mochikko]

ご丁寧にありがとうございます。お返事が遅くなっていて申し訳ありません。
いま一つ一つ紐解いていっている最中でございます。。。！
わかった時点で、もしくはまた質問が出てきましたらコメントいたします。

[ppaul]

厳密な説明ではなく、大雑把に考えるのであれば、以下のようになります。
ソート関数は、まず引数のリストlist_to_sortに対して、keyで与えられた関数funcを使って
keylist = []
for element in :
keylist.appne(func(element))
をやります。
そのあとでkeylistともとのリストlist_to_sortを同時に並べ替え処理をします。
keylistを作る処理はfor文をつくるのと同じなので、funcの引数にはlist_to_sortではなくその要素である各elementが渡ってくるのです。

Answer 2

pairとpairsは別の変数です。よく見ましょう。

pairは、ソートキーを決めるコールバック関数の引数なので、ソート対象の要素つまり、pairs[0]、pairs[1]、pairs[2]、pairs[3]が入ります。
pair[1]というのはつまりpairs[0][1]、pairs[1][1]、pairs[2][1]、pairs[3][1]です。

Comments

[mochikko]

otn様、早速のご回答ありがとうございます。

pairは変数pairsと違ってlambda式の仮引数だということはわかっていたのですが
[ ]の意味として変数＋[ ]の使い方と混同して考えていました。

変数の後につく[ ]と引数のあとにつく[ ]は意味が違うという解釈でよろしいでしょうか。

変数の後につく[ ]はリストの要素を取り出すけれど、
引数のあとにつく[ ]はそれぞれの要素の中での要素番号１を取り出す

こういうことでしょうか？

[otn]

> 変数の後につく[ ]と引数のあとにつく[ ]は意味が違うという解釈でよろしいでしょうか。

引数も変数の一種なので、意味は同じです。
変数の中に入っている物によって、変数[1] の値は違います。
変数の中身が、 [(1, 'one'), (2, 'two'), (3, 'three'), (4, 'four')] だと、[1]は(2, 'two')だし、
変数の中身が、(1, 'one')だと、[1]は 'one' です。

[otn]

回答の内容を、意味がわかるまで読み直しましょう。

[mochikko]

ありがとうございます。何度も読んでみます。