Das meiste ärgerliche Parse: warum nicht A a (()); Arbeit?

Gibt es keine aufgeklärte Antwort, es ist nur, weil es ist nicht definiert, wie gültige syntax der Sprache C++... Also es ist so, per definition der Sprache.

Wenn Sie einen Ausdruck innerhalb, dann ist es gültig. Zum Beispiel:

 ((0));//compiles

Erfahren Sie mehr darüber, wie Sprachen definiert sind, und wie Compiler arbeiten, sollten Sie lernen, über Formale Sprache Theorie oder genauer Kontext-Freie Grammatiken (CFG) und Verwandte Materialien, wie finite-state-machines. Wenn Sie interessiert sind, an, dass, obwohl die wikipedia-Seiten nicht genug sein, müssen Sie Holen Sie sich ein Buch.

InformationsquelleAutor der Antwort Brian R. Bondy

C-Funktion declarators

Erstens, es ist C. In C A a() ist Funktionsdeklaration. Zum Beispiel putchar hat die folgende Erklärung ab. Normalerweise sind solche Erklärungen sind gespeichert in header-Dateien, aber nichts hält dich davon ab, schreiben Sie Sie manuell, wenn Sie wissen, wie die Deklaration der Funktion sieht folgendermaßen aus. Die argument-Namen sind optional in den Erklärungen, also habe ich es weggelassen in diesem Beispiel.

int putchar(int);

Dadurch können Sie code schreiben, wie diese.

int puts(const char *);
int main() {
    puts("Hello, world!");
}

C auch können Sie definieren Funktionen, die Funktionen als Argumente, mit schön lesbaren syntax, das aussieht wie ein Funktionsaufruf (gut, es ist lesbar, solange Sie nicht zurückkehren, einen Zeiger auf Funktion).

#include <stdio.h>

int eighty_four() {
    return 84;
}

int output_result(int callback()) {
    printf("Returned: %d\n", callback());
    return 0;
}

int main() {
    return output_result(eighty_four);
}

Als ich erwähnte, C ermöglicht das weglassen argument-Namen in header-Dateien, daher ist der output_result Aussehen würde, wie dies in der header-Datei.

int output_result(int());

Ein argument im Konstruktor

Erkennst du nicht? Nun, lassen Sie mich daran erinnern.

A a(B());

Yep, es ist genau die gleiche Funktion Erklärung. A ist int, a ist output_result, und B ist int.

Können Sie leicht feststellen, einen Konflikt von C mit neuen Eigenschaften von C++. Um genau zu sein, die Konstruktoren als Klassenname und Klammern, und die Alternative Erklärung-syntax mit () statt =. Durch design, C++ versucht, um die Kompatibilität mit C-code, und daher es zu tun hat mit diesem Fall - auch wenn praktisch niemand kümmert sich. Deshalb werden alte C-Funktionen haben Vorrang über die neue C++ - features. Die Grammatik-Erklärungen versucht, den Namen der Funktion, bevor Rückgriff auf die neue syntax mit () wenn es fehlschlägt.

Wenn eine dieser Funktionen nicht existieren würde, oder hatte eine andere syntax (wie {} in C++11), würde diese Frage nie passiert syntax mit einem argument.

Nun mögen Sie sich Fragen, warum A a((B())) funktioniert. Nun, lassen Sie uns erklären output_result mit nutzlosen Klammern.

int output_result((int()));

Funktioniert es nicht. Die Grammatik erfordert die variable nicht in Klammern.

