Keine loop-Bedingung in der for-und while-Schleife

while(cond) //fine
for(;cond;) //fine

aber wenn ich entfernen Sie die bedingten Teil 

while() //syntax compilation error 
for(;;) //Infinite loop

Wie diese Schleifen werden intern umgesetzt ?
Oder,wie funktioniert compiler (parser), wissen, dass der leere Zustand, in while ist fehlerhaft und in for als Unendlich?

Ich nicht finden, etwas über diese besonders, ich glaube, Leute wie mich (die Anfänger) in C haben vielleicht gleiche Verwirrung

  • Der compiler weiß, weil das ist, wie Sie definiert sind?
InformationsquelleAutor Omkant | 2012-10-30
  1. 11

    Der standard verlangt, dass die weggelassen Bedingung für for Schleife wird ersetzt durch eine nicht-null Konstante:

    Vom C11 6.8.5.3: (Hervorhebung von mir)

    6.8.5.3 Die for-Anweisung

    1 Der Erklärung auf (§- 1 ; Ausdruck 2 ; Ausdruck 3 )
    Anweisung verhält sich wie folgt: Der Ausdruck Ausdruck-2, ist die
    controlling-Ausdruck, der ausgewertet wird vor jeder Ausführung des
    loop-Körper. Der Ausdruck Ausdruck-3 ausgewertet wird, ist als eine leere
    Ausdruck nach jeder Ausführung der Schleife. Wenn-Klausel-1 ist ein
    Erklärung, der Umfang der Variablen, die Sie deklariert ist der Rest
    für die Erklärung und die gesamte Strecke, einschließlich der beiden anderen
    Ausdrücken; es ist erreicht, in der Reihenfolge der Ausführung vor dem ersten
    Bewertung der Kontrolle der expression. Wenn-Klausel-1 ist ein
    Ausdruck wird ausgewertet, als ein void-Ausdruck vor dem ersten
    Bewertung der Kontrolle der expression.134)

    2-Klausel-1 und expression-3 können weggelassen werden. Eine ausgelassene Ausdruck-2, ist ersetzt durch eine von null verschiedene Konstante ist.

    Da es keine solche Anforderung für while loop (wenn die Bedingung weggelassen), ich glaube, es bleibt der Implementierung des Compilers.

    InformationsquelleAutor P.P.
  2. 3

    Es gibt keine technischen Gründe erklären, warum das eine funktioniert und der andere nicht. Es ist eine menschliche Faktoren, die Berücksichtigung der Sprache der Designer. Sie fühlte, dass eine unendliche Schleife mit for (;;) mehr Sinn als while (). Möglicherweise waren Sie beeinflusst von ALGOL, eine Sprache, die von Höhlenmenschen.

    InformationsquelleAutor wallyk
  3. 3

    ...wie funktioniert compiler (parser), wissen, dass der leere Zustand, während die Fehler und so Unendlich?

    Weil die Sprache, die definition gibt es, in der sowohl die syntax (Grammatik) und Semantik.

    Hier ist die syntax für eine while Schleife:

    while ( expression ) statement

    und hier ist die syntax für eine for Schleife (wie der C2011):

    for ( expressionopt ; expressionopt ; expressionopt ) statement
for ( declaration expressionopt ; expressionopt ) statement

    Tiefgestellt opt in jedem expressionopt im for - Anweisung gibt an, dass der entsprechende Ausdruck ist optional. Verstärkt wird dies durch den text:

    6.8.5.3 Die for-Anweisung

    ...

    2 Beide - Klausel-1 und Ausdruck-3 kann weggelassen werden. Eine ausgelassene Ausdruck-2 wird ersetzt durch eine
    von null verschiedene Konstante ist.

    Dagegen, die Kontrolle der expression der while Aussage ist nicht als optional markiert, die auch verstärkt im text:

    6.8.5.1 The while-Anweisung

    1 Die Auswertung der Kontrolle der expression erfolgt vor jeder Ausführung der Schleife.

    Nicht viel Raum, es zu interpretieren, dass die Kontrolle der expression kann ausgelassen werden.

    InformationsquelleAutor John Bode
  4. 2

    Die Bedingungen bestimmen, syntax und semantische Korrektheit eines Programms kodiert die Sprache, die Grammatik. Sprache Grammatiken gemacht werden, die durch Sprache, Macher, Sie bestimmen die Sprache, look-and-feel, wie im Fall des C.
    Ich nehme an, dass die grundlegende intuition hinter for(;;) und while(1) ist, dass ein Teil der for(;;) kann weggelassen werden, wenn while(1) ist völlig ausreichend für die Erstellung von Endlosschleifen, in der Erwägung, dass while() wäre ein hacky-Ecke Fall nur aus einem schmalen Gehäuse.

    • ja Stimme ich zu ,+1
    InformationsquelleAutor Dmytro Sirenko
  5. 2

    Es ist Teil der C-syntax. Jede Programmiersprache hat Ihre formale Grammatik-Spezifikation (hier ist C formale Grammatik in BNF - das also, was syntaktisch korrekt ist und was nicht. In C formale Grammatik kann man sehen, dass während muss das Aussehen:

    'while' '(' exp ')' stat

    Worte/Symbole in einfache Anführungszeichen (terminal-Symbole) sind zwingend erforderlich: 'während', '(' und ')'.
    Nicht-zitierten Worte (nicht-terminal-Symbole) sind etwas das ist auch angegeben in der formalen Grammatik. Wenn Sie analysierten C formale Grammatik, würden Sie sehen, dass es exp kann nicht werden nichts. Auf der anderen Seite, wenn Sie sah für würden Sie sehen, dass es Aussehen kann:

    'for' '(' exp ';' exp ';' exp ')' stat

    | 'for' '(' exp ';' exp ';' ')' stat

    | 'for' '(' exp ';' ';' exp ')' stat

    | 'for' '(' exp ';' ';' ')'stat

    | 'for' '(' ';' exp ';' exp ')' stat

    | 'for' '(' ';' exp ';' ')'stat

    | "für' '(' ';' ';' exp ')' stat

    | "für' '(' ';' ';' ')' stat

    ( | bedeutet ODER).

    Beim kompilieren Programm, lexikalische Analysator (Teil des Compilers) prüft, ob der code syntaktisch korrekt ist (D. H. entspricht der formalen Grammatik) und abhängig von der Quell-code führt andere Aktionen aus.

    InformationsquelleAutor vk_lt
Schreibe einen Kommentar