python or と |　の違いを教えてください。

下記のコードは、エラーが起きません。

# status 1支払い済み 2お渡し済み　絞る
order_all=order_data.loc[(order_data['status']==1) | (order_data['status']==2)]

しかし、orにするとエラーになります。

# status 1支払い済み 2お渡し済み　絞る
order_all=order_data.loc[(order_data['status']==1) or (order_data['status']==2)]

エラーは、

---------------------------------------------------------------------------
ValueError                                Traceback (most recent call last)
/var/folders/ps/xxgp4_3j0sq5_9pz2s204c080000gn/T/ipykernel_1311/996920767.py in <module>
      1 # status 1支払い済み 2お渡し済み　絞る
----> 2 order_all=order_data.loc[(order_data['status']==1) or (order_data['status']==2)]

~/opt/anaconda3/lib/python3.9/site-packages/pandas/core/generic.py in __nonzero__(self)
   1535     @final
   1536     def __nonzero__(self):
-> 1537         raise ValueError(
   1538             f"The truth value of a {type(self).__name__} is ambiguous. "
   1539             "Use a.empty, a.bool(), a.item(), a.any() or a.all()."

ValueError: The truth value of a Series is ambiguous. Use a.empty, a.bool(), a.item(), a.any() or a.all().

です。
and　と |　の違いは、優先順位の違いでだけと思っていたので、カッコで括っているたので、同じ挙動になると
思っていました。

ご教授いただけると助かります。
よろしくお願いします。

*jupyter labで実行しています。

行動規範の内容に同意します

回答4件

ベストアンサー

動作からの私の推測を含めて回答します。

まず
(order_data['status']==1) と (order_data['status']==2)は

type(order_data['status']==1)を実行すればわかるようにPandasのSeriesです。

Series同士の | の演算は、Seriesでは各要素同士の | の演算の結果をSeriesとして返すようにで定義されています。

対して、Series同士の or の演算では、a or b とした場合、まず aを boolに変換してチェックするようで、その際にSeriesで定義された
__bool__が呼び出されるようで、そこでエラーとなるようです。（__bool__=__nonzero__と定義されているので、ログに出るのは__nonzero__の方のようですが）

実際に、エラーが出ていた__nonzero__の関数をreturn Trueを返すように修正すると
(order_data['status']==1) or (order_data['status']==2)
は処理が可能になり(order_data['status']==1)がTrueと判定される為、(order_data['status']==1)が取得されます。

結局、繰り返しになりますが
| は、or は別物で、| に関しては、pandasのSeriesで実装されており要素同士の | の結果をSeriesとして返却してくれる
or は、a or b とした場合まずaを一旦boolに変換する処理が実行され、そのboolに変換する処理がpandasのSeriesで実装されているがエラーを返すだけの実装になっている。

という事のようです。

私はこれで何となくなるほど。と思ったのですが
間違ってる点とかあれば指摘して頂けるとありがたいです。

投稿2022/01/01 21:09

編集2022/01/01 21:31

xail2222

総合スコア1508

Y.Arai

2022/01/04 05:45 編集

わかりやすい回答ありがとうございます。納得です。

行動規範の内容に同意します

and　と |　の違いは、優先順位の違いでだけと思っていたので、

orとのタイプミスだと思いますが、
orと|は全然違います。|は二項演算子で、その扱うデータのクラスで__or__というメソッド名で定義された処理をします。pandasをお使いだと思いますが、pandasのクラスで__or__は定義されています。データフレームの要素を個別に|して、結果をデータフレームとして返すように定義されているようです。

orは制御構造で、左項を評価して真偽値に変換してTrueなら(返還前の)左項を結果とし(右項は評価しない)、Falseなら右項を評価してそれを結果とします。

そのエラーは、データフレームが単一の真偽値に変換できないというエラーです。「複数の値からどうやって単一の真偽値に変換するか」を明示する必要があります。変換したとしてもそれはデータフレームじゃないので、|の結果と同じにはなりません。

左項と右項が両方とも（副作用の無い）真偽値の時はorと|は同じですかね。

投稿2022/01/01 15:44

編集2022/01/01 16:10

otn

総合スコア85901

Y.Arai

2022/01/04 05:44

納得です。ありがとうございました。

行動規範の内容に同意します

python or と |　の違いを教えてください。

演算子orは公式ドキュメント Python 言語リファレンス 6.11. ブール演算 (boolean operation)に書かれているように、式 x and y は、まず x を評価します; x が偽なら x の値を返します; それ以外の場合には、 y の値を評価し、その結果を返します。という演算子です。

演算子｜は公式ドキュメント Python 言語リファレンス 6.9. ビット単位演算の二項演算 (binary bitwise operation)に、| 演算子は、引数同士のビット単位の (包含的) OR を与えます。引数は整数でなければなりません。と書かれています。しかし、公式ドキュメント Python 言語リファレンス 3.3.8. 数値型をエミュレートするに書かれているように特殊メソッド__or__を使うことでクラスごとに定義することが可能です。

整数を対象とする場合、以下の違いがあります。

python
1>>> print(2 or 1)
22
3>>> print(2 | 1)
43

Python処理系は、演算子orに対して、JUMP_IF_TRUE_OR_POPというバイトコードを生成します。
一方、演算子``````に対して、BINARY_ORというバイトコードを生成します。
その説明は、公式ドキュメント Python 標準ライブラリ dis --- Python バイトコードの逆アセンブラをお読みください。

ValueError: The truth value of a Series is ambiguous. Use a.empty, a.bool(), a.item(), a.any() or a.all().
といエラーが出るのは、pandas.Seriesの場合には、JUMP_IF_TRUE_OR_POPでの__bool__をそうなるように上書きしているためです。

python
1>>> import pandas as pd
2>>> s = pd.Series([True, False])
3>>> print(s)
40     True
51    False
6dtype: bool
7>>> bool(s)
8Traceback (most recent call last):
9  File "<stdin>", line 1, in <module>
10  File "C:\Users\shinp\anaconda3\envs\sandbox\lib\site-packages\pandas\core\generic.py", line 1537, in __nonzero__
11    raise ValueError(
12ValueError: The truth value of a Series is ambiguous. Use a.empty, a.bool(), a.item(), a.any() or a.all().