Я недавно начал учить си по книге K&R. Так все круто, только никак не понимаю функций с битовыми операциями, вроде такой:
Взял отсюда: http://users.powernet.co.uk/eton/kandr2/krx206.html

Подскажите, может есть в интернете какие-нибудь туториалы попроще с примерами и подробным описанием битовых операций

Boguslav, ты сам виноват. Не надо было брать такую сложную и, главное, совершенно непонятную функцию (программист, который ее писал, не думал о том, что кто-то будет читать его код), хорошо, что еще скобки расставлены и не надо по таблицам приоритеты уточнять. Чтобы ее понять надо разложить на простейшие операции:
x & y - побитовое "И": 1010 & 0110 = 0010
~x - инверсия всех битов x: ~1010 = 0101
x | y - побитовое "ИЛИ": 1010 | 0110 = 1110
x << y - сдвиг всех битов на y влево (аналог умножения x на 2 в степени y): 00001010 << 2 = 00101000

буквально сегодня прочитал у Карпова, что это - UB, т.к. ~0 - знаковое (значение == -1), а сдвигать знаковые нельзя.
Так что пример не только "сложный и, главное, совершенно непонятный", но ещё и некорректный

Можно сдвигать знаковые! В процессоре даже есть отдельные команды для знакового и беззнакового сдвига.

Для выражения E1 << E2:

т.е. знаковые-таки можно, но знаковые и при этом отрицательные - нельзя. а ~0 - знаковое и отрицательное

Можно и знаковые и без знаковые операции совершать и чтобы компилятор понимал в каком случае где и как работать нужно конкретно указывать
char
unsigned char

math64, это процессор x86 и z80 может сдвигать знаковые, а вот ARM может? По стандарту: сдвиг отрицательного числа - это UB.

  Можно ссылку на стандарт? Такая операция уже сто лет как успешно работает в наших приборах на процах PXA25x (ARM/THUMB). Используется как замена целочисленного деления на числа кратные 2м. Массивы содержат как положительные так и отрицательные значения. Результат всегда корректный. Единственное, что получается, так это ошибка на единицу по сравнению с целочисленным делением, но это так на х86 тоже. Она возникает только на отрицательных числах в дополнительном коде.

Не такая. Речь идет о сдвиге влево, это замена целочисленного умножения 'на числа кратные 2м'


С99, раздел 6.5.7 Bitwise shift operators, пункт 4


С++11, раздел 5.8 Shift operators, пункт 2:


Добавлено через 2 минуты и 58 секунд

Где вы там вообще какой бы то ни было char увидели?


Это сообщение отредактировал(а) xvr - 3.10.2012, 12:00

xvr, ну там же, следующим пунктом и о сдвиге вправо:


В общем разница между сдвигом влево и сдвигом вправо, это выбор между "behavior is undefined" и "implementation-defined"
С++ стандарт как всегда, э....   "Чёток и Конкретен!"  

> С++ стандарт как всегда
> это выбор между "behavior is undefined" и "implementation-defined"
  
Сделал точно такой же вывод, когда читал этот раздел

> Такая операция уже сто лет как успешно работает
Ну Вы ж должны понимать, что UB и "успешно работает там-то и там-то" - не антонимы

  Ну bsa писал так как-будто АРМ не умеет такие операции делать. Т.е. вполне определенный проц. На счет сдвига вправо я уже не помню использовался или нет для отрицательных чисел, но думаю что использовался успешно, поскольку в отсутствии сопроцессора часто приходиться числа сдвигать, чтобы избежать потери точности в различных операциях.

Ну давай тогда другие типы подставь.

вы знаете хоть какой-нибудь процессор, понимающий тип операндов? упомянутые не понимают, все они работают с битовым представлением, выполняя конкретную команду. лично мне неизвестны процессоры, работающие иначе. если знаете, поделитесь.

другое дело, в какие инструкции компилятор превращает x<<y
хотя именно в ARM для сдвига влево предусмотрена лишь одна операция LSL (и четыре для сдвига вправо)


а это кто?

Это тот, кто pvs-studio рекламирует тут.