Odpowiedź.

Historia pytania

Operatory bitowe zostały wprowadzone do języka C dla wygody niskopoziomowej pracy z danymi i sprzętem: konfiguracja rejestru, maskowanie, mnożenie i dzielenie przez potęgę liczby dwa. Zasady ich działania ukształtowały się już w czasach procesorów 8- i 16-bitowych.

Problem

Często popełniane są błędy przy przesunięciach typów signed, ponieważ wynik zależy od implementacji (przesunięcie arytmetyczne lub logiczne) oraz przy przekroczeniu granic rozmiaru typu. Błędy prowadzą do uszkodzenia danych, błędnych obliczeń, nieokreślonego zachowania.

Rozwiązanie

Przesunięcie w lewo (<<): jest równoważne mnożeniu wartości przez 2 do potęgi k (a << k). Zawsze wypełnia zera z prawej strony.

Przesunięcie w prawo (>>): dla wartości unsigned wypełnia z lewej strony zerami (przesunięcie logiczne), a dla signed — może wypełniać zarówno bitem znaku (przesunięcie arytmetyczne), jak i zerami (zachowanie zależy od kompilatora).

Przykład:

unsigned int x = 5; // 0000 0101
unsigned int y = x << 1; // 0000 1010 == 10
int z = -4; // 1111 1100 (jeśli 8 bitów)
int w = z >> 1; // Może zostać 1111 1110 (-2) lub 0111 1110 (zależy od implementacji)

Kluczowe cechy:

Przesunięcie w lewo i w prawo jest efektywne dla liczb typu unsigned
Dla typów signed przesunięcie w prawo może być różne: używaj ostrożnie dla wartości ujemnych
Przesunięcie o liczbę bitów większą lub równą rozmiarowi typu — niezdefiniowane zachowanie

Pytania z podstępem.

Co się stanie przy przesunięciu ujemnej liczby w prawo przez >>?

Wynik zależy od implementacji: najczęściej jest to przesunięcie arytmetyczne z zachowaniem znaku, ale standard tego nie gwarantuje!

Jaką wartość ma wynik przesunięcia o liczbę bitów większą niż rozdzielczość typu?

Niezdefiniowane zachowanie. Na przykład 1 << 32 dla typu 32-bitowego może dać cokolwiek lub nawet zakłócić działanie programu.

Czy można używać operatorów bitowych dla liczb zmiennoprzecinkowych?

Nie, standardowe typy float, double nie obsługują operacji bitowych. Tylko typy całkowite.

Typowe błędy i antywzorce

Przesunięcie wartości signed w prawo bez sprawdzania sposobu wypełnienia
Przesunięcie o "za dużo" bitów — przekroczenie granic typu
Stosowanie do float/double
Użycie znaków bez wyraźnego unsigned przy maskach bitowych

Przykład z życia

Negatywny przypadek

Programista przesuwał int o 32, aby utworzyć maskę — na niektórych platformach prowadziło to do zera, na innych — do niepoznawalnej wartości.

Zalety:

Szybkie mnożenie/dzielenie

Wady:

Nieprzenośny, nierzetelny kod

Pozytywny przypadek

Zamiast tego używano wartości unsigned i maskowania liczby bitów z użyciem makropoleceń, z jasno określoną dokumentacją i sprawdzaniem długości typu za pomocą sizeof.