そこにある「非常に悪いもの」が起こる可能&&=と||=のためのシンタックスシュガーとして使用されたbool foo = foo && barとはbool foo = foo || bar？

A boolはC ++でのみ、trueまたはfalseC ++でのみ使用できます。そのため、&=and を使用すること|=は比較的安全です（ただし、表記法は特に好きではありませんが）。確かに、これらは論理演算ではなくビット演算を実行します（したがって、これらは短絡しません）が、これらのビット演算は明確に定義されたマッピングに従います。これは、両方のオペランドが型である限りbool、論理演算と実質的に同等です。。¹

他の人がここで言ったこととは逆にbool、C ++のは、などの別の値を持つことはできません2。その値をに割り当てると、標準に従ってbool変換さtrueれます。

に無効な値を取得する唯一の方法boolは、reinterpret_castポインターを使用することです。

int i = 2;
bool b = *reinterpret_cast<bool*>(&i);
b |= true; // MAY yield 3 (but doesn’t on my PC!)

しかし、このコードはいずれにしても未定義の動作となるため、C ++コードの準拠におけるこの潜在的な問題を無視しても問題ありません。

¹確かに、Angewのコメントが示すように、これはかなり大きな警告です。

bool b = true;
b &= 2; // yields `false`.

その理由はb & 2、式がと同等になるように整数の昇格を実行しstatic_cast<int>(b) & 2、結果がになり0、それが次にに変換されるためboolです。したがって、の存在がoperator &&=型の安全性を向上させることは事実です。

&&と&セマンティクスが異なる：&&最初のオペランドがの場合、2番目のオペランドは評価されませんfalse。すなわちのようなもの

flag = (ptr != NULL) && (ptr->member > 3);

安全ですが

flag = (ptr != NULL) & (ptr->member > 3);

そうではありませんが、両方のオペランドのタイプはboolです。

&=and についても同じことが言えます|=。

flag = CheckFileExists();
flag = flag && CheckFileReadable();
flag = flag && CheckFileContents();

以下とは異なる動作をします：

flag = CheckFileExists();
flag &= CheckFileReadable();
flag &= CheckFileContents();

短い答え

すべての演算子は+=、-=、*=、 /=、&=、|=...算術演算であり、同じ期待を提供します。

x &= foo()  // We expect foo() be called whatever the value of x

ただし、演​​算子&&=と||=は論理的であり、多くの開発者はfoo()常にで呼び出されることを期待しているため、これらの演算子はエラーが発生しやすい場合がありますx &&= foo()。

bool x;
// ...
x &&= foo();           // Many developers might be confused
x = x && foo();        // Still confusing but correct
x = x ? foo() : x;     // Understandable
x = x ? foo() : false; // Understandable
if (x) x = foo();      // Obvious

• のショートカットを取得するために、本当にC / C ++をさらに複雑にする必要がありx = x && foo()ますか？

• 本当に不可解なステートメントを難読化したいx = x && foo()ですか？
  または、次のような意味のあるコードを記述したいif (x) x = foo();ですか？

長い答え

の例 &&=

場合は&&=、オペレータが利用可能であった、このコード：

bool ok = true; //becomes false when at least a function returns false
ok &&= f1();
ok &&= f2(); //we may expect f2() is called whatever the f1() returned value

以下と同等です。

bool ok = true;
if (ok) ok = f1();
if (ok) ok = f2(); //f2() is called only when f1() returns true

この最初のコードはエラーが発生しやすいです。なぜなら、多くの開発者はf2()、f1()戻り値が何であれ常に呼び出されると考えているからです。これは、書き込みのようなものであるbool ok = f1() && f2();ところf2()だけと呼ばれるf1()リターンをtrue。

• 開発者がreturnのf2()ときだけ呼び出されるようにしたい場合f1()はtrue、上記の2番目のコードの方がエラーが発生しにくくなります。
• f2()そうでなければ（開発者は常に呼び出されることを望んでいます）、&=十分です：

の例 &=

bool ok = true;
ok &= f1();
ok &= f2(); //f2() always called whatever the f1() returned value

さらに、コンパイラーは、上記のコードよりもこのコードを最適化する方が簡単です。

bool ok = true;
if (!f1())  ok = false;
if (!f2())  ok = false;  //f2() always called

比較&&して&

値に適用すると、演算子&&と&同じ結果が得られるかどうか疑問に思うかもしれませんbool。

次のC ++コードを使用して確認してみましょう。

#include <iostream>

void test (int testnumber, bool a, bool b)
{
   std::cout << testnumber <<") a="<< a <<" and b="<< b <<"\n"
                "a && b = "<< (a && b)  <<"\n"
                "a &  b = "<< (a &  b)  <<"\n"
                "======================"  "\n";
}

int main ()
{
    test (1, true,  true);
    test (2, true,  false);
    test (3, false, false);
    test (4, false, true);
}

出力：

1) a=1 and b=1
a && b = 1
a &  b = 1
======================
2) a=1 and b=0
a && b = 0
a &  b = 0
======================
3) a=0 and b=0
a && b = 0
a &  b = 0
======================
4) a=0 and b=1
a && b = 0
a &  b = 0
======================

結論

したがってYES我々は交換することができます&&によって&のためのbool値;-)
だから、より良い使用&=するのではなく&&=。ブール値には役に立たない
と考えることができ&&=ます。

同じ ||=

オペレータは|=また、小さいエラーを起こしやすいより||=

開発者がreturnのf2()ときだけ呼び出されたい場合f1()はfalse、次の代わりに：

bool ok = false;
ok ||= f1();
ok ||= f2(); //f2() is called only when f1() returns false
ok ||= f3(); //f3() is called only when f1() or f2() return false
ok ||= f4(); //f4() is called only when ...

以下のより理解しやすい代替案をアドバイスします。

bool ok = false;
if (!ok) ok = f1();
if (!ok) ok = f2();
if (!ok) ok = f3();
if (!ok) ok = f4();
// no comment required here (code is enough understandable)

または、すべてを1つのラインスタイルで使用する場合：

// this comment is required to explain to developers that 
// f2() is called only when f1() returns false, and so on...
bool ok = f1() || f2() || f3() || f4();