Was ist der Zweck von “;” am Ende der for-Schleife?

Question 1

Ich habe folgenden Code gefunden:

int func_prim (int zahl) {
    int count;
    if (zahl < 0)
        return -1;

    for (count = 2; zahl % count != 0 && zahl >= count; count++);
    if (count == zahl)
        return 1;
    return 0;
}

Die Aufgabe besteht darin, zu prüfen, ob eine Zahl eine Primzahl ist oder nicht.

Ich verstehe nicht, warum die for-Schleife hat ; Am Ende:

                                                            v
for (count = 2; zahl % count != 0 && zahl >= count; count++);

Ohne das funktioniert der Code nicht richtig.

Was ist die Erklärung?

Question 2

Es bedeutet genau dasselbe wie:

for(count = 2; zahl % count != 0 && zahl >= count; count++)
{
}

Question 3

Eine for-Schleife hat die for Schlüsselwort, gefolgt von Klammern, die drei optionale Ausdrücke enthalten, die durch Semikolons getrennt sind, gefolgt von einem Körper, der in jeder Iteration der Schleife ausgeführt wird.

Das Ziel der for-Schleife in Ihrem Beispiel ist es, den Wert von festzulegen countdie verglichen werden zahl in der folgenden if-Anweisung. Dies wird in den durch Semikolons getrennten Ausdrücken erreicht, sodass der Schleifenkörper nichts tun muss.

Da die Schleife nichts tun muss, verwendet sie die leere Anweisung als Rumpf.

Wenn die ; am Ende weggelassen und keine weiteren Änderungen vorgenommen wurden, dann würde die if-Anweisung nach der for-Schleife selbst zum Rumpf der for-Schleife werden. (Das ist nicht beabsichtigt und würde das Programm zerstören, wie Sie bemerkt haben.)

Allerdings besteht der Loop-Körper aus einem Single ; in der gleichen Zeile ist nicht die einzige Möglichkeit, einen leeren Schleifenkörper zu schreiben, und es ist wahrscheinlich auch nicht die vernünftigste Art, dies zu tun. Es funktioniert einwandfrei, aber das Problem ist, dass sich andere Leser – und vielleicht derselbe Programmierer, der später zum Projekt zurückkehrt – fragen könnten, ob es sich tatsächlich um einen Fehler handelt. Schließlich tippt man beim Codieren in einer Sprache im C-Stil ziemlich oft Semikolons am Ende von Zeilen, so dass man leicht ein zusätzliches eintippen kann, wo es nicht hingehört.

Das andere Problem ist, dass im Code eine einzeilige Schleife mit ; Da sein Körper der gewählte Stil ist, ist es schwierig erkenne wenn jemand eigentlich hat den Fehler gemacht, a zu setzen ; wenn man nicht dazugehört.

Daher können diese Alternativen vorzuziehen sein:

setzen die ;eingerückt, in der nächsten Zeile – wie sh1 vorschlägt
Schreiben des Schleifenkörpers als leeren Block, { }anstatt einer leeren Anweisung

Erstellen des Schleifenkörpers a continue; -Anweisung, die einfach bewirkt, dass die Schleife mit ihrer nächsten Iteration fortfährt (was dasselbe ist, was passiert, wenn der Schleifenkörper leer ist) – auch wie sh1 vorschlägt

Question 4

Das Semikolon am Ende der for-Schleife bedeutet, dass sie keinen Körper hat. Ohne dieses Semikolon denkt C die if Die Anweisung ist der Rumpf der for-Schleife.

Question 5

Syntax von for Schleife (iterationsanweisung) ist

for ( clause-1 ; expression-2 ; expression-3 ) statement

statement kann ein sein Null-Aussage (;). C11 6.8.3 sagt

Eine Null-Anweisung (die nur aus einem Semikolon besteht) führt keine Operationen aus.

In Absatz 5 gibt es ein Beispiel

Im Programmfragment
char *s;
/* ... */
while (*s++ != '\0')
    ;
eine Null-Anweisung wird verwendet, um der Iterationsanweisung einen leeren Schleifenkörper zuzuführen.

Dasselbe passiert in

for (count = 2; zahl % count != 0 && zahl >= count; count++);

; wird verwendet, um dem einen leeren Schleifenkörper zuzuführen for Aussage. Ohne ; die Aussage neben dem for Schleife wird als sein Körper betrachtet und ausgeführt.

Question 6

Zusätzlich zu dem, was die anderen hervorragenden Antworten bereits sagen, möchte ich darauf hinweisen

for(count=2; zahl % count != 0 && zahl >= count; count++);

(das ist ein for Schleife mit einer leeren Anweisung zum Erhöhen eines “Zählers”) ist äquivalent zu

count=2;
while(zahl % count != 0  && zahl >= count)
{
    count++;
}

das würde das Ziel des Codes noch klarer machen als einige der aufgelisteten Alternativen: Wenn keine Kommentare vorhanden sind, wie im dargestellten Fall, könnte eine Schleife mit einer leeren Anweisung einen anderen Programmierer verwirren, der den Code (wie er war) pflegen oder verwenden muss der Fall mit dem OP hier).

Der Kontext mag dabei helfen, den wahren Umfang der Aussage zu erkennen, aber zwischen a for Schleife mit einer leeren Anweisung und a while Schleife mit einer Anweisung, letztere erfordert weniger Arbeit, um ihren Umfang zu verstehen.

Question 7

Das ; nach dem for Schleife bedeutet einfach, dass die for Schleife wird nichts weiter tun, als den Zähler zu erhöhen count.

Question 8

for Aussage:

Die for-Anweisung ist eine Schleifenanweisung, deren Struktur eine einfache Initialisierung von Variablen, Testen von Ausdrücken und Ändern von Variablen ermöglicht. Es ist sehr praktisch, um gegengesteuerte Schleifen zu erstellen. Hier ist die allgemeine Form der for-Anweisung:
 for (initialize; test; step)
   statement
[…]

Null-Anweisung:

Das Null-Aussage ist nur ein Semikolon allein.
 ;
Eine Null-Anweisung tut nichts. Es speichert nirgendwo einen Wert. Es führt nicht dazu, dass während der Ausführung Ihres Programms Zeit vergeht.

Meistens wird eine Null-Anweisung als Hauptteil einer Schleifenanweisung oder als einer oder mehrere der Ausdrücke in einer for-Anweisung verwendet. Hier ist ein Beispiel für eine for-Anweisung, die die Null-Anweisung als Schleifenkörper verwendet (und aus Spaß auch die ganzzahlige Quadratwurzel von n berechnet):
 for (i = 1; i*i < n; i++)
   ;
Hier ist ein weiteres Beispiel, das die Null-Anweisung als Hauptteil einer for-Schleife verwendet und auch eine Ausgabe erzeugt:
 for (x = 1; x <= 5; printf ("x is now %d\n", x), x++)
   ;
Eine Null-Anweisung wird manchmal auch verwendet, um einem Label zu folgen, das sonst das Letzte in einem Block wäre.

In Ihrem Fall die ; ist der Null-Anweisung des for Aussage:

int func_prim (int zahl) {
  int count;
  if (zahl < 0)
    return -1;

  for (count = 2; zahl % count != 0 && zahl >= count; count++)
    ;
  if (count == zahl)
    return 1;
  return 0;
}

Ohne sie ist die if wird zur for-Anweisung:

int func_prim (int zahl) {
  int count;
  if (zahl < 0)
    return -1;

  for (count = 2; zahl % count != 0 && zahl >= count; count++)
    if (count == zahl)
      return 1;
  return 0;
}

Daher anders verhalten.