Grundlagen der Bitmanipulation: Flags, Masken und Shifts ohne Überraschungen

Worum es geht

Eine Ganzzahl kann mehrere unabhängige Booleans tragen, eines pro Bit. Ein Flag ist eine Zweierpotenz (1 << 0, 1 << 1, ...); eine Maske ist eine Menge von Flags. Die vier Operationen: Setzen mit x | F, Löschen mit x & ~F, Umschalten mit x ^ F, Prüfen mit (x & F) != 0. Ein Shift multipliziert oder dividiert mit einer Zweierpotenz und bringt Felder an ihre Position, sodass (x >> 8) & 0xFF das zweite Byte extrahiert. Die Manpage von open(2) zeigt die klassische C-Konvention: ein Zugriffsmodus, kombiniert mit Flags wie O_CREAT und O_TRUNC per bitweisem OR. Pythons enum.Flag stellt benannte Flags bereit, deren Elemente &, |, ^ und ~ unterstützen, wobei auto() Zweierpotenzen zuweist.

Warum es wichtig ist

Dateimodi, Socket-Optionen, Berechtigungsbits, Protokoll-Header, Feature-Bitmaps und kompakte Mengen verwenden alle diese Darstellung. Fehler sind still: eine falsche Maske liest ein benachbartes Feld, ein falscher Test besteht für jeden Wert.

So wird es angewendet

• Jedes Bit benennen; magische Zahlen in &- und |-Ausdrücken sind nicht überprüfbar. In Python enum.Flag oder IntFlag verwenden, anderswo benannte Konstanten.
• Ein einzelnes Flag mit x & F gegen null prüfen; eine mehrbittige Maske mit (x & M) == M prüfen, da != 0 bereits zutrifft, wenn nur ein Teil der Maske gesetzt ist.
• Ein Feld in zwei Schritten aktualisieren: erst löschen, dann den neuen, an seine Position geschobenen und auf seine Breite maskierten Wert per OR einfügen.
• Die Breite kennen: MDN dokumentiert, dass JavaScripts bitweise Operatoren Operanden in 32-Bit-Ganzzahlen umwandeln, sodass Werte, die nicht in 32 Bit passen, BigInt brauchen. Python-Ganzzahlen sind unbegrenzt, sodass ~x gleich -x - 1 ist statt eines Komplements fester Breite; mit & 0xFFFFFFFF maskieren, um 32 Bit zu emulieren.
• Für das Zählen und Finden von Bits eingebaute Funktionen verwenden (int.bit_count(), int.bit_length(), bits.OnesCount) statt Schleifen.

Stolpersteine

Priorität: In Sprachen der C-Familie bindet & schwächer als ==, sodass x & F == 0 x & (F == 0) bedeutet; jeden Test klammern. Ein Rechts-Shift eines negativen Werts ist arithmetisch (vorzeichenerhaltend) mit >> in Python und Java, logisch mit >>> in Java und JavaScript, und implementierungsabhängig in C. Ein Shift um die Operandenbreite oder mehr ist in C undefiniert. ^ ist XOR, nicht Potenzierung. Ein als null definiertes Flag besteht den Test (x & M) == M immer. Felder, die in Übertragungsformaten Byte-Grenzen überschreiten, hängen von der Byte-Reihenfolge ab; mit einem deklarierten Layout packen und entpacken statt mit Ad-hoc-Shifts.