Как ведут себя логические операторы в сложных ситуациях?

Question

[Сергей]

Изучаю сишарп. Есть проблемы :-(

Вот это я понимаю.

Console.WriteLine(false & true);  // false
Console.WriteLine(1 & 1);            // 1

А это я не понимаю!

Console.WriteLine(-2 & -3);         // -4
Console.WriteLine(2 & -2);          // 2
Console.WriteLine(2 & 3);           // 2

Что они тут делают?

И ещё, зачем вот такие странные составные операторы присваивания?
+= , *= - тут проблем нет.
Но |= , &= - что они делают?

Заранее спасибо.

Comments

[GavriKos]

Ради "эксперимента" сравните поведение операторов & и &&

[Сергей]

GavriKos, тут меня не возьмёшь :-) Я знаю, что && "экономит силы".
Если && видит, что первый операнд гарантирует результат - он "ленится" считать второй операнд.

[GavriKos]

Сергей, угу, попробуйте применить && к числам

[Сергей]

GavriKos, && к числам не применяется :-(
Получается, при сравнивании чисел, надо обязательно считать оба операнда?

[GavriKos]

Сергей, логические операторы вообще применяются ТОЛЬКО к булевым значениям. В том то и смысл. То что в каких то языках они могут применяться к числам\объектам - это отрабатывает приведение типов.
Соотетственно да, надо оба операнда привести к логическому выражению

[Сергей]

GavriKos, то есть, создатели C# просто использовали те же символы для абсолютно разных команд?

[GavriKos]

Сергей, как и с буквами... Те же символы для абсолютно разных команд )))

Answer 1

[Василий Банников]

Это не совсем логические операторы.
Это побитовые операторы, и операции они проводят над битами.
Например (в двоичной системе)
100 | 001 = 101
100 & 111 = 100
110 ^ 011 = 101

А про то, почему именно такой результат при работе с отрицательными числами - это тебе дз

Comments

[Сергей]

Никогда не думал, что школьная программа по информатике пригодится при изучении программирования. :-)
11111011 -5
11111101 -3
---------------
11111001 -7

Answer 2

[freeExec]

Console.WriteLine(-2 & -3); // -4

Это всё булева логика, представь числа в двоичном представлении, примени операцию для каждого бита и всё станет понятней.

Но |= , &= - что они делают?

Если ты понимаешь, что происходит с +=, то почему возникает вопрос с этими, меняется ведь только операция?

Comments

[Zero None]

Если ты понимаешь, что происходит с +=, то почему возникает вопрос с этими, меняется ведь только операция?

Потому что в туториалах объясняют как работают самые примитивные операторы, а более сложные оставляют на "самоизучение". Да и тот же += интуитивно понятен.

[Сергей]

представь числа в двоичном представлении, примени операцию для каждого бита

Вот так? (с единичками вместо минусов):
110 &111
1&1=1
1&1=1
1&1=0 ответ: 110, т.е., пять или минус два. Не выходит что-то с отрицательными числами... :-(

Или их надо инвертировать?

Если ты понимаешь, что происходит с +=, то почему возникает вопрос с этими, меняется ведь только операция?

a+=1 - это a=a+1
a|=1 это a=a|1
Но ведь как а может быть результатом сравнения a и b? Ведь тогда надо будет менять тип данных! Ведь в ответе может быть только true или false! Или чего-то не понимаю?

[freeExec]

11111110 = -2
11111101 = -3
-----------
11111100 = -4

a=a|1

Но ведь как а может быть результатом сравнения a и b

Это не сравнение, а побитовое логическое И, точно то, что и в вопросе с отрицательными числами, у тебя же там не true/false выходит.

[Сергей]

freeExec, а почему "-3" так странно выглядит? Оно похоже на "-5".
У них там, что, инверсия и дополнительный код? Или я опять путаю?

[Василий Банников]

Сергей, отними 5 от нуля. Хз как такой код называется, но будет
11111011 (в int8)
В более длинном варианте просто левее будет больше единиц, до самого конца

[Сергей]

Василий Банников, Мы пишем восемь цифр, т.к., мы используем 8-bit-int-стандарт?

[Василий Банников]

Сергей, да, я так и написал, что в моём примере 8 цифр, тк мне лень писать 32 или вообще 64 цифры