Ich habe kürzlich P4313 R1 untersucht, einen Standardvorschlag, der Bitmask-Operationen für Enums über eine C++26-Annotation hinzufügt. Das Kernkonzept verwendet `[[=std::bitmask_type]]`, um Bit-Operatoren automatisch zu generieren und manuelle Implementierung zu eliminieren. Obwohl C++-Compiler Bit-Operationen auf ganzzahligen Typen berechnen, ist ein kritischer Punkt die Ganzzahlförderung.
Typen, die kleiner als `int` sind, wie `short`, werden vor der Operation auf `int` gefördert. Das bedeutet, dass der Ergebnistyp von Operationen auf kleineren Typen standardmäßig `int` ist, was einen `static_cast` zurück in den ursprünglichen Typ erfordert, um unerwartetes Verhalten zu vermeiden. Darüber hinaus birgt `bool` einzigartige Gefahren.
Die Boolesche Konvertierung schneidet Bitmuster nicht ab; stattdessen ordnet sie jeden nicht-Null-Wert `true` (Ganzzahlwert 1) und Null `false` zu. Kombinieren wir diese Regeln, zeigt sich eine Seltsamkeit: das Komplement von `true` (`~true`) fördert `true` auf `int` (Wert 1), berechnet das Zweierkomplement-Ergebnis als `-2`, und da `-2` nicht null ist, kehrt die boolesche Konvertierung `true` zurück. Daher gilt `static_cast(~true) == true`.
Dieses Verhalten erstreckt sich auf `bool`-basierte Enums, wie sie mit `[[=std::bitmask_type]]` definiert werden, und unterstreicht die Bedeutung, diese impliziten Konversionen für eine robuste C++-Entwicklung zu verstehen.
Quelle: Hacker News · Zusammengefasst von HeadlinesBriefing