C++ bool値の演算は論理演算を使わずにビット演算でも大丈夫でしょうか？

Question

コードとしては下記の様な感じです。

bool result = true;

// bool値を論理演算で比較して結果を代入
result = result && true;

// 上記だと result ２回出てきてなんかスッキリしないので、ビット演算でも結果が同じなら使いたい
result &= true;

C++ の bool型は、内部的に 0/1 のint値管理のイメージがあるので、
ビット演算でも論理演算と同じ結果が得られそうなのですが、
実際のところ全てのコンパイラで問題無いのでしょうか？

一応下記で確認した限りでは、論理演算でもビット演算でも同じ結果が得られました。
http://ideone.com/e.js/zVWZKA

#include <iostream>
using namespace std;
 
int main() {
	// your code goes here
	bool is_true = true;
	bool is_false = false;
	cout << "is_true : " << is_true << endl;
	cout << "is_false : " << is_false << endl;
	cout << endl;
 
	// bool値の演算は、論理演算ではなくbit演算子でも良いのだろうか？
	// C++的に boot値は 0/1 で内部的には持ってそうなので行けそう？
	// ビット演算子だと代入が簡単なので使いたいなーというお話
 
	// is_true   true
	cout << "is_true && true : " << (is_true && true) << endl;
	cout << "is_true & true : " << (is_true & true) << endl;	// これが使える is_true &= true
	cout << "is_true || true : " << (is_true || true) << endl;
	cout << "is_true | true : " << (is_true | true) << endl;	// これが使える is_true |= true
	cout << endl;
 
	// is_false   true
	cout << "is_false && true : " << (is_false && true) << endl;
	cout << "is_false & true : " << (is_false & true) << endl;	// これが使える is_false &= true
	cout << "is_false || true : " << (is_false || true) << endl;
	cout << "is_false | true : " << (is_false | true) << endl;	// これが使える is_false |= true
	cout << endl;
 
	// is_true   false
	cout << "is_true && false : " << (is_true && false) << endl;
	cout << "is_true & false : " << (is_true & false) << endl;	// これが使える is_true &= false
	cout << "is_true || false : " << (is_true || false) << endl;
	cout << "is_true | false : " << (is_true | false) << endl;	// これが使える is_true |= false
	cout << endl;
 
	// is_false   false
	cout << "is_false && false : " << (is_false && false) << endl;
	cout << "is_false & false : " << (is_false & false) << endl;	// これが使える is_false &= false
	cout << "is_false || false : " << (is_false || false) << endl;
	cout << "is_false | false : " << (is_false | false) << endl;	// これが使える is_false |= false
 
	return 0;
}

is_true : 1
is_false : 0

is_true && true : 1
is_true & true : 1
is_true || true : 1
is_true | true : 1

is_false && true : 0
is_false & true : 0
is_false || true : 1
is_false | true : 1

is_true && false : 0
is_true & false : 0
is_true || false : 1
is_true | false : 1

is_false && false : 0
is_false & false : 0
is_false || false : 0
is_false | false : 0

Answer 1

実際のところ全てのコンパイラで問題無いのでしょうか？

質問にあるコード例であれば、全てのC++コンパイラで期待通り動作します。

少し気になるのは、本当にそのようなことをしたいのでしょうか？例えばbool型の変数resultがあったとき、result &= true;は「何もしないこと」と同義です。他パターンも同様に：

result &= true;   // 何もしない
result &= false;  // result = false;と同義
result |= true;   // result = true;と同義
result |= false;  // 何もしない

Comments

[退会済みユーザー]

ご回答ありがとうございます。

>少し気になるのは、本当にそのようなことをしたいのでしょうか？
具体的には、JSONをパースする処理内で利用する想定です。

JSONデータの仕様的に状況によって型が変わる箇所があるので、
その箇所で型チェックをして想定外なら全パース失敗とする処理を行う想定です。

そもそも、JSONデータの仕様的に型が変わって変える場合があること自体、
違和感ありありなのですが、そのように返ってきてしまうので・・・

```C++
bool result = true;

result &= [JSONの項目1].isDouble(); // double型想定。
result &= [JSONの項目2].isString(); // string型想定。

// 上記で [JSONの項目1] が stringとかが来ていたらfalse にしてしまう

...
...
...
```

[yohhoy]

質問中にあるtrue/falseリテラル部分は、実際にはプログラム実行時に決まる値なんですね。それなら意味はあると思います。

Answer 2

x、y がbool型の変数とします。もし、これらが局所変数でうっかり初期化を忘れてしまった場合などでは、値がtrueでもfalseでもないゴミである可能性があります。その場合、x && y と x & y は同じとは限りません。
もうひとつ、f(z)がbool型の副作用のある式だとします。この場合、

x = x && f(z);

はｘがfalseの場合、f(z)は評価されませんので副作用はありません。しかし、

x &= f(z); の場合は、xの値が何であってもf(z)は評価されますので必ず副作用があることになります。

そのため、論理演算子をビット演算子に置き換えた場合に挙動が異なる可能性があります。