Pythonで
'PHP' < 'Perl' < 'Python'
という文がTrueになり
(1, 2, ('bb', 'a')) > (1, 2, ('bcd', 'b'))
がFalseになる理由がよくわかりません。
後者は1,2が同じなのでアルファベットの含まれているタプル同士で比べるというのは想像がつくのですが、
bb<bcd、a<bなのでFalseということでしょうか?
詳しい方、教えていただけますと幸いです。
bb<bcd、a<bなのでFalseということでしょうか?
bb<bcd
であるため、Falseになります。a<b
は無関係のようです。
順を追って確認してみます。
>>> (1, 2, ('bb', 'a')) > (1, 2, ('bcd', 'b'))
False
は
>>> ('bb', 'a') > ('bcd', 'b')
False
に起因するようです。試しに'a'と'b'を入れ替えてみると
>>> ('bb', 'b') > ('bcd', 'a')
False
こちらもFalseになります。
このことから、式の評価がFalseになるのはbb<bcd
であるためと思われます。
https://docs.python.org/ja/3/reference/expressions.html#comparisons
によると
順序比較をサポートしているコレクションの順序は、最初の等価でない要素の順序と同じになります
https://docs.python.org/ja/3/library/stdtypes.html
によると
同じ型のシーケンスは比較もサポートしています。特に、タプルとリストは対応する要素を比較することで辞書式順序で比較されます。
以上から(1, 2, ('bb', 'a')) > (1, 2, ('bcd', 'b'))
を比較すると
最初の等価でない'bb'と'bcd'を辞書順で比較した結果がFalseとなるため、式全体がFlseになります。
'PHP' < 'Perl' < 'Python'
という式は
'PHP' < 'Perl' and 'Perl' < 'Python'
に置き換えられます。
6. 式 (expression) — Python 3.9.1 ドキュメント
両方 True
ですので結果も True
となります。
タプルの比較ですが、まず 1
, 2
と順番に比較していきますこの時実は内部では同じ値はすっ飛ばしています。そして次がタプルなのでタプルの中に入ります。またタプルを見ていきます。bb
> bcd
は False
ではじめてでてきた結果ですね。これがそのまま結果となります。後ろのことは関係ありません。このようにタプルの比較では暗黙のうちに同値比較が行われています。そして「比較」ができる部分に達してはじめて比較を始めるのです。
('bcd', 'a') > ('bcd', 'b') # False
となることからも仕組みがわかるでしょう。