pythonにおける比較

Question

(-1, -10, -3, -4) > (-1, -2, -5)

の結果がFalseになる理由。

そして

1 > -1 == (1-2)

の結果がTrueになる理由を詳しく説明してください。

Comments

[maisumakun]

どのようなことを考え、どこに納得がいっていないのでしょうか？

[Hashibirokou]

先に２番目のものについて：左から順に比較していくため、まず「1>-1」がTrueにより1が返される。そして(1-2)の結果として-1が返され、最終的には「1 == -1」の比較となりFalseのはずなのにTrueとなるのはなぜ？
１番目のものについて：(-1, -10, -3, -4)の方が(-1, -2, -5)より要素数が多く、TrueになるはずなのになぜFalse？

Answer 1

a = (-1, -10, -3, -4)
b = (-1, -2, -5)

# このとき
a > b
# は、以下のような動きをする
def func(a, b):
    length = min(len(a), len(b))
    for i in range(length):
        if a[i] == b[i]:
            continue
        else:
            return a[i] > b[i]
    return len(a) > len(b)

つまり、先頭はどちらも-1で同じなので次に移動し、二番目同士を比較した-10 > -2の答えであるFalseが返されます。

公式ドキュメントの『値の比較』より引用：

● 比較の結果が等価となる2つのコレクションは、同じ型、同じ長さ、対応する要素どうしの比較の結果が等価でなければなりません (例えば、 [1,2] == (1,2) は型が同じでないので偽です)。

● 順序比較をサポートしているコレクションの順序は、最初の等価でない要素の順序と同じになります (例えば、 [1,2,x] <= [1,2,y] は x <= y と同じ値になります)。 対応する要素が存在しない場合、短い方のコレクションの方が先の順序となります (例えば、 [1,2] < [1,2,3] は真です)。

---

a, b, c = 1, -1, (1-2)

# このとき
a > b == c
# は、以下と同じ結果になる
all((a > b, b == c))

Comments

[Hashibirokou]

「-1 < -1」がFalseだと思ってました。同じ値なら「-1 == -1」の評価なんですね。

Answer 2

修正: ひとつめのタプルの比較では、先頭の要素から順に比較していくので、2番目の要素の比較-10 > -2が成立しない時点でFalseを返す。

ふたつめの比較は、1 > -1 and -1 == (1 - 2)として扱われるので、Trueを返す。

Comments

[Hashibirokou]

タプルの比較は要素の個数ではなく、各要素を先頭からそれぞれ比較していくということはわかりました。
では、リストの場合はどうなのでしょうか？リストも各要素を順に比較するのでしょうか？

[kirara0048]

> 先頭の要素の比較-1 > -1が成立しない時点でFalseを返す。
これは違います。
右辺の二番目を-2から-11に変えて、`(-1, -10, -3, -4) > (-1, -11, -5)`を行ってみてください。Trueになるはずです。

[Daregada]

Pythonは公式リファレンスが充実している(日本語版もある)ので、そういう疑問を持ったときは公式リファレンスを見ましょう。

たとえば、以下は等値比較に関する説明です。

> 同じ型のシーケンスは比較もサポートしています。特に、タプルとリストは対応する要素を比較することで辞書式順序で比較されます。つまり、等しいとされるためには、すべての要素が等しく、両シーケンスの型も長さも等しくなければなりません。(完全な詳細は言語リファレンスの 比較 を参照してください。)

https://docs.python.org/ja/3/library/stdtypes.html#sequence-types-list-tuple-range

[Hashibirokou]

あるPythonの本に次のようなことが書いてあったので混乱してます。

「両辺のシーケンスが全て同一であれば、両シーケンスは同じものと判定され、要素数が多い方のオブジェクトが大きいと判断される。
[1, 2] < [1, 2, -1]はTrue。両辺のシーケンスの要素は2つ目までは同じ値だが、3つ目の要素を比較するとき右辺の方が長いため、左辺<右辺が成立してTrueが返される」と。

[Daregada]

> 先頭の要素の比較-1 > -1が成立しない時点でFalseを返す。
これは違います。

お、本当だ。
修正します。

[maisumakun]

> 両辺のシーケンスの要素は2つ目までは同じ値だが

同じ値でない要素があればそちらが優先です。