Pythonにおいて次の式が True になる理由を教えてください

Question

Pythonにおいて次の式が True になる理由を教えてください。

1 < 3 < 5 == 5

< と == が同じ優先順位であるなら左から順に処理されて、

1 < 3 < 5 == 5
True == 5
False

となるのではないのでしょうか。

Answer 1

6.10. 比較

比較はいくらでも連鎖することができます。例えば x < y <= z は x < y and y <= z と等価になります。ただしこの場合、前者では y はただ一度だけ評価される点が異なります (どちらの場合でも、 x < y が偽になると z の値はまったく評価されません)。

形式的には、 a, b, c, …, y, z が式で op1, op2, …, opN が比較演算子である場合、 a op1 b op2 c ... y opN z は a op1 b and b op2 c and ... y opN z と等価になります。

とのことなので、1 < 3 < 5 == 5 -> 1 < 3 and 3 < 5 and 5 == 5 -> True and True and True -> Trueになるのだと思います。

a = 1 < 3 < 5 == 5
print(a) # True

a = 1 < 3
b = 3 < 5
c = 5 == 5
d = a and b and c
print(a,b,c,d) # True True True True

Comments

[tter]

can110様もありがとうございます！わかりやすいです！！

Answer 2

disモジュールを使って少し簡単な例を解析してみると良いかと思います。

>>> import dis
>>> dis.dis('1 < 5 == 5')
  1           0 LOAD_CONST               0 (1)
              2 LOAD_CONST               1 (5)
              4 DUP_TOP
              6 ROT_THREE
              8 COMPARE_OP               0 (<)
             10 JUMP_IF_FALSE_OR_POP    18
             12 LOAD_CONST               1 (5)
             14 COMPARE_OP               2 (==)
             16 RETURN_VALUE
        >>   18 ROT_TWO
             20 POP_TOP
             22 RETURN_VALUE

読み方についてはこちらが参考になります。

• Qiita - Pythonで「a < b < c」と書けるのはどういう仕組みなのか調べたかった
• Python 標準ライブラリ » dis — Python バイトコードの逆アセンブラ

1 < 5に対する評価と5 == 5に対する評価は同列に下されていることが分かります。

---

	命令	スタック1	スタック2	スタック3
0	LOAD_CONST	1
2	LOAD_CONST	1	5
4	DUP_TOP	1	5	5
6	ROT_THREE	5	1	5
8	COMPARE_OP	5	True
10	JUMP_IF_FALSE_OR_POP	5
12	LOAD_CONST	5	5
14	COMPARE_OP	True
16	RETURN_VALUE

Comments

[tter]

最高の回答をありがとうございます！！