Início / coding / Perguntas / 79490206
Accepted
Lumin
Asked: 2025-03-07 01:26:53 +0800 CST

Sombrear um iterador dentro de um loop for tem comportamento indefinido (?) em C

  • 772

Ao sombrear identro do loop for, o seguinte código

#include <stdio.h>

int main()
{
    for (int i = 1; i < 5; i++) {
        printf("%d", i);
        int i = i;
        printf("%d ", i);
    }
}

saídas:

10 20 30 40

Pelo meu entendimento de shadowing, deveria ter sido icriado um novo com o valor igual ao anterior i. Isso significa que a saída que eu esperava seria:

11 22 33 44

Além disso, o código parece armazenar o novo ivalor se você incrementá-lo.

#include <stdio.h>

int main()
{
    for (int i = 1; i < 5; i++) {
        printf("%d", i);
        int i = i + 2;
        printf("%d ", i);
    }
}

isso produz:

12 24 36 48

Aparentemente, inão está sendo redeclarado a cada iteração - funciona como uma variável que foi inicialmente 0e depois incrementada a cada iteração.

O que está realmente acontecendo aqui? Como você prevê o comportamento?

c

2 respostas

  1. Best Answer

    Uma declaração como:

    int i = i;

    Geralmente é legal, mas diferente do que você espera, tentará atribuir ia si mesmo (e não ao ido forloop).

    Isso ocorre porque o novo ijá está no escopo (caso contrário, um bare int i=i;sem um anterior inão seria legal).

    Depois você acessa isso i, o que causa UB ( undefine-behavior ), o que significa que qualquer resultado que você vê é válido.

    O mesmo se aplica de forma semelhante ao caso de:

    int i = i + 2;

    Mais informações sobre instruções como essa int i = i;podem ser encontradas aqui (essa postagem é para C++, mas também é relevante para C).

    • 4

  2. Conforme mencionado em outro lugar, int i = i;tenta inicializar ia partir de si mesmo, mas o último ise refere ao novo i, não ao antigo, e tem um valor não especificado aqui e, sujeito a certas condições, isso faz com que o programa tenha um comportamento indefinido.

    Se você deseja inicializar uma nova ia partir da antiga, pode fazer isso com uma variável intermediária:

    #include <stdio.h>


int main(void)
{
    for (int i = 1; i < 5; i++)
    {
        printf("%d", i);
        int t = i, i = t;
        printf("%d ", i);
    }
    printf("\n");
}

    Onde té inicializado, o externo ifica visível e então o novo ié inicializado a partir de t.

    • 0

relate perguntas