Ist die Ausgabe von printf ("%d %d", c++, c); auch undefiniert?

Kurzem stieß ich auf ein post Was ist die richtige Antwort für cout << c++ << c;? und Frage mich, ob die Ausgabe von

int c = 0;  
printf ("%d %d", c++, c);

ist auch undefiniert??

Studierte ich in Vorträgen, dass die post-fix-und Präfix-Operatoren-Inkrement-Wert erst nach dem aufstehen ein Semikolon. So nach mir, die Ausgabe 0 0 ist richtig!!!!!!

mögliche Duplikate von mehrere '++' arbeiten mit Variablen und Zeiger

InformationsquelleAutor Snehasish | 2012-06-01

c undefined-behavior

19

Studierte ich in Vorträgen, dass die post-fix-und Präfix-Operatoren-Inkrement-Wert erst nach dem aufstehen ein Semikolon.

Senden Sie Ihre Dozentin /Ihr Dozent zu mir, so dass ich ~~nehmen Sie sich einen Baseballschläger, um ihn~~ höflich auf seine Fehler.

Wann genau die Nebenwirkung, die entweder pre - oder postfix ++ und -- angewendet wird, ist unbekannter, abgesehen von der Voraussetzung, dass es passieren wird, bevor die nächste Sequenz zeigen. In einem Ausdruck wie
```
x = a++ * b
```
a aktualisiert werden können sofort nach a++ bewertet wurde, oder das update kann aufgeschoben werden, bis a++ * b wurde ausgewertet und das Ergebnis zugewiesen x, oder irgendwo dazwischen.

Dies ist der Grund, warum Ausdrücke wie i++ * i++ und printf("%d %d", c++, c) und a[i++] = i und eine Vielzahl von anderen sind alle schlecht juju. Erhalten Sie unterschiedliche Ergebnisse auf der Basis der compiler-Optimierung Einstellungen, die umliegenden code, etc. Der Sprache standard explizit lässt sich das Verhalten undefined, so dass der compiler nicht verpflichtet ist, "das richtige tun", was auch immer die richtige sein mag. Denken Sie daran, die definition für Undefiniertes Verhalten ist

3.4.3

1 undefined behavior

Verhalten bei Verwendung einer nonportable oder fehlerhafte Programm-Konstrukt oder fehlerhafter Daten,
für die diese Internationale Norm enthält keine Anforderungen

2 BEACHTEN Sie Mögliche Undefinierte Verhalten reicht von ignorieren der situation völlig mit unvorhersehbaren
Ergebnisse zum Verhalten während der übersetzung oder der Ausführung des Programms in einer Weise dokumentiert Merkmal der
Umgebung (mit oder ohne die Erteilung einer diagnostic-Nachricht), für das beenden einer übersetzung oder
Ausführung (mit der Ausstellung einer Diagnose-Meldung).

3 Beispiel Ein BEISPIEL für Undefiniertes Verhalten ist das Verhalten auf integer-überlauf.

Dies ist eine bewusste design-Entscheidung - die Begründung für das verlassen der Reihenfolge dieser Operationen nicht spezifiziert ist, zu geben, die Umsetzung der Freiheit ordnen Sie die Bewertung, um zu Optimierungszwecken. Allerdings, im Austausch für diese Freiheit, bestimmte Vorgänge nicht genau definierte Ergebnisse.

Beachten Sie, dass ein compiler ist frei, um versuchen zu erkennen, diese Fällen und Ausgabe einer Diagnose; printf("%d %d", c++, c); wäre leicht genug zu fangen, aber das wäre ein narzist zu erkennen, im Allgemeinen Fall. Stell dir vor, die geschrieben worden war printf("%d %d", (*p)++, c); wenn p Punkte zu c, dann ist das Verhalten undefiniert, sonst ist es okay. Wenn p zugeordnet ist, in einer anderen übersetzungseinheit, dann gibt es keine Möglichkeit zu wissen, zur compile-Zeit, ob das ein problem ist oder nicht.

Dieses Konzept ist nicht schwer zu verstehen, dennoch ist es eines der am konsequentesten falsch verstanden (und mis-gelehrt) Aspekte der C-Sprache. Kein Zweifel, dies ist der Grund, warum die Java-und C# - Sprache-Spezifikationen zwingen, eine spezifische Evaluierung, um für alles (alle Operanden werden ausgewertet, von Links nach rechts, und alle Nebenwirkungen, die sofort angewendet werden).
- Gute Antwort-außer, dass Sie nicht das zitieren der sectio nof-standard, der sagt, es ist nicht definiert: "Zwischen der vorherigen und der nächsten Folge zeigen Sie ein Objekt haben, den gespeicherten Wert geändert, höchstens einmal von der Auswertung eines Ausdrucks. Darüber hinaus der Vorherige Wert darf nur gelesen werden, um zu bestimmen, den Wert gespeichert zu werden."
InformationsquelleAutor John Bode
6

