Declaraciones/definiciones como enunciados en C y C++

if-statement language-lawyer

Question

Estaba confundido cuando esto no se compilaría en C:

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

    return 0;
}

Estoy acostumbrado a C ++ donde esto compilará. Me quedé mirando estupefacto durante un tiempo hasta que recordé una respuesta aquí en SO sobre cómo en C y C ++ diferentes cosas se consideran "declaraciones". Esto fue con respecto a una declaración de cambio. Una "declaración" después de los corchetes for debe estar presente tanto en C como en C ++. Esto puede hacerse tanto agregando un punto y coma como creando un bloque de corchete ondulado {}.

En C ++ "int a = 7;" se considera una declaración, definición e inicialización. En CI cree que también se considera todo esto, sin embargo, en C no se considera una "declaración".

¿Podría alguien aclarar exactamente por qué en C esto no es una declaración, mientras que en C ++ lo es? Esto confunde mi concepto de lo que es una afirmación, porque un idioma dice que sí, y otro dice que no, por lo que estoy un poco confundido.

Answer 1

C ++ permitió que la "subestación" de una instrucción de iteración fuera implícitamente una declaración compuesta ([stmt.iter])

Si la subestación en un enunciado de iteración es una sola declaración y no una declaración compuesta, es como si se reescribiera para ser una declaración compuesta que contiene la declaración original. Ejemplo:

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

puede ser reescrito de manera equivalente como

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

el estándar C no tiene este lenguaje.

Además, la definición de una declaración cambió en C ++ para incluir una declaración de declaración , por lo que incluso si el cambio anterior no se realizó, aún sería legal.

La razón por la que agregar llaves hace que funcione es porque su declaración ahora se convierte en una declaración compuesta que puede incluir declaraciones.

Se le permite tener un identificador en un cuerpo de bucle sin llaves, por lo que puede hacer esto en su lugar:

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

Answer 2

De acuerdo con cppreference, C++ incluye los siguientes tipos de statements :

1. declaraciones de expresión;
2. declaraciones compuestas;
3. declaraciones de selección;
4. declaraciones de iteración;
5. declaraciones de salto;
6. declaraciones de declaración;
7. probar bloques;
8. bloques atómicos y sincronizados

Mientras que C considera seguir tipos de statements :

1. declaraciones compuestas
2. declaraciones de expresión
3. declaraciones de selección
4. declaraciones de iteración
5. declaraciones de salto

Como puede observar, las declaraciones no se consideran statements en C, mientras que no es este caso en C ++.

Para 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

Para 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, end of function body

Answer 3

En C ++ las declaraciones son enunciados mientras que en C las declaraciones no son enunciados. Entonces, según la gramática C en este ciclo for

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

int a = 5; debe ser una subestación del ciclo. Sin embargo, es una declaración.

Puede hacer que el código se compile en C utilizando la sentencia compuesta como, por ejemplo,

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

aunque el compilador puede emitir un mensaje de diagnóstico diciendo que la variable a no se usa.

Una consecuencia más que en las declaraciones C no son declaraciones. No puede colocar una etiqueta antes de una declaración en C. Por ejemplo, este programa

#include <stdio.h>

int main(void) 
{
    int n = 2;

    L1:
    int x = n;

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

    if ( --n ) goto L1; 

    return 0;
}

no compila en C aunque compila como un programa C ++. Sin embargo, si para colocar una declaración nula después de la etiqueta, el programa compila.

#include <stdio.h>

int main(void) 
{
    int n = 2;

    L1:;
    int x = n;

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

    if ( --n ) goto L1; 

    return 0;
}

Answer 4

En C ++, una declaración es (borrador estándar de C ++ 17)

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

...

Tenga en cuenta que hay declaraciones de declaración en C ++, que son declaraciones y son enunciados. Del mismo modo, las declaraciones simples son declaraciones init. Sin embargo, no todas las declaraciones son declaraciones. La gramática de las declaraciones contiene cosas que no están en la lista de declaraciones:

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 ;

...

La lista de gramáticas de declaración continúa en algunas páginas.

En C, una declaración es (borrador estándar C11)

excerpt from Statements and blocks

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

Tenga en cuenta que no hay declaraciones que sean declaraciones en C.

Entonces, el significado del enunciado es claramente diferente en los idiomas. El enunciado en C ++ parece tener un significado más amplio que el enunciado en C.