Hinzufügen von zwei bool Werte in C/C++

Question

ich versuchte zusammen bool Wert zu schaffen, sagen:

bool i = 0, j = 0, k = 0;
cout << sizeof(i + j + k) << endl;

Das Ergebnis 4 ist, was bedeutet, wird das Ergebnis auf eine 'int' umgewandelt Wert.

Ich möchte fragen: Ist das ein C/C++ Standard-Betrieb? garantiert der Compiler immer, dass der temporäre Wert bei Überlauf in einen größeren Typ konvertiert wird? Vielen Dank!

Danke für die Antworten, eine Frage folgen: sagen, wenn ich es tue: unsigned short i = 65535, j = 65535; cout << sizeof(i + j) << endl; Das Ergebnis ist 4. Warum es ‚int‘ gefördert wurde?

Answer 1

Es ist nicht der Überlauf, der die Umwandlung verursacht, es ist die Tatsache, dass Sie überhaupt arithmetisch gearbeitet haben. In C++ (und C, woher das Verhalten stammt) durchlaufen die Operanden der arithmetischen Grundoperatoren für integrierte Typen eine Reihe von klar definierten Aktionen, bevor die Berechnung durchgeführt wird. Die einfachste dieser Regeln (etwas vereinfacht) besteht darin, dass jeder Typ kleiner als int zu int heraufgestuft wird.

Ihre Nachfolgefrage hat die gleiche Antwort - Ihr short ist kleiner als ein int, so dass es zu einem int befördert wird, bevor die Addition stattfindet.

This StackOverflow question hat mehrere Antworten, die die Werbeaktionen detaillierter beschreiben.

Answer 2

Zuerst teilt sizeof Ihnen nicht mit, dass das Ergebnis in einen int Wert konvertiert wird. Es ist erlaubt, und in der Tat nicht ungewöhnlich, dass bool die gleiche Größe wie int hat.

aber Sie werden in der Tat ein int hier, aber das ist in keinem Zusammenhang mit den Werten (in der Tat kann der Typ nicht die Werte auf die Werte, weil in der Regel abhängig sind, nicht erst zur Laufzeit bekannt sein, während der Typ bei der Kompilierung festgelegt werden müssen,).

Was passiert, ist, dass vor der Zugabe, die bool Werte int befördert zu werden, weil bool als Integer-Typ definiert ist, und Integer-Typen kleiner als intalle erhalten zu int gefördert. Sie fügen dann drei Werte int hinzu (eine Operation, die nicht überläuft, egal welche bool Werte Sie verwenden, da INT_MAX garantiert größer als 3 ist).