Studierte ich in Vorträgen, dass die post-fix-und Präfix-Operatoren-Inkrement-Wert erst nach dem aufstehen ein Semikolon

Dies ist nicht, wie der standard es beschreibt. Ein Reihenfolge Punkt ist eine Stelle im code, die Nebenwirkungen, die aufgetreten sind, die in vorherigen teilen des Codes ausgewertet wurden. Das Komma zwischen den Argumenten einer Funktion ist nicht eine Sequenz Punkt, so ist das Verhalten undefiniert.

Die Reihenfolge der Auswertung der Funktionsargumente nicht spezifiziert. Es gibt keine Garantie, dass die Argumente einer Funktion werden in der Reihenfolge ausgewertet (1, 2, N), so gibt es keine Garantie, dass das Inkrement wird ausgewertet, bevor das zweite argument übergeben wird.

Also nach mir, der Ausgang 0 0 ist richtig!!!!!!

Nein, das Verhalten ist undefiniert, so dass Sie kann nicht vernünftigerweise behaupten, dass die Ausgabe 0 ist 0.
- Nicht definiert, kein unbekannter.
- Ich nicht wusste, dass die Reihenfolge der Auswertung der Funktionsargumente ist undefiniert !!! Vielen Dank für die Aktualisierung meiner Kenntnisse!!
- Aber Im Wikipedia-Artikel ist es geschrieben, dass KOMMA-OPERATOR FÜHRT EINE SEQUENZ ZEIGEN !!! im Gegensatz zu dem, was Sie gesagt haben !!
- Sie Las nicht eng genug. Das ist nicht ein Beispiel der Komma-operator (das ist ein Sequenz-Punkt) und die Reihenfolge der Auswertung in der Funktion Argumente nicht angegeben.
- Oops, sorry.!!!
- Auch das Verhalten ist nicht spezifiziert hinsichtlich der evaluation Auftrag und unbestimmt mit Bezug auf Lesen und aktualisieren c in der gleichen Reihenfolge zeigen
InformationsquelleAutor Ed S.
3

Das Verhalten des Programms ist undefiniert, da es gegen die Anforderungen von 6,5 Ausdrücke:

Zwischen der vorherigen und der nächsten Folge zeigen Sie ein Objekt haben, den gespeicherten Wert geändert, höchstens einmal von der Auswertung eines Ausdrucks. Darüber hinaus der Vorherige Wert darf nur gelesen werden, um festzustellen, der Wert gespeichert werden.

c++ und c sind beide bewertet, ohne eine dazwischenliegende Sequenz Punkt, und der Vorherige Wert von c ist Lesen zu bestimmen, wird der Wert gespeichert werden, indem c++, und bestimmen Sie den Wert des Ausdrucks c.

InformationsquelleAutor R..
2

Ist das Verhalten auf jeden Fall undefiniert, aufgrund der undefinierten Bewertung Reihenfolge der Parameter. Können Sie belegen, dass dieses "undefined Ausgabe" dabei einige Stichproben:
```
printf("%d %d\n", c++, c);
//result: 0 1
printf("%d %d %d\n", c++, c, c++);
//result: 1 2 0
printf("%d %d %d %d\n", c++, c++, c++, c);
//result: 2 1 0 3
printf("%d %d %d %d\n", c++, c, c++, c);
//result: 1 2 0 2
printf("%d %d %d %d\n", c++, c, c, c);
//result: 0 1 1 1
```
- Das Verhalten ist nicht näher durch die evaluation bestellen, aber es ist nicht definiert durch das Lesen der Vorherige Wert von c für das Lesen der Vorherige Wert sowie für die Aktualisierung zur gleichen Zeit in der gleichen Reihenfolge zeigen. Tests wie diese nicht wirklich beweisen, es ist undefiniert, nur Lesen den standard kann man sagen.
InformationsquelleAutor juliomalegria
1

Du hast Recht: es ist nicht definiert. Der Grund dafür ist, dass, obwohl es garantiert ist, dass die drei Argumente für printf() werden ausgewertet, bevor printf() heißt, die Reihenfolge, in der die drei Argumente ausgewertet werden, nicht definiert ist.

