Bedingte Operator Unterschiede zwischen C und C++

Question

Ich habe irgendwo gelesen, dass der ?:-Operator in C in C++ ein wenig anders ist, dass es einige Quellcode gibt, der in beiden Sprachen anders funktioniert. Leider kann ich den Text nirgendwo finden. Weiß jemand, was dieser Unterschied ist?

Answer 1

Der Bedingungsoperator in C++ kann einen Lvalue zurückgeben, während C keine ähnliche Funktionalität zulässt.Daher ist die folgende legal ist in C++:

(true ? a : b) = 1; 

dies in C zu replizieren, möchten Sie zurückgreifen, wenn/else oder direkt mit Referenzen befassen:

*(true ? &a : &b) = 1; 

auch in C++, ?: und = Betreiber haben equal precedence and group right-to-left, so dass:

(true ? a = 1 : b = 2); 

gilt C++ Code, aber einen Fehler in C ohne Klammern um die letzte E werfen xpression:

(true ? a = 1 : (b = 2)); 

Answer 2

Der wichtigste praktische Unterschied besteht darin, dass in C die Auswertung von?: Niemals zu einem l-Wert führen kann, wie in C++.

Es gibt weitere Unterschiede in der Definition, die nur wenige praktische Konsequenzen haben. In C++ wird der erste Operand in einen bool konvertiert, in C wird er mit 0 verglichen. Dies ist analog zum Unterschied in der Definition von ==,! = Usw. zwischen C und C++.

In C++ gibt es komplexere Regeln, um den Typ eines Ausdrucks?: Auf der Grundlage der Typen des 2. und 3. Operanden abzuleiten. Dies spiegelt die Möglichkeit benutzerdefinierter impliziter Konvertierungen in C++ wider.

Beispielcode. Gültiges C++; invalid C.

extern int h(int p, int q); 

int g(int x) 
{ 
     int a = 3, b = 5; 

     (x ? a : b) = 7; 

     return h(a, b); 
} 

gcc erzeugt den Fehler: "Fehler: ungültige lvalue in Zuordnung", wenn sie als C Kompilieren, aber der Code kompiliert, ohne Fehler, wenn sie als C++ kompiliert.

Edit: Obwohl: nicht ein L-Wert in C zurückkehren, vielleicht überraschend die Grammatik für: ist:

conditional-expression: 
    logical-OR-expression 
    logical-OR-expression ? expression : conditional-expression 

Das bedeutet, dass a ? b : c = d parst als (a ? b : c) = d obwohl (wegen Bei der Regel "kein L-Wert" kann dies nicht zu einem gültigen Ausdruck führen.

C++ die Grammatik dies ändert:

conditional-expression: 
    logical-or-expression 
    logical-or-expression ? expression : assignment-expression 

Während die Erweiterung bedingter Ausdruck zu ermöglichen, ein l-Wert in einigen Situationen wäre a ? b : c = d gültig ohne die Grammatik Änderung vorgenommen hat, das neue Grammatik Änderungsmittel dass der Ausdruck jetzt gültig ist, aber mit der unterschiedlichen Bedeutung von a ? b : (c = d).

Obwohl ich keine Beweise dafür habe, meine Annahme, dass die Grammatikänderung die Kompatibilität mit existierendem C-Code nicht aufheben konnte, war es wahrscheinlicher, dass die neue Grammatik weniger Überraschungen mit Ausdrücken wie:

erzeugte

make_zero ? z = 0 : z = 1;