Warum gibt die Zuweisung eines Werts zu einem Bitfeld nicht denselben Wert zurück?

Bitfelder sind durch den Standard unglaublich schlecht definiert. Angesichts dieses Codes struct mystruct {int enabled:1;};, dann wissen wir nicht:

• Wie viel Platz dies einnimmt - wenn es Füllbits/Bytes gibt und wo sie sich im Speicher befinden.
• Wo sich das Bit im Speicher befindet. Nicht definiert und hängt auch von der Endianess ab.
• Ob ein int:n Bitfeld ist als signiert oder nicht signiert anzusehen.

Zum letzten Teil in C17 6.7.2.1/10 heißt es:

Ein Bitfeld wird so interpretiert, dass es einen vorzeichenbehafteten oder vorzeichenlosen Integer-Typ hat, der aus der angegebenen Anzahl von Bits besteht ¹²⁵⁾

Nicht normative Anmerkung zur Erläuterung des Vorstehenden:

¹²⁵⁾ Wie in 6.7.2 oben angegeben, ist es implementierungsdefiniert, ob das Bitfeld mit oder ohne Vorzeichen versehen ist, wenn der tatsächlich verwendete Typspezifizierer int oder ein als int definierter Typendefinitionsname ist .

Falls das Bitfeld als signed int und du machst ein bisschen Größe 1, dann ist kein Platz für Daten, nur für das Vorzeichenbit. Dies ist der Grund, warum Ihr Programm auf einigen Compilern möglicherweise seltsame Ergebnisse liefert.

Gute Übung:

• Verwenden Sie niemals Bitfelder für irgendeinen Zweck.
• Vermeiden Sie die Verwendung des Typs int mit Vorzeichen für jede Form der Bitmanipulation.

Ich kann nicht verstehen, wie es möglich ist, dass wir etwas einstellen und es dann nicht so angezeigt wird, wie es ist.

Fragen Sie sich, warum es kompiliert oder Ihnen einen Fehler liefert?

Ja, es sollte im Idealfall einen Fehler geben. Dies ist auch der Fall, wenn Sie die Warnungen Ihres Compilers verwenden. In GCC mit -Werror -Wall -pedantic:

main.cpp: In function 'int main()':
main.cpp:7:15: error: overflow in conversion from 'int' to 'signed char:1' 
changes value from '1' to '-1' [-Werror=overflow]
   s.enabled = 1;
           ^

Die Begründung, warum dies der Definition der Implementierung überlassen bleibt, im Vergleich zu einem Fehler, hat möglicherweise mehr mit historischen Verwendungen zu tun, bei denen das Erfordernis einer Umwandlung das Brechen alten Codes bedeuten würde. Die Autoren der Norm glauben möglicherweise, dass Warnungen ausreichten, um die Lücke für die Betroffenen zu schließen.

Um ein wenig Vorschrift einzubringen, werde ich die Aussage von @ Lundin wiederholen: "Verwenden Sie niemals Bitfelder für irgendeinen Zweck." Wenn Sie gute Gründe haben, auf ein niedriges Niveau zu kommen und Ihr Gedächtnis genau zu beschreiben Layout-Details, die Sie zu der Annahme bringen würden, dass Sie zunächst Bitfelder benötigen, und die anderen damit verbundenen Anforderungen, die Sie mit ziemlicher Sicherheit haben, werden auf ihre Unterspezifikation stoßen.

(TL; DR - Wenn Sie anspruchsvoll genug sind, um legitimerweise Bitfelder "zu benötigen", sind sie nicht gut genug definiert, um Ihnen zu dienen.)

Dies ist ein durch die Implementierung definiertes Verhalten. Ich gehe davon aus, dass die Computer, auf denen Sie dies ausführen, zwei vorzeichenbehaftete Ganzzahlen verwenden, und behandle int in diesem Fall als vorzeichenbehaftete Ganzzahl, um zu erklären, warum Sie keinen if-Teil der if-Anweisung eingeben, wenn true.

struct mystruct { int enabled:1; };

deklariert enable als 1-Bit-Bitfeld. Da es signiert ist, lauten die gültigen Werte -1 Und 0. Das Setzen des Feldes auf 1 Überläuft das Bit, das auf -1 Zurückgeht (dies ist undefiniertes Verhalten).

Im Wesentlichen ist bei einem vorzeichenbehafteten Bitfeld der Maximalwert 2^(bits - 1) - 1, was in diesem Fall 0 Ist.

Sie können sich das so vorstellen, dass im Zweierkomplementsystem das Bit ganz links das Vorzeichenbit ist. Jede vorzeichenbehaftete Ganzzahl mit dem am weitesten links stehenden Bit ist daher ein negativer Wert.

Wenn Sie eine 1-Bit-Ganzzahl mit Vorzeichen haben, enthält diese nur das Vorzeichenbit. Wenn Sie diesem einzelnen Bit also 1 Zuweisen, kann nur das Vorzeichenbit gesetzt werden. Beim Zurücklesen wird der Wert also als negativ interpretiert und ist somit -1.

Die Werte, die eine 1-Bit-Ganzzahl mit Vorzeichen enthalten kann, sind -2^(n-1)= -2^(1-1)= -2^0= -1 und 2^n-1= 2^1-1=0

Es ist nichts Falsches an Ihrem Verständnis von Bitfeldern, das ich sehen kann. Ich sehe, dass Sie mystruct zuerst als struct mystruct {int enabled: 1;} und dann als struct mystruct s; neu definiert haben. Was Sie hätten codieren sollen, war:

#include <stdio.h>

struct mystruct { int enabled:1; };
int main()
{
    mystruct s; <-- Get rid of "struct" type declaration
    s.enabled = 1;
    if(s.enabled == 1)
        printf("Is enabled\n"); // --> we think this to be printed
    else
        printf("Is disabled !!\n");
}