<stdin>:1:19: error: expected declaration specifiers or ‘...’ before ‘(’ token

Jedoch C++ - standard erwartet Ausdruck hier. In C++ können Sie den folgenden code schreiben.

int value = int();

Und den folgenden code.

int value = ((((int()))));

C++ erwartet Ausdruck in inneren Klammern... naja... Ausdruck, im Gegensatz zu den Typ C erwartet. Klammern bedeuten nichts hier. Jedoch, durch das einfügen nutzlos Klammern, die C-Funktion-Deklaration wird nicht abgestimmt, und die neue syntax angepasst werden kann, richtig (die einfach erwartet einen Ausdruck wie 2 + 2).

Mehr Argumente im Konstruktor

Sicherlich ein argument ist nett, aber was ist mit zwei? Es ist nicht so, dass Konstruktoren nur ein argument. Ein built-in-Klassen, die zwei Argumente nimmt, ist std::string

std::string hundred_dots(100, '.');

Dies ist alles gut und schön (technisch, es hätte am meisten ärgerlich analysieren, wenn es geschrieben würde, als std::string wat(int(), char()), aber seien wir mal ehrlich - wer würde Sie schreiben? Aber nehmen wir an, dieser code ist mit einem äußerst lästigen problem. Sie würden davon ausgehen, dass Sie um alles in Klammern.

std::string hundred_dots((100, '.'));

Nicht ganz so.

<stdin>:2:36: error: invalid conversion from ‘char’ to ‘const char*’ [-fpermissive]
In file included from /usr/include/c++/4.8/string:53:0,
                 from <stdin>:1:
/usr/include/c++/4.8/bits/basic_string.tcc:212:5: error:   initializing argument 1 of ‘std::basic_string<_CharT, _Traits, _Alloc>::basic_string(const _CharT*, const _Alloc&) [with _CharT = char; _Traits = std::char_traits<char>; _Alloc = std::allocator<char>]’ [-fpermissive]
     basic_string<_CharT, _Traits, _Alloc>::
     ^

Ich bin mir nicht sicher, warum der g++ versucht zu konvertieren char zu const char *. So oder so, wird der Konstruktor aufgerufen wurde, mit nur einem Wert vom Typ char. Es ist keine überlast, die ein argument vom Typ char, daher ist der compiler verwirrt. Sie Fragen sich vielleicht - warum wird das argument vom Typ char?

(100, '.')

Ja, , hier ist ein Komma-operator. Der Komma-operator nimmt zwei Argumente und gibt das Recht-side-argument. Es ist nicht wirklich nützlich, aber es ist etwas bekannt zu sein für meine Erklärung.

Statt, zu lösen die kniffligsten analysieren, ist der folgende code notwendig.

std::string hundred_dots((100), ('.'));

Die Argumente stehen in Klammern, nicht der gesamte Ausdruck. In der Tat, nur einer der Ausdrücke muss in Klammern, wie es ist genug, um zu brechen aus der C-Grammatik leicht auf die C++ - Funktion. Dinge bringt uns zu dem Punkt, null Argumente.

Null Argumente im Konstruktor

Wie Sie vielleicht bemerkt haben eighty_four Funktion in meine Erklärung.

int eighty_four();

Ja, das ist auch geprägt durch die meisten vexing parse. Es ist eine gültige definition, und eine, die Sie wahrscheinlich gesehen haben, wenn Sie die erstellte header-Dateien (und Sie sollten). Hinzufügen von Klammern nicht zu beheben.

int eighty_four(());

Warum ist das so? Gut, () ist kein Ausdruck. In C++, die Sie haben, um einen Ausdruck zwischen den Klammern. Sie können nicht schreiben auto value = () in C++, da () nichts zu bedeuten hat (und selbst wenn es Tat, wie leere Tupel (siehe Python), wäre es ein argument, nicht null). Praktisch, dass bedeutet, Sie können verwenden die Kurzform syntax ohne die mithilfe von C++11 ist {} syntax, da gibt es keine Ausdrücke, die setzen Sie in Klammern und C-Grammatik für Funktionsdeklarationen wird immer gelten.

InformationsquelleAutor der Antwort xfix

Den innersten Klammern in deinem Beispiel wäre ein Ausdruck, und in der C++ - Grammatik definiert eine expression eine assignment-expression oder anderen expression gefolgt von einem Komma und einem anderen assignment-expression (Anhang A. 4 - Grammatik Zusammenfassung/Ausdrücke).

Die Grammatik weiter definiert eine assignment-expression als eine von mehreren anderen Arten von Ausdruck, von denen keines kann nichts (oder nur Leerzeichen).

Also der Grund, warum Sie nicht haben können A a(()) ist einfach, weil die Grammatik nicht erlauben. Aber, ich kann nicht beantworten, warum die Leute, die das erstellte C++ trifft nicht zu, dass diese insbesondere die Verwendung von leeren Klammern als eine Art Sonderfall - ich denke, dass Sie lieber nicht in solch einem speziellen Fall, wenn es eine vernünftige alternative.

InformationsquelleAutor der Antwort Michael Burr