if文とorと括弧の組み合わせ

Question

以下リンクにあるように、if文判定でorを使うと（以下の事例1）意図しない動きになることはコードの動きとしても理解きるのですが（if 'fuga':の判定でTrueが返ってくる）、括弧でくくれば大丈夫だろうと思っても、やはり意図した動きになりません。

事例2において、どういうロジックでif文内がFalseになるのか教えていただけないでしょうか？

pythonでifの条件にorを使うときの注意

######事例1########
a = 'fugafuga'
if a == 'hoge' or 'fuga':
    print('coffee')
else:
    print('tea') 
# coffeeと出力される

######事例2########
a = 'fuga'
if a == ('hoge' or 'fuga'):
    print('coffee')
else:
    print('tea') 
# teaと出力される

Comments

[kome_as]

x or y において、x が偽なら y, そうでなければ x　と書かれております
https://docs.python.org/ja/3/library/stdtypes.html#boolean-operations-and-or-not

Answer 1

orはブール演算子であり、英語っぽく「aは"hoge"または"fuga"のどちらかと等しい」という意味で使うことはそもそもできません。根本的な誤解はそこなのだと思います。

実際の挙動は少し込み入っていて、

x or y
x が偽なら y, そうでなければ x

組み込み型 — Python 3.8.2 ドキュメント

という動作になります。Pythonでは基本的に任意のオブジェクトの真理値を判定できるので、上の動作でいいことがわかるはずです。
（つまりxが真なら全体の真理値はxの真理値でよく、xが真でない（偽である）ときはyの真理値で全体の真理値が決まる、というorに相応しい動作になっています。そしてどちらにしても、返すのはboolではなく元のオペランドを評価した結果です）

---

こういうときはinで書くのが通例です。

if a in {"hoge", "fuga"}:

listやtupleとして書く場合もありますが、とりあえず今回はsetとしています。集合とみなすならたぶんこれが妥当でしょう。パフォーマンス面でもsetの帰属判定は多少高速に行えます。

Comments

[MagMag]

ありがとうございました。orの動作がいまいち整理できていなかったので、よくわかりました。また、今回の件の対応方法も含めて勉強になりました。

Answer 2

x = 'hoge' or 'fuga'
print(x) # hoge

つまり
a == ('hoge' or 'fuga')は
a == 'hoge'
と一緒

Comments

[MagMag]

ありがとうございました！

Answer 3

「a == 'hoge' or 'fuga'」の場合、「(a == 'hoge') or 'fuga'」 と同等です。この結果は何が返ってくると期待しているのでしょうか?

同様に「a == ('hoge' or 'fuga')」は「'hoge' or 'fuga'」を評価し、それと「a」を比較していますが、「'hoge' or 'fuga'」の評価の結果、何が返ってくると期待しているのでしょうか? そしてそれと「a」との比較はやりたいことですか?

やりたいのは「(a == 'hoge') or (a == 'fuga')」ではないですか? だったらそう記述してください。

Comments

[MagMag]

失礼しました。

Answer 4

a = 'fuga'
if a == ('hoge' or 'fuga'):
    print('coffee')
else:
    print('tea') 

が

a = 'fuga'
if a == 'hoge':
    print('coffee')
else:
    print('tea') 

と評価されるからです。

「('hoge' or 'fuga')」が「'hoge'」と評価されるのが、ちょっと分かりづらいところだと思います。

「or」は真偽値（True/False）ではなく、左辺値優先で先に True となった値を返します。
つまり、「bool('hoge')」と「bool('fuga')」は共に True ですが、左辺値の優先されるため、「'hoge'」が評価結果となります。

参考：Python の or と and 演算子の罠 - Qiita
https://qiita.com/keisuke-nakata/items/e0598b2c13807f102469

Comments

[MagMag]

ありがとうございました。Qiitaのリンクも大変参考になりました！