シーケンスの比較について教えてくだされば幸いです。

Question

以下の二つのことに関して教えていただければ幸いです。

シーケンスの比較についてなのですが。

一つ目、
(1, 2, ('aa', 'ab')) < (1, 2, ('abc', 'a'), 4)
上記はなぜこの結果になるのかがわかりません。
2を比較をしたら、次は'aa'と'abc'の比較をするのでしょうか。
その先にある'ab'と’a'4の比較はしなくていいのでしょうか。

二つ目、
string1, string2, string3 = '', 'Trondheim', 'Hammer Dance'

non_null = string1 or string2 or string3
non_null

'Trondheim'
なぜこのような結果になるかがわかりません。

簡潔な解説をいただければ幸いです。

よろしくお願いします。

Comments

[quickquip]

コードや実行結果などのテキストで、書いたものをそのまま表示したい場合は前後行を ``` で括りましょう。
https://teratail.com/help#about-markdown

色づけが不要な場合は、lang-言語名としてplainが使えます。
```plain
ここに表示したい文字列
```
とします。（質問は後から編集可能です）

Answer 1

(1, 2, ('aa', 'ab')) < (1, 2, ('abc', 'a'), 4)

前から順番に比較し、順序関係が定まり次第終了します。

• 1 と 1 を比較します。順序を決定できないので比較を継続します。
• 2 と 2 を比較します。順序を決定できないので比較を継続します。
• ('aa', 'ab') と ('abc', 'a') を比較します。各要素を見ていきます。

・ 'aa' と 'abc' を比較し、順序が決定されました。

• ('aa', 'ab') < ('abc', 'a') であることが分かったので、全体の大小関係も確定しました。

その先にある'ab'と’a'4の比較はしなくていいのでしょうか。

はい。

紙の辞書を引くイメージを持つと分かり良いかと思います。
『にんげん』と『にんぽう』、3文字目を見た段階で前後関係は確定しますよね。

---

なぜこのような結果になるかがわかりません。

or演算子はfalsyではない最初の要素を返します。
falsyなシーケンスとは、つまり空のシーケンスのことです。空文字列もそれに該当します。

オブジェクトがfalsyか確認するには、boolに突っ込むのが一番手っ取り早いです。

>>> bool('')
False
>>> bool('Trondheim')
True
>>> bool('Hammer Dance')
True

falsyではない要素はtruthyと呼ばれます。

コメントを受けて

実際に '' or 'Trondheim' or 'Hammer Dance' の挙動を追ってみます。
まず、'' or 'Trondheim' が実行されます。前者がfalsy、後者がtruthyなので後者が返されます。

>>> '' or 'Trondheim'
'Trondheim'

依って、'' or 'Trondheim' or 'Hammer Dance' は 'Trondheim' or 'Hammer Dance' と等価です。
'Trondheim' も 'Hammer Dance' もtruthyなので、最初の要素が返されます。

>>> 'Trondheim' or 'Hammer Dance'
'Trondheim'

Comments

[abcjkl]

ご返信ありがとうございます。
一つ目については理解することができました。

二つ目の質問ですが、いただいた解説だけでは理解することが難しいです。
or演算子の意味を考えれば理解ができるということでしょうか。
もう少々、解説をいただけましたら幸いです。

よろしくお願いします。

[LouiS0616]

追記しました。

[abcjkl]

遅くなってしまいごめんなさい。
無事、理解することができました。
ありがとうございます。