Logical Operatorがよくわかりません。

Question

Logical Operatorがよくわかりません。
説明してくださる方よろしくお願いします。

class Program
    {
        static void Main(string[] args)
        {
            int a = 10;
            int b = -10;
　　　　　　
　　　　　　　//　＃１
            bool q = a++ < 11 | (++a < 13 && ++a < 11);
            Console.WriteLine("a= " + a);
　　　　　　　//　＃２
            a = 10;
            bool qq = a++ < 11 || (++a < 13 & ++a < 11);
            Console.WriteLine("a= " + a);
　　　　　　　//　＃３
            a = 10;
            bool qqq = (--a < 10 && --a < 11) | --a < 11;
            Console.WriteLine("a= " + a);
　　　　　　　//　＃４
            bool w = (++b > -11 && ++b > -9) || ++b > -11;
            Console.WriteLine("b= " + b);

        }
    }

Outputは
a= 13
a= 11
a= 7
b= -8
となります。

Comments

[diningyo]

どこが理解できないのかを詳細に記載したほうが答えやすいと思います。

Answer 1

||や&&は短絡評価といって、||の左側がtrue相当の場合、あるいは&&の左側がfalse相当の場合、右側は評価されません。

1本の|や&は「ビットごとの演算」という意味があることもあって、条件を問わず左右とも評価されます。

Answer 2

| はビット演算子(bit operator)の一つで || は論理演算子(logical operator)の一つです。

| 演算子は二つの数値のビットを立っている(1 である)方に合わせます。
たとえば十進数の 10 は二進数で表すと 1010 に、十進数数の 3 は二進数で表すと 0011 になりますが、これを | で演算すると 1011 になります。10 の立っているビットが一番目と三番目、3 の立っているビットが三番目と四番目なので、演算後は一番目と三番目と四番目が立ちます。

|| 演算子はビット演算ではなく論理演算をします。
論理演算というのは if 文の丸かっこの中で行われている演算です。
true || false は true
true || true は true
false || false は false になります。
「または」と読むと意味がわかりやすいと思います。

if (1 == 2 || 1 ==1) の場合、1 == 2 が false で 1 == 1 が true になるので「1 が
2 である時、または 1 が 1 である時」と読め、結果は true になります。

論理演算は結果が出た時点で演算を終了します。
例えば if (1 == 1 || 1 == 2) の場合、左辺の 1 == 1 で結果が出ているのでそこで演算は終了し、1 == 2 は評価されません。
この例の場合は定数なので副作用はありませんが、右辺で他の変数やプロパティを変更する演算をしていた場合、右辺が評価されないことによって右辺の演算が実行されないことに気を付けなければなりません。

Comments

[rokoko]

分かりやすく説明していだたいてありがとうございます。
TrueとFalseで考えると理解出来るのですが数字が入ってくるといまいち理解出来ていません。
＃１でいうと
bool q = a++ < 11 | (++a < 13 && ++a < 11);
Console.WriteLine("a= " + a);
の時に最初のaに１１が入り、　｜　の左はFalseになりますよね？そして次のaに１２が入り、（）内の＆＆で考えると左がTrueになり、次のaに１３が入り、Falseになりますよね？
（）内はTrue＆＆FalseになってFalseになりますよね？そしてTrue｜FalseなのでFalseになり答えがa＝１３ということですか？
説明がヘタですみません。。。

[Zuishin]

ビット演算ですから false 関係ありません。

[Zuishin]

よく見たら右辺は論理演算ですね。
コンパイル通りますか？