Warum kann ich Konstanten als Anweisungen in C verwenden?

Warum zeigt dieses Programm unten keinen Fehler an?

int main (void) {
    "ANGUS";
    1;
    3.14;
    return 0;
}

Jede dieser Anweisungen sind Ausdrücke, die zu einem Wert ausgewertet werden, der dann verworfen wird. Vergleichen Sie es damit, wenn Sie eine Funktion aufgerufen haben, die ein int, ein char oder ein Float zurückgegeben hat, ohne den Rückgabewert zu verwenden. Das ist auch ein Ausdruck, der zu einem Wert ausgewertet wird.

Es ist nicht ungewöhnlich, Funktionen zu haben, die Werte zurückgeben, an denen der Aufrufer interessiert sein kann oder auch nicht, wie zum Beispiel where printf("%d", 9001) gibt die Anzahl der gedruckten Zeichen zurück. Ein Anrufer kann die zurückgegebene Nummer verwenden oder sie einfach ignorieren.

Wenn sich der Compiler beschwert, wenn Sie einen Rückgabewert ignorieren, haben Sie ein sehr lautes Build-Protokoll. Einige Compiler diagnostizieren jedoch (wenn genügend Warnflags aktiviert sind) solche sinnlosen, nebenwirkungslosen Verwendungen von Literalen und Variablen.

Es ist absolut gültig, dass eine Anweisung in C nur ein Wert ist, der verworfen wird. Die meisten Leute wissen nicht, dass genau das passiert, wenn sie Dinge codieren wie:

x++;
printf ("Hello, world\n");

Ersteres ist eigentlich ein Ausdruck, der zufällig den Nebeneffekt hat, die Variable zu inkrementieren, nachdem sie “zurückgegeben” wurde.

Der letztere Funktionsaufruf gibt tatsächlich einen Wert (die Anzahl der gedruckten Zeichen) zurück, der ebenfalls verworfen wird.

Von einem gewissen Standpunkt aus unterscheidet sich das nicht von den Aussagen:

42;
3 * 12;

außer der Tatsache, dass sie keine Nebenwirkungen haben, die sie nützlich machen.

Eigentlich sogar x = 1 ist ein Ausdruck, bei dem das Ergebnis verworfen wird. Das macht es aus x = y = z = 0 möglich, da dies effektiv ist:

(x = (y = (z = 1)));

All dies ist im Abschnitt C99 detailliert beschrieben 6.8.3 Expression and null statements der auszugsweise sagt:

Der Ausdruck in einer Ausdrucksanweisung wird für seine Nebeneffekte wie Zuweisungen und Funktionsaufrufe, die Nebeneffekte haben, als ungültiger Ausdruck ausgewertet.

Es ist vollkommen gültig, dass eine Aussage nur aus einem Ausdruck besteht. In Ihren Beispielen wird damit nichts erreicht, aber es ist trotzdem vollkommen gültig.

Da es in c eine gültige Anweisung ist, aber wenn Sie Java verwenden, erhalten Sie einen Kompilierzeitfehler.

Warum sollte es? Die ersten drei Zeilen in Ihrem main tun nichts und geben 0 zurück; ist ein gültiger Ausdruck.

Wenn Sie gcc zum Kompilieren des Programms verwenden, versuchen Sie, alle Warnungen zu aktivieren (mit dem Parameter -Wall). Dies würde drucken warning: statement with no effect [-Wunused-value]

Weil es gültig ist. Ein String oder eine Zahl ist ein gültiger Ausdruck und ein Ausdruck gefolgt von einem Semikolon ist eine Anweisung (auch informell als Anweisung bezeichnet).

Es ist auch in C++ gültig und hat eine hackige Verwendung in Visual Studio, wo Sie “alle Verweise finden” für eine Aufzählung möchten, Sie können die Aufzählung in einer eigenen Zeile eingeben, die mit einem Semikolon endet, und Sie können das Kontextmenü verwenden um die Referenzen zu finden.