Início / coding / Perguntas / 79598706
Accepted
ALICEZzz
Asked: 2025-04-29 23:14:59 +0800 CST

Como funciona o escopo do bloco? Como o padrão explica isso?

  • 772

Por exemplo, temos o seguinte código:

#include <stdio.h>
int main(void)
{
    int n = 4;
    {
        n++;
    }
    printf("%d\n",n);
    return 0;
}

Como o bloco interno vê a variável n? Como o padrão da linguagem C explica isso? Há algum tempo venho procurando uma resposta para essa pergunta. Na minha opinião, a resposta é a seguinte: em C17, temos (6.8 #3):

Um bloco permite que um conjunto de declarações e instruções seja agrupado em uma unidade sintática. Os inicializadores de objetos com duração de armazenamento automática e os declaradores de array de comprimento variável de identificadores comuns com escopo de bloco são avaliados e os valores são armazenados nos objetos (incluindo o armazenamento de um valor indeterminado em objetos sem um inicializador) cada vez que a declaração é alcançada, na ordem de execução, como se fosse uma instrução, e dentro de cada declaração na ordem em que os declaradores aparecem.

Se você não considerar os inicializadores, descobrirá que um bloco é composto apenas de algumas instruções. Usamos um bloco para avaliar todos esses operadores como uma unidade sintática. Em outras palavras, se você remover os caracteres {} do bloco, esses serão os mesmos operadores e o resultado será exatamente o mesmo, mas esses operadores não serão avaliados em uma unidade sintática:

#include <stdio.h>
int main(void)
{
    int n = 4;
    
        n++; // same effect but without {}
    
    printf("%d\n",n);
    return 0;
}

Também temos (6.2.1 # 4):

Se o declarador ou especificador de tipo que declara o identificador aparecer dentro de um bloco ou dentro da lista de declarações de parâmetros em uma definição de função, o identificador terá escopo de bloco, que termina no final do bloco associado.

A partir disso entendemos que n tem um escopo de bloco.

Se combinarmos tudo isso, descobrimos que n é incrementado como se o operador de incremento nunca tivesse aparecido no bloco interno.

Esta resposta está correta? Se não, explique o porquê. E cite um parágrafo do padrão da linguagem C.

c

3 respostas

  1. Best Answer

    Como o bloco interno vê a variável n?

    Porque o bloco interno é parte do bloco externo (ou seja, o corpo da função neste caso).

    A seção 6.2.1p4 do padrão C descreve o escopo do bloco :

    Se o declarador ou especificador de tipo que declara o identificador aparecer dentro de um bloco ou dentro da lista de declarações de parâmetros em uma definição de função, o identificador tem escopo de bloco , que termina no final do bloco associado

    Portanto, o escopo de né o bloco que é o corpo da mainfunção. Isso inclui o bloco que contém a n++instrução.

    Observe que o seguinte, que pode parecer mais familiar, é o mesmo em termos de escopo:

    int n = 4;
if (n>2) {
    n++;
}

    Neste caso, o bloco é a parte "instrução" da ifinstrução e, como acima, este bloco é um escopo "interno" ao corpo da função.

    • 4

  2. Como o bloco interno vê a variável n?

    Isto é uma questão de escopo:

    Para cada entidade diferente que um identificador designa, o identificador é visível (ou seja, pode ser usado) somente dentro de uma região do texto do programa chamada escopo .

    (C23 6.2.1/2)

    Você já citou a seção (de 6.2.1/4) que (em grande parte) define o escopo de variáveis ​​com escopo de bloco, como a sua n. Ela termina no final do bloco envolvente mais interno. Todo o bloco aninhado está dentro desse escopo, portanto, né visível lá.

    se você remover os caracteres {} do bloco, esses serão os mesmos operadores e o resultado será exatamente o mesmo, mas esses operadores não serão avaliados em uma unidade de sintaxe

    Sim, no seu exemplo. Um bloco vazio como o seu não faz muita coisa, embora possa ser útil limitar o escopo das variáveis ​​declaradas nele.

    ifMas você não pode remover livremente as chaves nos usos mais comuns de blocos. Um bloco é obrigatório para corpos de função. Blocos com múltiplas instruções elsee corpos de laço teriam significados diferentes se as chaves de seus blocos fossem removidas. Por exemplo, isto...

    char *result = "good";

if (1 == 0) {
    puts("false");
    result = "bad";
}
puts(result);

    ... produz uma saída diferente desta:

    char *result = "good";

if (1 == 0)
    puts("false");
    result = "bad";

puts(result);

    E, de fato, reduzir o risco de introduzir tais erros é uma das razões para a regra de estilo comum de que if, elsee corpos de loop devem sempre ser blocos, mesmo quando o bloco contém apenas uma única instrução.

    Se combinarmos tudo isso, descobrimos que n é incrementado como se o operador de incremento nunca tivesse aparecido no bloco interno.

    Esta resposta está correta?

    Mais ou menos. Não está claro qual seria a alternativa. Mas sim, a avaliação de n++dentro do bloco tem o mesmo efeito que sem o bloco imediatamente envolvente. Se quiser diferente, você pode declarar um diferente ndentro do bloco.

    int n = 0;
{
    int n = 0;
    n++;
}
printf("%d\n", n); // prints 0
    • 2

  3. Do Padrão C23 (6.2.1 Escopos de identificadores, nomes de tipos e literais compostos)

    2 Para cada entidade diferente que um identificador designa, o identificador é visível (ou seja, pode ser usado) apenas dentro de uma região do texto do programa chamada de escopo. Entidades diferentes designadas pelo mesmo identificador têm escopos diferentes ou estão em namespaces diferentes. Existem quatro tipos de escopos: função, arquivo, bloco e protótipo de função. (Um protótipo de função é uma declaração de uma função.)

    e

    4....Se o declarador ou especificador de tipo que declara o identificador aparecer dentro de um bloco ou dentro da lista de declarações de parâmetros em uma definição de função, o identificador terá escopo de bloco, que termina no final do bloco associado.

    4... Se um identificador designa duas entidades diferentes no mesmo namespace, os escopos podem se sobrepor. Nesse caso, o escopo de uma entidade (o escopo interno) terminará estritamente antes do escopo da outra entidade (o escopo externo). Dentro do escopo interno, o identificador designa a entidade declarada no escopo interno; a entidade declarada no escopo externo fica oculta (e não visível) dentro do escopo interno.

    No seu exemplo, a variável nnão está oculta no escopo do bloco interno. Se, em vez disso, você escrevesse, por exemplo

        int n = 4;
    {
        int n = 10;
        n++;
    }

    então a variável ndeclarada no escopo do bloco interno ocultaria a variável com o mesmo nome declarada no escopo externo.

    Ou um exemplo mais interessante

        int n = 4;
    {
        n++;
        int n = 10;
        n++;
    }

    Neste caso você obterá o mesmo resultado do seu programa original

    A propósito, você pode reintroduzir em um escopo interno uma variável que tem escopo de arquivo e estava oculta em algum bloco envolvente do escopo do bloco interno.

    Olha Você aqui.

    #include <stdio.h>

int n = 1;

int main(void) 
{
    int n = 3;
    
    {
        ++n;
        
        extern int n;
        
        ++n;
    }
    
    printf( "n = %d\n", n );
    
    {
        extern int n;
    
        printf( "extern n = %d\n", n );
    }

    return 0;
}
    • 2

relate perguntas