Turbo C++: Warum druckt printf erwartete Werte, wenn keine Variablen an ihn übergeben werden?

Question

Eine Frage wurde in einem Multiple-Choice-Test gefragt: Was ist die Ausgabe des folgenden Programms sein wird:

#include <stdio.h> 

int main(void) 
{ 
    int a = 10, b = 5, c = 2; 

    printf("%d %d %d\n"); 

    return 0; 
} 

und die Entscheidungen waren verschiedene Permutationen von 10, 5 und 2. Aus irgendeinem Grund funktioniert es in Turbo C++, die wir in der Schule verwenden. Es ist jedoch nicht kompiliert mit gcc (die eine Warnung gibt, wenn -Wall aktiviert ist) oder Clam (die Wformat aktiviert hat und standardmäßig eine Warnung gibt) oder in Visual C++. Die Ausgabe ist wie erwartet Garbage-Werte. Meine Vermutung ist, dass es etwas mit der Tatsache zu tun hat, dass entweder Turbo C++ 16-Bit ist und auf 32-Bit Windows XP läuft, oder dass TCC schrecklich ist, wenn es um Standards geht.

Answer 1

Der Code lautet undefined behaviour.

In Turbo C++ passiert es einfach, dass die drei Variablen genau an den Positionen auf dem Stack liegen, an denen das fehlende printf() Argument stehen würde. Dies führt dazu, dass sich das undefinierte Verhalten manifestiert, indem die "korrekten" Werte gedruckt werden.

Sie können jedoch nicht vernünftigerweise darauf vertrauen, dass dies der Fall ist. Selbst die geringste Änderung an Ihrer Build-Umgebung (z. B. verschiedene Compiler-Optionen) könnte die Dinge auf eine unangenehme Art und Weise zerstören.

Answer 2

Es ist ein undefined behaviour. Es könnte also alles sein.

Versuchen

printf("%d %d%d", a,b,c) 

Grund zu verwenden: - Lokale Variablen werden genannt auf dem Stapel und printf in Turbo C++ sieht sie in der gleichen Reihenfolge, in der sie in dem Stapel zugewiesen wurden.

SUGGESTION (Von Kommentare): -

zu verstehen, warum es mit einem bestimmten Compiler in einer bestimmten Art und Weise verhält, kann bei der Diagnose von Problemen nützlich sein, aber machen keine andere Verwendung der Informationen.

Answer 3

Die Antwort hier ist, dass das Programm alles tun konnte - das ist undefiniertes Verhalten. Nach printf() Dokumentation (Hervorhebung von mir):

Standardmäßig werden die Argumente in der angegebenen Reihenfolge verwendet, wobei jede ‚*‘ und jeder Konvertierungsspezifizierer für das nächste Argument fragt (und es ist ein Fehler, wenn unzureichend viele Argumente angegeben).

Wenn Ihr Multiple-Choice-Test keine Wahl für "undefiniertes Verhalten" hat, ist dies ein fehlerhafter Test. Unter dem Einfluss von undefiniertem Verhalten ist die beliebige Antwort auf eine solche Multiple-Choice-Testfrage technisch korrekt.

Answer 4

Was tatsächlich passiert, ist, dass Argumente normalerweise auf dem Aufruf-Stapel übergeben werden. Lokale Variablen sind auch auf dem Call-Stack übergeben, und so printf() sieht diese Werte, in welcher Reihenfolge der Compiler beschlossen, sie dort zu speichern.

Dieses Verhalten, sowie viele andere, sind unter dem Dach der undefined behavoir

Answer 5

Nein, es ist nicht im Zusammenhang mit Architektur erlaubt. Es hängt damit zusammen, wie TurboC++ den Stack handhabt. Die Variablen a, b und c sind Einheimische und als solche im Stapel zugeordnet. printf erwartet auch die Werte im Stack. Anscheinend fügt TurboC++ dem Stack nach den Locals nichts anderes hinzu und printf kann sie als Parameter übernehmen. Nur Zufall.