Seiteneffekte Postinkrement < C/C++ < Programmiersprachen < Praxis < Informatik < Vorhilfe
|
| Status: |
(Frage) beantwortet  | | Datum: | 00:53 Mi 24.06.2009 | | Autor: | Marc |
Hallo,
in einer Klausuraufgabe wurde (in etwa) folgendes gefragt:
| 1: | int a = 5;
| | 2: | a = a--; |
Welchen Wert hat a nach der Ausführung?
Meine Frage ist nun: Ist so ein Konstrukt überhaupt definiert? Und falls ja, so eines auch:
| 1: | int a = 5;
| | 2: | a = a++ + a++; |
Das erste scheint von einem GNU C Compiler (GCC 4.2.4) übersetzt zu werden in:
Ergebnis: a=4;
Das zweite in:
| 1: | a=a+a;
| | 2: | a=a+1;
| | 3: | a=a+1 |
Ergebnis: a=12;
Gerade beim zweiten Beispiel hätte ich vermutet, dass das erste a++ die Variable a direkt inkrementiert (nach der Einsetzung des vorherigen Wertes), so dass das zweite a++ den Wert 6 in den Term einsetzt.
Interessant ist auch:
| 1: | int a=5;
| | 2: | a = ++a + ++a; |
Hier hat a den Wert 14.
Der Compiler scheint also jedes Vorkommen von "++a" in einem Ausdruck durch "a+1" und "a++" durch "a" zu ersetzen und in beiden Fällen sich zu merken, dass nach dem Ausdruck noch "a=a+1" auszuführen ist.
Meine Frage ist: Ist dieses Vorgehensweise so im Standard von C festgelegt oder ist sie Compiler-spezifisch?
Viele Grüße,
Marc
|
|
| |
|
| Status: |
(Antwort) fertig  | | Datum: | 08:50 Mi 24.06.2009 | | Autor: | fabba |
Dein zweites Beispiel ist definitiv uneindeutig, wenn nicht sogar "undefined behaviour" (das Programm könnte Deine Festplatte formatieren). Hat was mit "Sequence points" zu tun.
Der C-Standard legt das genau fest.
Beim ersten bin ich mir grad nicht sicher, denke aber, das ist ebenfalls ungültig. Ich kann später mal nachgucken. Zum Selbst-Nachlesen gibts eine unoffizielle Version des Standards via Google "n1256", man muss sich aber durch die Formulierungen finden ^^
Edit:
In Fußnote 70 (73 in N1256), gehörend zu 6.5#2, ISO/IEC 9899:1999, werden die folgenden Beispiele gegeben und als "undefined" bezeichnet:
i = ++i + 1;
a[i++] = i;
Handelt sich also in beiden von Dir benannten Fällen um undefiniertes Verhalten, das heißt die eine oder die andere Interpretation ist möglich, oder das Programm kann an dieser Stelle Beethovens Fünfte spielen (oder langweilger: abstürzen). So sprach der C-Standard.
Korrekte Antwort auf die Klausurfrage also: a kann nach der Ausführung jeden beliebigen, oder gar keinen Wert haben.
|
|
|
|
