Warum werden Semikolons und Kommas für Schleifen vertauscht?

In vielen Sprachen (eine breite Liste von C bis JavaScript):

• durch Kommas ,getrennte Argumente (zB func(a, b, c)), während
• Semikolons ;trennen sequentielle Anweisungen (zB instruction1; instruction2; instruction3).

Warum ist diese Zuordnung für for-Schleifen in denselben Sprachen umgekehrt :

for ( init1, init2; condition; inc1, inc2 )
{
    instruction1;
    instruction2;
}

statt (was mir natürlicher erscheint)

for ( init1; init2, condition, inc1; inc2 )
{
    instruction1;
    instruction2;
}

?

Sicher, forist ( in der Regel) keine Funktion, sondern Argumente ( das heißt init, condition, increment) verhalten sich eher wie Argumente einer Funktion als eine Folge von Anweisungen.

Liegt es an historischen Gründen / einer Konvention oder gibt es eine gute Begründung für den Austausch von ,und ;in Schleifen?

Warum wird eine solche Zuordnung in denselben Sprachen für for-Schleifen umgekehrt?

Technisch ist das Mapping nicht "umgekehrt".

• Die durch Kommas getrennten Dinge sind keine Parameter. In (mindestens) C ++ und Java können sie Deklarationen sein, es handelt sich also nicht einmal um Ausdrücke.
• Die durch Semikolons getrennten Dinge sind ebenfalls keine (einzelnen) Anweisungen.

In Wirklichkeit haben wir hier einen anderen syntaktischen Kontext, in dem dieselben Symbole unterschiedlich verwendet werden. Wir vergleichen nicht Gleiches mit Gleichem, daher gibt es keine Abbildung und kein starkes Argument für eine konsistente Abbildung auf der Grundlage semantischer Konsistenz.

Warum also nicht umgekehrt?

Nun, ich denke, die Gründe dafür liegen in der "natürlichen" Bedeutung von ,und ;. In englischer Sprache ist ein Semikolon "stärker" als ein Komma, und die Glyphe für ein Semikolon ist sichtbarer als ein Komma. Diese beiden Dinge lassen das derzeitige Arrangement (für mich!) Natürlicher erscheinen.

Die einzige Möglichkeit, sicher zu wissen, warum die Syntax gewählt wurde, wäre, wenn die C-Designer uns sagen könnten, was sie im Jahr 1970 gedacht haben. Ich bezweifle, dass sie eine klare Erinnerung an technische Entscheidungen haben, die so weit zurückliegen.

Ist es aus historischen Gründen / eine Konvention

Ich kenne keine Sprache vor C, die eine C-ähnliche Syntax für "for" -Schleifen verwendet hat:

• Donal Fellows bemerkt, dass BCPL und B kein äquivalentes Konstrukt hatten.

• Die Äquivalente FORTRAN, COBOL und Algol-60 (und Pascal) waren weniger aussagekräftig und besaßen Syntaxen, die nicht der C-for-Syntax entsprachen.

Aber Sprachen wie C, C ++ und Java, die nach C kamen, leihen eindeutig ihre "for" -Syntax von C.

Wir schreiben Schleifen wie:

 for(x = 0; x < 10; x++)

Die Sprache könnte so definiert sein, dass Schleifen wie folgt aussehen:

 for(x = 0, x < 10, x++)

Denken Sie jedoch an dieselbe Schleife, die mit einer while-Schleife implementiert wurde:

 x = 0;
 while(x < 10)
 {
     x++;
 }

Beachten Sie, dass die x=0und x++sind Aussagen, beendet durch Semikolons. Es sind keine Ausdrücke wie in einem Funktionsaufruf. Semikolons werden zum Trennen von Anweisungen verwendet, und da zwei der drei Elemente in einer for-Schleife Anweisungen sind, wird dies dort verwendet. Eine for-Schleife ist nur eine Abkürzung für eine solche while-Schleife.

Darüber hinaus verhalten sich die Argumente nicht wirklich wie Argumente für eine Funktion. Die zweite und dritte werden wiederholt ausgewertet. Es ist wahr, dass sie keine Sequenz sind, aber sie sind auch keine Funktionsargumente.

Die Tatsache, dass Sie Kommas verwenden können, um mehrere Anweisungen in der for-Schleife zu haben, können Sie auch außerhalb der for-Schleife ausführen.

x = 0, y= 3;

ist eine absolut gültige Aussage auch außerhalb einer for-Schleife. Ich kenne keine praktische Verwendung außerhalb der for-Schleife. Der Punkt ist jedoch, dass Kommas Anweisungen immer unterteilen. Dies ist keine Besonderheit der for-Schleife.

In C und C ++ ist dies der Kommaoperator, nicht nur ein Komma.

Die Grammatik für eine forSchleife ist so etwas wie

for ([pre-expression]; [terminate-condition]; [increment-expression]) body-expression

Im Falle Ihrer Frage:

pre-expression -> init1, init2
terminate-condition -> condition
increment-expression -> inc1, inc2

