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

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;
}

Der Funktionspunkt besteht darin, zu überprüfen, ob eine Zahl eine Primzahl ist oder nicht.

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

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

Ohne das funktioniert der Code nicht richtig.

Was ist die Erklärung?

Es bedeutet genau das Gleiche wie:

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

Eine for-Schleife hat das forSchlüsselwort, gefolgt von Klammern mit drei optionalen Ausdrücken, die durch Semikolons getrennt sind, gefolgt von einem Textkörper, der in jeder Iteration der Schleife ausgeführt wird.

Das Ziel der for-Schleife in Ihrem Beispiel besteht darin, den Wert von countfestzulegen, mit dem zahlin der folgenden if-Anweisung verglichen wird . 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 Hauptteil.

Wenn das ;am Ende weggelassen würde und keine anderen Änderungen vorgenommen würden, würde die if-Anweisung nach der for-Schleife selbst zum Hauptteil der for-Schleife. (Das ist nicht beabsichtigt und würde das Programm brechen, wie Sie beobachtet haben.)

Es ;ist jedoch nicht die einzige Möglichkeit, einen leeren Schleifenkörper zu schreiben, und es ist wahrscheinlich auch nicht die sinnvollste Möglichkeit , einen eigenen Schleifenkörper aus einer einzelnen Zeile in derselben Zeile zu machen. Es funktioniert einwandfrei, aber das Problem ist, dass andere Leser - und vielleicht derselbe Programmierer, der später zum Projekt zurückkehrt - sich fragen, ob es tatsächlich ein Fehler war. Schließlich gibt man beim Codieren in einer Sprache im C-Stil häufig Semikolons an den Zeilenenden ein, sodass es einfach ist, ein zusätzliches Semikolon einzugeben, wenn es nicht dazu gehört.

Das andere Problem ist , dass im Code , in dem eine einzeilige Schleife mit ;als sein Körper ist der gewählte Stil, ist es schwer zu erkennen , wenn jemand tatsächlich hat den Fehler , Putting a gemacht , ;wenn man nicht gehört.

Daher können diese Alternativen vorzuziehen sein:

• Setzen Sie das ;eingerückte Zeichen in die nächste Zeile - wie sh1 vorschlägt
• Schreiben des Schleifenkörpers als leerer Block { }und nicht als leere Anweisung
• Machen Sie den Schleifenkörper zu einer continue;Anweisung, die einfach bewirkt, dass die Schleife zur nächsten Iteration übergeht (was dasselbe ist, was passiert, wenn der Schleifenkörper leer ist) - auch wie sh1 vorschlägt

Das Semikolon am Ende der for-Schleife bedeutet, dass es keinen Körper hat. Ohne dieses Semikolon glaubt C, dass die ifAnweisung der Hauptteil der for-Schleife ist.

Die Syntax der forSchleife ( Iterationsanweisung ) lautet

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

statementkann eine Null-Anweisung sein ( ;). 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 bereitzustellen .

Das Gleiche passiert in

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

;wird verwendet, um der forAnweisung einen leeren Schleifenkörper bereitzustellen. Ohne ;die Anweisung neben der forSchleife wird als ihr Körper betrachtet und ausgeführt.

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

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

(dh eine forSchleife mit einer leeren Anweisung, die zum Inkrementieren eines "Zählers" verwendet wird) entspricht

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

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

Der Kontext kann helfen, den wahren Umfang der Anweisung zu erkennen, aber zwischen einer forSchleife mit einer leeren Anweisung und einer whileSchleife mit einer Anweisung erfordert letztere weniger Arbeit, um ihren Umfang zu verstehen.

Das ;Nach der forSchleife bedeutet einfach, dass die forSchleife nichts weiter tut, als den Zähler zu erhöhen count.

forAussage :

Die for-Anweisung ist eine Schleifenanweisung, deren Struktur eine einfache Initialisierung von Variablen, Ausdruckstests und Variablenmodifikationen ermöglicht. Es ist sehr praktisch, um gegengesteuerte Schleifen herzustellen. Hier ist die allgemeine Form der for-Anweisung:

 for (initialize; test; step)
   statement

[...]

Null-Anweisung :

Die Null-Anweisung ist lediglich ein Semikolon.

 ;

Eine Null-Anweisung macht nichts. Es wird nirgendwo ein Wert gespeichert. Während der Ausführung Ihres Programms vergeht keine Zeit.

Am häufigsten 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 Hauptteil der Schleife 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++)
   ;

Manchmal wird auch eine Null-Anweisung verwendet, um einer Bezeichnung zu folgen, die ansonsten das Letzte in einem Block wäre.

In Ihrem Fall ;ist dies die Null-Anweisung der forAnweisung :

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 wird das ifzur 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.

Die for-Schleife dient nur dazu, den Wert von zu erhöhen count.

Eine forSchleife hat (normalerweise) einen Körper.

wo der Körper in Klammern eingeschlossen ist { }

Für einen einzelnen Anweisungshauptteil sind die geschweiften Klammern jedoch optional.

; ist eine leere Aussage.

Der obige Kombinieren es wird offensichtlich , dass die forSchleife ausführt , bis die Bedingung wird false.

Die for-Schleife durchläuft im Grunde alle Zahlen, die kleiner oder gleich, zahlaber größer als 2 sind, und speichert sie in der Variablen count. Während es all diese Zahlen durchläuft, prüft es, ob zahles durch teilbar ist count. Wenn zahldurch teilbar ist count, wird die Schleife gestoppt. Andernfalls wird die Schleife gestoppt, wenn sie countgleich ist zahl.

Die if-Anweisung nach der for-Schleife prüft, ob countgleich ist zahl. Wenn zahldies der Fall zahlist , muss dies bedeuten, dass die Schleife alle Zahlen kleiner und größer als 2 durchlaufen hat . Dies bedeutet, dass sie durch alle Zahlen kleiner als sie selbst und größer 2 teilbar ist, was zahlPrimzahlen ergibt .

Es gibt die Anweisung an, für die die for-Schleife verwendet wird. Es kann nicht leer sein. Zumindest sollte es eine einzige Aussage enthalten. ;; ist die leere Anweisung, für die die Iteration durchgeführt wird.