Deklarationen/Definitionen als Anweisungen in C und C++

Ich war verwirrt, als dies nicht in C kompiliert wurde:

int main()
{
    for (int i = 0; i < 4; ++i)
        int a = 5; // A dependent statement may not be declaration

    return 0;
}

Ich bin an C++ gewöhnt, wo dies kompiliert wird. Ich habe eine Weile nur verblüfft gestarrt, bis ich mich an eine Antwort hier auf SO erinnerte, wie in C und C++ verschiedene Dinge als “Anweisungen” betrachtet werden. Dies bezog sich auf eine Switch-Anweisung. Sowohl in C als auch in C++ muss ein “Statement” nach der for-Schleife in Klammern stehen. Dies kann sowohl durch Hinzufügen eines Semikolons als auch durch Erstellen eines { } verschnörkelten Klammerblocks erfolgen.

In C++ “int a = 7;” wird als Deklaration, Definition und Initialisierung betrachtet. In CI wird glauben, dass dies alles auch berücksichtigt wird, in C wird es jedoch nicht als “Aussage” betrachtet.

Könnte jemand genau erklären, warum dies in C keine Aussage ist, während es in C ++ ist? Das verwirrt mein Konzept, was eine Aussage ist, weil eine Sprache sagt, dass es so ist, und eine andere sagt, dass es nicht so ist, also bin ich irgendwie verwirrt.

C++ erlaubte, dass die “Unteranweisung” einer Iterationsanweisung implizit eine zusammengesetzte Anweisung war ([stmt.iter])

Wenn die Unteranweisung in einer Iterationsanweisung eine einzelne Anweisung und keine zusammengesetzte Anweisung ist, ist sie so, als wäre sie in eine zusammengesetzte Anweisung umgeschrieben worden, die die ursprüngliche Anweisung enthält. Beispiel:

while (--x >= 0)
   int i;

kann äquivalent umgeschrieben werden als

while (--x >= 0) {
   int i;
}

der C-Standard hat diese Sprache nicht.

Außerdem ist die Definition von a Aussage in C++ geändert, um a einzuschließen Deklarationsanweisungalso selbst wenn die obige Änderung nicht vorgenommen würde, wäre sie immer noch legal.

Der Grund, warum das Hinzufügen von geschweiften Klammern funktioniert, ist, dass Ihre Deklaration jetzt zu a wird Zusammengesetzte Aussage die Deklarationen enthalten können.

Sie dürfen eine haben Kennung in einem Schleifenkörper ohne geschweiften Klammern, also können Sie stattdessen Folgendes tun:

int a = 5;
for (int i = 0; i < 4; ++i)
    a;

In C++ ist eine Anweisung (C++17-Standardentwurf)

excerpt from [gram.stmt]

statement:
    labeled-statement
    attribute-specifier-seqopt expression-statement
    attribute-specifier-seqopt compound-statement
    attribute-specifier-seqopt selection-statement
    attribute-specifier-seqopt iteration-statement
    attribute-specifier-seqopt jump-statement
    declaration-statement
    attribute-specifier-seqopt try-block

init-statement:
    expression-statement
    simple-declaration

declaration-statement:
    block-declaration

...

Beachten Sie, dass es in C++ Deklarationsanweisungen gibt, die Deklarationen und Anweisungen sind. Ebenso sind einfache Deklarationen Init-Anweisungen. Nicht alle Erklärungen sind jedoch Aussagen. Die Grammatik der Deklarationen enthält Dinge, die nicht in der Liste der Anweisungen stehen:

excerpt from [gram.dcl]

declaration:
    block-declaration
    nodeclspec-function-declaration
    function-definition
    template-declaration
    deduction-guide
    explicit-instantiation
    explicit-specialization
    linkage-specification
    namespace-definition
    empty-declaration
    attribute-declaration

block-declaration:
    simple-declaration
    asm-definition
    namespace-alias-definition
    using-declaration
    using-directive
    static_assert-declaration
    alias-declaration
    opaque-enum-declaration

simple-declaration:
    decl-specifier-seq init-declarator-listopt ;
    attribute-specifier-seq decl-specifier-seq init-declarator-list ;
    attribute-specifier-seqopt decl-specifier-seq ref-qualifieropt [ identifier-list ] initializer ;

...

Die Liste der Deklarationsgrammatiken geht noch einige Seiten weiter.

In C ist eine Anweisung (C11-Standardentwurf)

excerpt from Statements and blocks

statement:
    labeled-statement
    compound-statement
    expression-statement
    selection-statement
    iteration-statement
    jump-statement

Beachten Sie, dass es in C keine Deklarationen gibt, die Anweisungen sind.

Also die Bedeutung von Aussage unterscheidet sich deutlich in den Sprachen. Statement in C++ scheint eine breitere Bedeutung zu haben als Statement in C.

Gemäß cpReferenz, C++ umfasst folgende Arten von statements:

1. Ausdrucksanweisungen;
2. zusammengesetzte Anweisungen;
3. Auswahlaussagen;
4. Iterationsanweisungen;
5. Sprunganweisungen;
6. Deklarationserklärungen;
7. Blöcke ausprobieren;
8. atomare und synchronisierte Blöcke

Während C berücksichtigt folgende Arten von statements:

1. zusammengesetzte Aussagen
2. Ausdrucksanweisungen
3. Auswahl Aussagen
4. Iterationsanweisungen
5. Sprunganweisungen

Wie Sie sehen können, werden Deklarationen nicht berücksichtigt statements in C, während dies in C++ nicht der Fall ist.

Für C++:

int main()
{                                     // start of a compound statement
    int n = 1;                        // declaration statement
    n = n + 1;                        // expression statement
    std::cout << "n = " << n << '\n'; // expression statement
    return 0;                         // return statement
}                                     // end of compound statement

Für C:

int main(void)
{                          // start of a compound statement
    int n = 1;             // declaration (not a statement)
    n = n+1;               // expression statement
    printf("n = %d\n", n); // expression statement
    return 0;              // return statement
}                          // end of compound statement

In C++ sind Deklarationen Anweisungen, während Deklarationen in C keine Anweisungen sind. Also nach der C-Grammatik in dieser for-Schleife

for (int i = 0; i < 4; ++i)
    int a = 5;

int a = 5; muss eine Unteranweisung der Schleife sein. Es ist jedoch eine Erklärung.

Sie könnten den Code in C kompilieren, indem Sie beispielsweise die zusammengesetzte Anweisung verwenden

for (int i = 0; i < 4; ++i)
{
    int a = 5;
}

obwohl der Compiler eine Diagnosemeldung ausgeben kann, die besagt, dass die Variable a ist nicht benutzt.

Eine weitere Konsequenz, dass Deklarationen in C keine Anweisungen sind. Sie dürfen in C kein Label vor eine Deklaration setzen. Zum Beispiel dieses Programm

#include <stdio.h>

int main(void) 
{
    int n = 2;

    L1:
    int x = n;

    printf( "x == %d\n", x );

    if ( --n ) goto L1; 

    return 0;
}

kompiliert nicht in C, obwohl es als C++-Programm kompiliert wird. Wenn jedoch eine Null-Anweisung nach dem Label platziert wird, wird das Programm kompiliert.

#include <stdio.h>

int main(void) 
{
    int n = 2;

    L1:;
    int x = n;

    printf( "x == %d\n", x );

    if ( --n ) goto L1; 

    return 0;
}