UbuntuのQt（C++）に関する質問です。

Question

下記のコードに於いて、b1、b2がtrueの場合に、
最初に書いたbはtrueになり、その次に書いたbはfalseになります。

私は、どちらもbも共にfalseになると思っていましたが、違った結果がでます。

b1=(crc & 1<<15); //true
b2=(wk & 1<<7); //true
b=((crc & 1<<15) ^ (wk & 1<<7)); //true ＜ーー下記と値が違う
b=(b1 ^ b2); //false ＜ーー上記と値が違う

尚、crcとwkは下記の如く宣言されています。
unsigned short crc；
unsigned char wk;

Q1)この件について、コメント頂けますと大変助かります。

以上、宜しくお願いします。

Answer 1

こんにちは。

恐らく、b, b1, b2はbool型ですね？
非0値をbool型へ変換すると全てtrueになります。
bool型は0か1の値を取ります。

^はビット毎の排他的論理和ですので、(1 ^ 1)は0となりfalseになります。

さて、b1, b2が共にtrueということは、(crc & 1<<15)は非0、(wk & 1<<7)も非0ですね。
そして、この２つが同じ値でない限り、ビット毎の排他的論理和の結果は非0ですから、bがtrueになるのは正しい動作です。

Comments

[nqf27650]

下記の如く、各々の式の前にboolを追加すれば、良いようですが、
その理由を、説明頂けないでしょうか？
if ((bool)(crc & 1<<15) ^ (bool)(wk & 1<<7) ) {

[Chironian]

b1, b2へ代入することでbool型へ型変換され、意図通りに動作しましたね？
それと同じです。

Answer 2

b1とb2がbool型であると思われますので、中間変数への代入の際の型変換時に計算結果の丸め込みが起きています。

この計算結果から推測すると、以下のことが考えられます。
条件１：(crc & 1<<15) != 0
条件２：(wk & 1<<7) != 0
条件３：(crc & 1<<15) != (wk & 1<<7)

条件１と条件２によってb1とb2はtrueになります。従って、b1 ^ b2はfalseになります。しかしながら、条件３のため、中間変数を用いずに計算すればtrueになります。