Woher weiß der Compiler, dass das Komma in einem Funktionsaufruf kein Kommaoperator ist?

Question 1

Betrachten Sie den Funktionsaufruf (calling int sum(int, int))

printf("%d", sum(a,b));

Wie entscheidet der Compiler, dass die , im Funktionsaufruf verwendet sum(int, int) ist kein Kommaoperator?

HINWEIS: Ich wollte den Kommaoperator eigentlich nicht im Funktionsaufruf verwenden. Ich wollte nur wissen, woher der Compiler weiß, dass es sich nicht um einen Kommaoperator handelt.

Question 2

Sehen Sie sich die Grammatik für die C-Sprache an. Es ist vollständig in Anhang A des aufgeführt Standard. Es funktioniert so, dass Sie jedes Token in einem C-Programm schrittweise durchgehen und es mit dem nächsten Element in der Grammatik abgleichen können. Bei jedem Schritt haben Sie nur eine begrenzte Anzahl von Optionen, sodass die Interpretation eines bestimmten Zeichens davon abhängt Kontext, in dem es erscheint. Innerhalb jeder Regel in der Grammatik gibt jede Zeile eine gültige Alternative für das entsprechende Programm an.

Insbesondere, wenn Sie suchen parameter-list, werden Sie sehen, dass es ein explizites Komma enthält. Immer wenn sich der C-Parser des Compilers im “Parameterlisten”-Modus befindet, werden Kommas, die er findet, als verstanden Parametertrennzeichennicht so wie Komma-Operatoren. Dasselbe gilt für Klammern (die auch in Ausdrücken vorkommen können).

Das funktioniert, weil die parameter-list Regel ist vorsichtig zu verwenden assignment-expression Regeln, anstatt nur die Ebene expression Regel. Ein expression kann Kommas enthalten, während an assignment-expression kann nicht. Wenn dies nicht der Fall wäre, wäre die Grammatik mehrdeutig, und der Compiler wüsste nicht, was er tun soll, wenn er in einer Parameterliste auf ein Komma trifft.

Allerdings eine öffnende Klammer, das heißt zum Beispiel nicht Teil einer Funktionsdefinition/eines Aufrufs, oder ein if, whileoder for -Anweisung, wird als Teil eines Ausdrucks interpretiert (weil es keine andere Option gibt, sondern nur, wenn der Beginn eines Ausdrucks an diesem Punkt eine gültige Wahl ist), und dann innerhalb der Klammern die expression Es gelten Syntaxregeln, und das erlaubt Kommaoperatoren.

Question 3

Ab C99 6.5.17:

Wie aus der Syntax hervorgeht, darf der Kommaoperator (wie in diesem Unterabschnitt beschrieben) nicht in Kontexten erscheinen, in denen ein Komma verwendet wird, um Elemente in einer Liste zu trennen (z. B. Argumente für Funktionen oder Listen von Initialisierern). Andererseits kann es in solchen Kontexten innerhalb eines eingeklammerten Ausdrucks oder innerhalb des zweiten Ausdrucks eines Bedingungsoperators verwendet werden. Im Funktionsaufruf
f(a, (t=3, t+2), c)
Die Funktion hat drei Argumente, von denen das zweite den Wert 5 hat.

Ein weiteres ähnliches Beispiel ist die Initialisierungsliste von Arrays oder Strukturen:

int array[5] = {1, 2};
struct Foo bar = {1, 2};

Wenn ein Komma-Operator als Funktionsparameter verwendet werden soll, verwenden Sie ihn wie folgt:

sum((a,b))

Das wird natürlich nicht kompiliert.

Question 4

Der Grund ist die C-Grammatik. Während alle anderen das Beispiel gerne zitieren, ist das eigentliche Geschäft die Phrasenstrukturgrammatik für Funktionsaufrufe im Standard (C99). Ja, ein Funktionsaufruf besteht aus der () Operator, der auf einen Postfix-Ausdruck angewendet wird (wie zum Beispiel ein Bezeichner):

 6.5.2 postfix-expression:
       ...
       postfix-expression ( argument-expression-list_opt )

zusammen mit

argument-expression-list:
       assignment-expression
       argument-expression-list , assignment-expression    <-- arglist comma

expression:
       assignment-expression
       expression , assignment-expression                  <-- comma operator

Der Kommaoperator kann nur in an vorkommen Ausdruck, also weiter unten in der Grammatik. Der Compiler behandelt also ein Komma in einer Funktionsargumentliste als Trennzeichen Zuweisungsausdrückenicht als eine Trennung Ausdrücke.

Question 5

Vorhandene Antworten sagen “weil die C-Sprachspezifikation besagt, dass es sich um ein Listentrennzeichen und nicht um einen Operator handelt”.

Ihre Frage lautet jedoch: “Woher weiß der Compiler …”, und das ist ganz anders: Es unterscheidet sich wirklich nicht davon, wie der Compiler weiß, dass das Komma eingegeben wird printf("Hello, world\n"); ist kein Komma-Operator: Der Compiler ‘weiß’ aufgrund des Kontexts, wo das Komma erscheint – im Grunde, was vorher passiert ist.

Die C-‘Sprache’ kann in beschrieben werden Backus-Naur-Form (BNF) – im Wesentlichen eine Reihe von Regeln, die die des Compilers Parser verwendet, um Ihre Eingabedatei zu scannen. Die BNF für C wird zwischen diesen verschiedenen möglichen Vorkommen von Kommas in der Sprache unterscheiden.

Es gibt viele gute Ressourcen darüber, wie Compiler funktionieren und wie man einen schreibt.

Question 6

Der Entwurf des C99-Standards sagt:

Wie aus der Syntax hervorgeht, darf der Kommaoperator (wie in diesem Unterabschnitt beschrieben) nicht in Kontexten erscheinen, in denen ein Komma verwendet wird, um Elemente in einer Liste zu trennen (z. B. Argumente für Funktionen oder Listen von Initialisierern). Andererseits kann es in solchen Kontexten innerhalb eines eingeklammerten Ausdrucks oder innerhalb des zweiten Ausdrucks eines Bedingungsoperators verwendet werden. Im Funktionsaufruf f(a, (t=3, t+2), c) Die Funktion hat drei Argumente, von denen das zweite den Wert 5 hat.

Mit anderen Worten „weil“.

Question 7

Diese Frage hat mehrere Facetten. Ein Par ist, dass die Definition dies sagt. Nun, woher weiß der Compiler, in welchem Kontext dieses Komma steht? Das ist die Aufgabe des Parsers. Insbesondere für C kann die Sprache von einem LR(1)-Parser geparst werden (http://en.wikipedia.org/wiki/Canonical_LR_parser).

Dies funktioniert so, dass der Parser eine Reihe von Tabellen generiert, die die möglichen Zustände des Parsers darstellen. Nur ein bestimmter Satz von Symbolen ist in bestimmten Zuständen gültig, und die Symbole können in verschiedenen Zuständen unterschiedliche Bedeutung haben. Der Parser weiß aufgrund der vorangehenden Symbole, dass er eine Funktion parst. Daher weiß es, dass die möglichen Zustände den Komma-Operator nicht enthalten.

Ich bin hier sehr allgemein, aber Sie können alle Details im Wiki nachlesen.