¿Por qué está funcionando este C++? (variables con el mismo nombre)

Question

Muy bien, quiero saber por qué este código está funcionando, me acabo de dar cuenta de que tengo dos variables con el mismo nombre dentro del mismo ámbito.

Estoy usando g ++ (gcc 4.4).

for(int k = 0 ; k < n ; k++) 
    { 
     while(true) 
     { 
      i = Tools::randomInt(0, n); 
      bool exists = false; 

      for(int k = 0 ; k < p_new_solution_size ; k++) 
       if(i == p_new_solution[k]) 
       { 
        exists = true; 
        break; 
       } 
      if(!exists) 
       break; 
     } 

     p_new_solution[p_new_solution_size] = i; 
     p_new_solution_size++; 
    } 

Answer 1

Muy bien, quiero saber por qué este código está trabajando, sólo se dio cuenta de que tengo dos variables con el mismo nombre dentro del mismo alcance.

Parece confuso sobre los alcances. No están "dentro del mismo" ámbito ... el k del bucle for tiene su propio alcance anidado/interno. Más importante aún, para ver por qué el lenguaje lo permite, tener en cuenta:

#define DO_SOMETHING \ 
    do { for (int i = 1; i <= 2; ++i) std::cout << i << '\n'; } while (false) 

void f() 
{ 
    for (int i = 1; i <= 10; ++i) 
     DO_SOMETHING(); 
} 

Aquí, el texto sustituido por la macro "hacer_algo" recibe evaluados en el mismo alcance que i. Si está escribiendo DO_SOMETHING, puede necesitar su expansión para almacenar algo en una variable y establecerse en el identificador i; obviamente, no tiene forma de saber si ya existirá en el contexto de la llamada. Podrías tratar de elegir algo más oscuro, pero tendrías personas usando nombres complicados de variables que sufrieran el mantenimiento del código, y sin importar tarde o temprano habría un choque. Por lo tanto, el lenguaje solo permite que los ámbitos internos introduzcan variables con el mismo nombre: la coincidencia más interna se usa hasta que finaliza su alcance.

Incluso cuando no se trata de macros, es una pena tener que detenerse y pensar si algún ámbito externo ya está usando el mismo nombre. Si sabe que solo quiere una operación rápida, puede mostrarla en un alcance independiente (anidado) sin tener en cuenta ese contexto más amplio (siempre que no tenga un código allí que realmente quiera usar la variable de ámbito externo: si lo hace a continuación, puede especificarlo explícitamente (si está delimitado por espacios de nombres y clases, pero si está en un cuerpo de función, necesita cambiar el nombre de su variable de bucle (o crear una referencia o algo similar antes de presentar su nombre propio) variable)).

Answer 2

El k en el interior para las sombras de bucle (u oculta) la k en el exterior para el bucle.

Puede declarar múltiples variables con el mismo nombre en diferentes ámbitos. Un ejemplo muy simple sería el siguiente:

int main() 
{ 
    int a;  // 'a' refers to the int until it is shadowed or its block ends 
    { 
     float a; // 'a' refers to the float until the end of this block 
    }   // 'a' now refers to the int again 
} 

Answer 3

Debido a que está permitido tener dos variables del mismo nombre dentro del mismo ámbito, pero no dentro del mismo espacio de declaración. El compilador toma la variable más local del nombre apropiado, similar a cómo puede 'ocultar' las variables globales de nombre X con una variable miembro de nombre X. Sin embargo, debería recibir una advertencia.

Answer 4

En C/C++ del alcance variable está limitado por las apoyos por lo que el siguiente código es válido para el compilador:

int k() 
{ 
    int k; 
    { 
     int k; 
     { 
      int k;    
     }  
    } 
} 

Answer 5

a partir de los documentos estándar, Sec 3.3.1

Cada nombre se introduce en una parte de texto del programa llama una región declarativa, que es el más grande parte del programa en el que ese nombre es válido, es decir, en el que ese nombre se puede utilizar como un nombre no calificado para referirse a la misma entidad .En general, cada nombre particular es válido solo dentro de una parte posiblemente no contigua del texto del programa llamado su alcance. Para determinar el alcance de una declaración, a veces es conveniente referirse al alcance potencial de una declaración. El alcance de una declaración es el mismo como su alcance potencial a menos que el alcance potencial contenga otra declaración del mismo nombre. En ese caso, el alcance potencial de la declaración en la región declarativa interna (contenida) está excluida del alcance de la declaración en la región declarativa (que contiene) externa.

Puede sonar confuso en su primera lectura, pero responde su pregunta.

El alcance potencial es el mismo que el alcance de la declaración a menos que se produzca otra declaración (interna). Si se produjo, el alcance potencial de la declaración externa es eliminado y solo la declaración interna es retenida.

Espero que sea claro y ayuda ..