Heim >Backend-Entwicklung >C++ >Warum gibt (1 >> 32) in C 1 zurück: Ein tiefer Einblick in das Verhalten von Rechtsschaltoperatoren und undefiniertes Verhalten?

Warum gibt (1 >> 32) in C 1 zurück: Ein tiefer Einblick in das Verhalten von Rechtsschaltoperatoren und undefiniertes Verhalten?

Barbara Streisand
Barbara StreisandOriginal
2024-10-27 13:48:01765Durchsuche

Why Does (1 >> 32) Rückgabe 1 in C: Ein tiefer Einblick in das Verhalten und das undefinierte Verhalten von Rechtsschaltoperatoren? 
> 32) Return 1 in C: Ein tiefer Einblick in das Verhalten und das undefinierte Verhalten von Rechtsschaltoperatoren? " />

Neugier rund um den Rechtsschaltoperator (1 >> 32)

Bei Verwendung des Rechtsschaltoperators (>>) in Bei C-Code wird häufig davon ausgegangen, dass eine Verschiebung um einen Wert, der größer oder gleich der Breite des Operanden ist, zu Null führt. Wie im bereitgestellten Codeausschnitt gezeigt, kann diese Annahme jedoch zu unerwartetem Verhalten führen.

Die Funktion foo(a, b) verschiebt die Ganzzahl a um b Bits. Wenn sie mit den Argumenten (1, 32) aufgerufen wird, gibt sie überraschenderweise 1 statt der erwarteten 0 zurück. Dieses Verhalten ist darauf zurückzuführen, dass der Compiler den konstanten Ausdruck 1 >> 32 zur Kompilierungszeit, wo es aufgrund des im C-Standard beschriebenen undefinierten Verhaltens als 0 ausgewertet wird.

Im Gegensatz dazu arbeitet die Funktion bar(a, b) mit einer 64-Bit-Ganzzahl ohne Vorzeichen und gibt korrekt zurück 0 beim Verschieben um 32 Bit. Dies liegt daran, dass 64 größer als 32 ist, was garantiert, dass die Verschiebung 0 ergibt. Allerdings kann das Verschieben um 64 Bit auch bei Balken immer noch 1 zurückgeben.

Um dieses Verhalten weiter zu erläutern, Die Hardware-Implementierung der Schiebeoperation maskiert die Schiebezahl auf 5 oder 6 Bit (abhängig von der Architektur) und schneidet effektiv jede Schiebezahl ab, die größer oder gleich 32 oder 63 ist. Daher sorgt die logische Rechtsverschiebung (LSR) auf bestimmten Architekturen dafür dass Verschiebungen um ≥32 immer Null ergeben.

Dies unterstreicht die nicht tragbare Natur der Verschiebung einer 32-Bit-Ganzzahl um ≥32, da das Ergebnis je nach zugrunde liegender Hardware-Implementierung variieren kann.

Das obige ist der detaillierte Inhalt vonWarum gibt (1 >> 32) in C 1 zurück: Ein tiefer Einblick in das Verhalten von Rechtsschaltoperatoren und undefiniertes Verhalten?. Für weitere Informationen folgen Sie bitte anderen verwandten Artikeln auf der PHP chinesischen Website!

Stellungnahme:
Der Inhalt dieses Artikels wird freiwillig von Internetnutzern beigesteuert und das Urheberrecht liegt beim ursprünglichen Autor. Diese Website übernimmt keine entsprechende rechtliche Verantwortung. Wenn Sie Inhalte finden, bei denen der Verdacht eines Plagiats oder einer Rechtsverletzung besteht, wenden Sie sich bitte an admin@php.cn