0

Pythonで

'PHP' < 'Perl' < 'Python'

という文がTrueになり

(1, 2, ('bb', 'a')) > (1, 2, ('bcd', 'b'))

がFalseになる理由がよくわかりません。
後者は1,2が同じなのでアルファベットの含まれているタプル同士で比べるというのは想像がつくのですが、
bb<bcd、a<bなのでFalseということでしょうか?
詳しい方、教えていただけますと幸いです。

1

2 件の回答 2

2

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になります。

1
'PHP' < 'Perl' < 'Python'

という式は

'PHP' < 'Perl' and 'Perl' < 'Python'

に置き換えられます。
6. 式 (expression) — Python 3.9.1 ドキュメント
両方 True ですので結果も True となります。

タプルの比較ですが、まず 1, 2 と順番に比較していきますこの時実は内部では同じ値はすっ飛ばしています。そして次がタプルなのでタプルの中に入ります。またタプルを見ていきます。bb > bcdFalse ではじめてでてきた結果ですね。これがそのまま結果となります。後ろのことは関係ありません。このようにタプルの比較では暗黙のうちに同値比較が行われています。そして「比較」ができる部分に達してはじめて比較を始めるのです。

('bcd', 'a') > ('bcd', 'b') # False

となることからも仕組みがわかるでしょう。

この質問に回答するには、ログインする必要があります。

求めていた回答ではありませんか? のタグが付いた他の質問を参照する。