Beachten Sie, dass Sie mit dem Komma-Operator mehrere Aktionen in einer Anweisung ausführen können (wie es der Compiler sieht). Wenn Ihr Vorschlag umgesetzt würde, wäre die Grammatik unklar, wann der Programmierer beabsichtigt, eine Komma-Operator-Anweisung oder ein Trennzeichen zu schreiben.

Kurz gesagt, ;bedeutet das Ende einer Anweisung. Eine forSchleife ist ein Schlüsselwort, gefolgt von einer Liste optionaler Anweisungen, die von umgeben sind (). Die Komma-Operator-Anweisung ermöglicht die Verwendung ,in einer einzelnen Anweisung.

Es gibt keine konzeptionelle Umkehrung.

Semikolons in C stehen für größere Unterteilungen als Kommas. Sie trennen Aussagen und Erklärungen.

Die Hauptunterteilung in der for-Schleife besteht darin, dass es drei Ausdrücke (oder eine Deklaration und zwei Ausdrücke) und einen Body gibt.

Die Kommas, die Sie in C for-Schleifen sehen, sind nicht Teil der Syntax der for-Schleife. Sie sind nur Manifestationen des Kommaoperators.

Kommas sind wichtige Trennzeichen zwischen Argumenten in Funktionsaufrufen und zwischen Parametern in Funktionsdeklarationen. Semikolons werden jedoch nicht verwendet. Die for-Schleife ist eine spezielle Syntax. es hat nichts mit Funktionen oder Funktionsaufrufen zu tun.

Vielleicht ist dies etwas spezielles für C / C ++, aber ich poste diese Antwort, da die Syntax der von Ihnen beschriebenen Sprachen hauptsächlich von der C-Syntax beeinflusst wird.

Abgesehen davon, dass die zuvor beantworteten Fragen aus technischer Sicht zutreffen, liegt dies auch daran, dass in C (und C ++) das Komma tatsächlich ein Operator ist, den Sie sogar überladen können . Die Verwendung eines Semikolon-Operators ( operator;()) würde möglicherweise das Schreiben von Compilern erschweren, da das Semikolon der Terminator für den axiomatischen Ausdruck ist.

Das Interessante daran ist, dass das Komma in der gesamten Sprache als Trennzeichen verwendet wird. Es scheint, als sei der Komma-Operator eine Ausnahme, der hauptsächlich verwendet wird, um for-loops mit mehreren Bedingungen zum Laufen zu bringen. Also, was ist der Deal?

In der Tat das operator,ist das gleiche wie in den Definitionen, Argumentlisten zu tun gebaut, und so weiter: Es hat Build gewesen separates Ausdrücke - etwas , das syntaktische Konstrukt ,nicht tun kann. Sie kann nur das trennen, was in der Norm definiert wurde.

Das Semikolon wird jedoch nicht getrennt - es wird beendet . Und dies führt uns auch zurück zu der ursprünglichen Frage:

for (int a = 0, float b = 0.0f; a < 100 && b < 100.0f; a++, b += 1.0f)
    printf("%d: %f", a, b);

Das Komma trennt die Ausdrücke in die drei Schleifenteile, während das Semikolon einen Teil (Initialisierung, Bedingung oder nachträglicher Gedanken) der Schleifendefinition beendet.

Neuere Programmiersprachen (wie C #) erlauben möglicherweise keine Überladung des Komma-Operators, aber sie haben höchstwahrscheinlich die Syntax beibehalten, da sich eine Änderung irgendwie unnatürlich anfühlt.

Für mich sind sie eher weniger bedeutungsähnlich zu ihrem sprachlichen Sinn. Kommas werden bei Listen und Semikolons mit mehreren getrennten Teilen verwendet.

In haben func(a, b, c)wir eine Liste von Argumenten.

instruction1; instruction2; instruction3 ist vielleicht eine Liste, aber eine Liste von separaten und unabhängigen Anweisungen.

Während for ( init1, init2; condition; inc1, inc2 )wir in sind, haben wir drei separate Teile - eine Liste von Initialisierungen, eine Bedingung und eine Liste von inkrementellen Ausdrücken.

Der einfachste Weg, es zu sehen, ist der folgende:

for(x = 0; x < 10; x++)

ist:

for(
x = 0;
x < 10;
x++
)

Mit anderen Worten, das Ding x = 0 ist eigentlich eher eine Anweisung als ein Parameter. Sie fügen dort eine Aussage ein. Daher werden sie durch Semikolon getrennt.

In der Tat gibt es keine Möglichkeit, sie durch Komma zu trennen. Wann fügen Sie das letzte Mal Dinge wie x <10 als Parameter ein? Sie tun dies, wenn Sie x <10 einmal rechnen und das Ergebnis dieser Operation als Parameter einfügen möchten. In der Kommawelt würden Sie also x <10 setzen, wenn Sie den Wert von x <0 an eine Funktion weitergeben möchten.

Hier legen Sie fest, dass das Programm bei jedem Durchlauf der Schleife x <10 prüfen soll. Das ist also eine Anweisung.

x ++ ist definitiv eine andere Anleitung.

Das sind alles Anweisungen. Sie sind also durch ein Semikolon getrennt.