Was passiert in “? :”? Ich habe keine Ahnung über den Rückgabetyp

Ich finde ((1 ? (int)1 : (unsigned int)2) > -1) ergibt sich 1 (wahr), aber eigentlich ist es so 0 (false) in Visual Studio 2017.

Ich denke, der Wert von (1 ? (int)1 : (unsigned int)2) sollte sein (int)1Weil 1 ? stimmt, und 1 > -1 wäre wahr.

Ich kenne den Grund nicht, warum das Endergebnis dieses Ausdrucks falsch ist.

Beim Casting versuche ich gerne ((int)(1 ? (int)1 : (unsigned int)2) > -1)es kehrt zurück 1 (Stimmt).

signed int test = -1;
signed int si = 1;
unsigned int ui = 2;

printf("%d\n", ((1 ? si : ui) > test));
return 0;

Ich erwarte, dass die Ausgabe sein wird 1aber die eigentliche Ausgabe ist 0.

Die Art von a ? b : c ist nicht abhängig a. Sie wird bedingungslos durch die Typen bestimmt b und c. Die vollständigen Regeln sind kompliziert, aber bei arithmetischen Operanden wird der Typ durch die üblichen arithmetischen Konvertierungen bestimmt. Tatsächlich werden die beiden Operanden in einen gemeinsamen Typ konvertiert. Zum int und unsigned intder resultierende Typ ist unsigned int.

Der Bedingungsoperator, ? : ist in Abschnitt 6.5.15 des C 2018-Standards beschrieben. Absatz 4 besagt, dass das Ergebnis „in den unten beschriebenen Typ umgewandelt“ wird.

Absatz 5 beschreibt das Ergebnis für arithmetische Typen, Strukturen und Vereinigungen:

Wenn sowohl der zweite als auch der dritte Operand einen arithmetischen Typ haben, ist der Ergebnistyp, der durch die üblichen arithmetischen Konvertierungen bestimmt würde, wenn sie auf diese beiden Operanden angewendet würden, der Typ des Ergebnisses. Wenn beide Operanden den Typ Struktur oder Union haben, hat das Ergebnis diesen Typ. Wenn beide Operanden vom Typ void sind, hat das Ergebnis den Typ void.

Arithmetische Typen sind Integer- und Fließkommatypen gemäß 6.2.5 18. (Dazu gehören sowohl reelle als auch komplexe Typen.) Die üblichen arithmetischen Konvertierungen sind in 6.3.1.8 1 beschrieben, und zwar (in meiner Zusammenfassung nicht zitiert):

• Wenn es sich bei einem von beiden um einen komplexen Typ handelt, ist das Ergebnis komplex, und die verbleibenden Regeln beschreiben den Typ der Real- und Imaginärteile. Andernfalls ist das Ergebnis reell und die verbleibenden Regeln beschreiben seinen Typ.
• Wenn beides ist long doubleDas Ergebnis ist long double.
• Andernfalls, wenn beides ist doubleDas Ergebnis ist double.
• Andernfalls, wenn beides ist floatDas Ergebnis ist float.
• Andernfalls werden die Integer-Promotions auf jeden Operanden angewendet (diese sind in 6.3.1.1 2 angegeben), und dann werden die beiden Typen in einen gemeinsamen Integer-Typ konvertiert. Die vollständigen Regeln dafür sind etwas kompliziert, verwenden ein erklärungsbedürftiges Rangkonzept und decken einige esoterische Situationen ab, daher fasse ich sie nur für normale Situationen zusammen: Wenn beide Arten sind int oder schmaler (d. h. weniger Bits oder die gleiche Anzahl von Bits, aber mit Vorzeichen statt ohne Vorzeichen), ist das Ergebnis int. Ansonsten, wenn beides ist unsigned int oder schmaler, das Ergebnis ist unsigned int. Andernfalls ist das Ergebnis der breitere Typ.

Die Struktur-, Union- und Void-Regeln sind klar: Die beiden Operanden müssen denselben Typ haben, und das ist das Ergebnis.

Absatz 6 beschreibt das Ergebnis für Zeiger:

Wenn sowohl der zweite als auch der dritte Operand Zeiger sind oder einer eine Nullzeigerkonstante und der andere ein Zeiger ist, ist der Ergebnistyp ein Zeiger auf einen Typ, der mit allen Typbezeichnern der Typen qualifiziert ist, auf die beide Operanden verweisen. Wenn außerdem beide Operanden Zeiger auf kompatible Typen oder auf unterschiedlich qualifizierte Versionen von kompatiblen Typen sind, ist der Ergebnistyp ein Zeiger auf eine entsprechend qualifizierte Version des zusammengesetzten Typs; wenn ein Operand eine Nullzeigerkonstante ist, hat das Ergebnis den Typ des anderen Operanden; andernfalls ist ein Operand ein Zeiger auf Leere oder eine qualifizierte Version von Leerein diesem Fall ist der Ergebnistyp ein Zeiger auf eine entsprechend qualifizierte Version von Leere.

Zusammengefasst heißt das:

• Wenn einer der Operanden Qualifizierer (const, volatile, restrictoder _Atomic), schließen Sie diese in den Ergebnistyp ein.
• Wenn die beiden Typen unterschiedlich, aber kompatibel sind (z. B. ein Array unbekannter Größe und ein Array bekannter Größe, beide mit demselben Elementtyp), dann kombinieren Sie die beiden Typen. (Andere Kombinationsmöglichkeiten neben der Array-Größe umfassen die Elemente der Arrays, die unterschiedliche, aber kompatible Typen sind, eine Funktion mit und ohne Parameterliste und die Parameter für Funktionen, die unterschiedliche, aber kompatible Typen sind.)

Sie sollten vorzeichenbehaftete und vorzeichenlose Werte nicht mischen, es sei denn, Sie wissen genau, was sich abspielt (und Sie wollen dieses Verhalten). [checkout here why]. Hinter den Kulissen, wie Sie haben unsigned Zahl in Ihrem Ausdruck, C wird Ihr Größer-als-Operator zu einem ausgewertet unsigned integer >. Daher wird Ihr Vergleich nicht bewertet true wie “unsigned -1„ist größer als dein unsigned 1.

Das Ergebnis Ihrer ?: Der Operator hat einen vorzeichenlosen Typ, da es sich um die handelt gemeinsames Typ für int und unsigned (Ihr 2. und 3. Operand). Das Ergebnis hat den “erwarteten” Wert von 1aber sein Typ ist unsigned.

Der Rest hat damit nichts zu tun ?: überhaupt. Es ist in zahlreichen Antworten auf diese häufig gestellte Frage gut beschrieben: Vergleichsoperation für vorzeichenlose und vorzeichenbehaftete Ganzzahlen

Nur um es zu nummerieren, wenn ich diesen Code lösche:

unsigned x = (unsigned)-1;

In ein Programm, das ich gerade debugge, hat X den Wert 4294967295 (UINT_MAX), dh Ihr Programm “sieht” den Vergleich etwa so:

((1 ? (int)1 : (unsigned int)2) > 4294967296)

(Hätte dies als Kommentar eingegeben, aber ich habe nicht den Ruf.)