*と+はそれぞれ&&と||に相当します。 onブールオペランド？

Question

a [8]はブール値の配列です。私はブール式を次のように計算しようとしています。

bool a[8]; 
..... 
bool result=a[0]*(a[3]+a[6]*(a[4]+a[7]*a[5]))+a[1]*(a[6]*a[3]+a[4]+a[7]*a[5])+a[2]*(a[5]+a[7]*(a[4]+a[6]*a[3])); 

表現は長いが概念的には何も複雑ではない。唯一のバグは、式の*を& &（いずれの場合も論理ANDが必要です）に置き換えるか、+を||に置き換えると結果が異なるようです。 （論理ORを期待する）。

どのようなものが正しいか、ブール演算子か、乗算、加算などの数学的な表記法はわかりません。何もエラーはありません。すなわち、コンパイラは両方に満足しています。どちらが安全で正しいですか？

Answer 1

ほとんど オペランドの場合と同じです。しかし、微妙な違いがあります。

1. *と+はintタイプにbool型引数を広げます。

2. a || bのタイプはboolであり、a + bはintである。同義語は&&と*です。 &&と||であるのに対し、

3. *と+は、点の配列決定されていません。 &&と||であるのに対し、

4. *と+は、短絡しません。

5. オペレータ優先順位テーブルでは、非常に異なる位置を占めます。だから、代入は簡単ではありません。

6. a場合はboolであり、そしてbもboolあるがa || bの挙動が定義され、次いで初期化が、boolが、C++のトラップ表現を含有することができるのでa + bを未定義あるれていません。同様の表現を&&と*と呼びます。

7. a + b + c + ...の非常に長いチェーンは、その動作が定義されていないintタイプをオーバーフローさせる可能性があります。

（3）a++ * a++が未定義の動作であるがa++ || a++ではないことを意味します。

（実際には関係ありませんが、注意してください：&&と||は過負荷の場合に短絡特性を失います）。

Answer 2

ここで違いがない論理演算子の短絡に加えて、振る舞いの変化を説明する重要な違いはoperator precedenceです。

あなたが||、優先順位の変更の順​​で&&と*、または+を交換

： *は +より 高い優先度を持っていますが、 &&は +より 低く優先されます。そのため、 *を &&に置き換えて、必要な操作順序を強制するために式を完全にかっこにする必要があります。あなたは同じ結果に終わるだろうので

&&と||で*と+の両方を交換すると、同じ2つの演算子の相対的優先度を維持します。