Es technisch falsch ist, dass die Inkrementierung erfolgt nur, nach dem Semikolon, übrigens. Was der standard garantiert, dass die Schrittweite wird auftreten, nicht später als das Semikolon. [Tatsächlich, in Ihrem Fall glaube ich, dass der standard garantiert, dass es auftreten wird, bevor die Steuerung an die printf() Funktion-aber jetzt ist diese Antwort ab zu spin-off in Bereiche der pedantischen trivia, also lassen Sie mich lassen Sie die Sache ruhen dort!]

Sowieso, kurz, Sie sind Recht. Das Verhalten ist undefiniert.

Update: Wie @R.. zu Recht feststellt, die zu undefiniertem Verhalten kommt aus dem Mangel an eine Sequenz zwischen Argumenten. Der standard ist sehr vorsichtig in Bezug auf die Partizipien unbekannter und undefined so ist die Korrektur akzeptiert, mit Dank.
- Deine Antwort nur erklärt, warum das Ergebnis bestenfalls unspezifisch; die zu undefiniertem Verhalten kommt aus dem Mangel an eine Sequenz zwischen Argumenten.
- All dieses Gerede von Semikolon ist sinnlos. Sequenz-Punkte ist das, was die Norm bezieht sich auf.
- (Punkt trivia: Die C++11-standard ist, glaube ich, aufgegeben hat der Begriff Sequenz zeigen. Siehe ABS. 1.9.13 durch .15.)
- Das haben Sie, aber diese Frage ist tagged C.
- Lasst das eine Lehre für mich. Du hast Recht.
- Um fair zu sein, ist die Wahl der variable name macht es einfach zu verwirrt werden und denken, eine andere Sprache...
- Haha, das brachte mich zum lachen ein bisschen
InformationsquelleAutor thb
1

Dieses Programm weist eine Kombination der beiden unspezifische Verhalten und Undefiniertes Verhalten. Beginnend mit der unspezifisch Verhalten, die Entwurf der C99-standard in Abschnitt6.5 Absatz 3 sagt:

Die Gruppierung von Operatoren und Operanden wird durch die syntax.74)
Außer, wie angegeben, später (für die Funktion call (), &&, ||, ?:, und
Komma-Operatoren), die Reihenfolge der Auswertung der Teilausdrücke und der
Reihenfolge, in der die Nebenwirkungen, die stattfinden, sind sowohl unspezifisch.

Er sagt auch, außer wie angegeben später und speziell zitiert function-call (), so sehen wir, dass später auf den Norm-Entwurf in Abschnitt 6.5.2.2 Funktionsaufrufe Absatz 10 sagt:

Den Reihenfolge der Auswertung der Funktion Kennung, die der tatsächlichen
Argumente und Teilausdrücke innerhalb des eigentlichen Argumente ist
unbekannter, aber es gibt einen sequence point bevor der eigentliche Aufruf.

So dass wir nicht wissen, ob das Lesen von C oder die Auswertung von C++ geschieht zuerst in dieser code-Zeile:
```
printf ("%d %d", c++, c); 
```
darüber hinaus in Abschnitt 6.5.2.4 Postfix-Inkrement-und Dekrement-Operatoren Absatz 2 sagt:

[...] Nach dem Ergebnis erhalten wird, wird der Wert des Operanden wird um eins erhöht. [...] Die Nebenwirkung der Aktualisierung des gespeicherten Wertes des Operanden, tritt zwischen dem vorherigen und dem nächsten sequence point.

Also alles, was wir wissen, ist, dass bei der Durchführung der post-Inkrement - c aktualisiert werden, nachdem Ihr Wert ist gelesen, aber bevor der nächste Reihenfolge Punkt, was Recht ist vor printf genannt wird, aber sonst nichts. Für die Undefiniertes Verhalten, wenn wir uns an Abschnitt 6.5 Absatz 2 aus dem Norm-Entwurf, sagt:

Zwischen der vorherigen und der nächsten Folge zeigen Sie ein Objekt haben, den gespeicherten Wert
geändert, höchstens einmal von der Auswertung eines Ausdrucks. Darüber hinaus der Vorherige Wert
soll nur gelesen werden, um festzustellen, der Wert gespeichert werden.

In der printf Ausdruck cs vor der Wert gelesen wird, um zu bewerten, sowohl C++ und C und so jetzt sind wir in undefined Gebiet.

InformationsquelleAutor Shafik Yaghmour

Schreibe einen Kommentar

Du musst angemeldet sein, um einen Kommentar abzugeben.

3.4.3