python ブール演算子 "or"

Question

ブール演算子orに関する質問ですが、

name1,name2,name3,name4= '', 'suzuki','tanaka','sato'
selected_name = name1 or name2 or name3 or name4
print(selected_name)

>> suzuki

の出力結果が、''、'tanaka'、'sato'ではなく、'suzuki'になるのはなぜでしょうか。

Answer 1

これは「ブール演算子の短絡評価」と呼ばれる動作と、「最後に評価された値を返す」という動作の組み合わせによるものです。

https://docs.python.org/ja/3/tutorial/datastructures.html#more-on-conditions

ブール演算子 and と or は、いわゆる 短絡 (short-circuit) 演算子です。これらの演算子の引数は左から右へと順に評価され、結果が確定した時点で評価を止めます。例えば、 A と C は真で B が偽のとき、 A and B and C は式 C を評価しません。一般に、短絡演算子の戻り値をブール値ではなくて一般的な値として用いると、値は最後に評価された引数になります。

このため、提示されたコードは以下のように動作します。

selected_name = '' or 'suzuki' or 'tanaka' or 'sato'

• '' or 'suzuki' が評価され、 '' は偽だが 'suzuki' は真となり、 偽 or 真 の結果は真となる。短絡評価が働き、ここ残りの 'tanaka', 'sato' は参照されない。ここで、最後に評価された 'suzuki' がselected_nameに代入される。

Comments

[akpqky]

ありがとうございます。
>>' ' or 'suzuki' が評価され、 ' ' は偽だが 'suzuki' は真となり、 偽 or 真 の結果は真となる。
この部分が理解できてないのだと思います。
・なぜ、'　'が偽で'suzuki'は真なのか
・なぜ偽 or 真 の結果は真になるのか
教えていただけますか。

[shimizukawa]

> ・なぜ、'　'が偽で'suzuki'は真なのか
注意点として、 '　'が偽 ではありません。 '' が偽です。半角スペースや全角スペースが入っている文字列は真です。''が偽で'suzuki'が真なのは、そのようなPythonのルールだからです。
http://docs.python.jp/2/library/stdtypes.html#truth-value-testing
このルールはプログラミング言語によって異なります。例えばRubyでは '' も真です。

ある文字列やオブジェクトが真と扱われるのか偽と扱われるのかは bool() 関数に渡してみればわかります。やってみてください。
参考: https://ja.wikipedia.org/wiki/ブーリアン型

> ・なぜ偽 or 真 の結果は真になるのか
論理演算という考え方があって、プログラミング言語に限らずおおくのものごとがそのルールに則っています。orは「2人のどちらかがOKならOKとする」という感じです。今回は4つの値をorで繋いでいるので、4つのどれかがOK(真)ならOK(真)とする、ということになります。（OKかどうかはbool()の結果で決まり、これはPythonのルールで決まっています）

参考: https://ja.wikipedia.org/wiki/論理演算

[akpqky]

よくわかりました。丁寧なご説明ありがとうございました。また宜しくお願い致します。

Answer 2

name1,name2,name3,name4= '', 'suzuki','tanaka','sato'

bool(name1), bool(name2), bool(name3), bool(name4)
"""
論理値は以下のように判断されます
(False, True, True, True)
"""
name1 or name2
"""
False or True なのでname2がとりだされ
"""
name2 or name3
"""
True or True なので左のname2がとりだされ
"""
name2 or name4
"""
上記と同じです
"""

以上からsuzukiが取り出されます。
ここが参考になると思います。
Python の or と and 演算子の罠