C pregunta # alcance

Question

Consideremos el siguiente ejemplo de código:

      // line # 
{      // 1 
         // 2 
    {     // 3 
     double test = 0; // 4 
    }     // 5 
         // 6 
    double test = 0;  // 7 
}      // 8 

Esto da el error

Una variable local llamada 'prueba' no se pueden declarar en este ámbito, ya que daría un significado diferente a 'test', que ya se utiliza en un ámbito 'niño' para denotar algo más

Pero no entiendo por qué? La variable de prueba externa comienza en la línea 7 y no en la línea 2, entonces, ¿dónde está el problema para declarar una segunda variable llamada prueba en la línea 4 con un alcance que termina en la línea 5?

Answer 1

Esta es una pregunta frecuente; ver también:

Lambda variable scope

C# going nuts when I declare variables with the same name as the ones in a lambda

C# variable scoping: 'x' cannot be declared in this scope because it would give a different meaning to 'x'

Variable scope confusion in C#

La respuesta es: leer el mensaje de error con más cuidado. El mensaje de error indica exactamente cuál es el problema: no está permitido usar el mismo nombre simple para significar dos cosas diferentes en el mismo bloque.

Por ejemplo:

class C 
{ 
    int x; 
    void M() 
    { 
     int x; 
    } 
} 

perfectamente legal. Tenga en cuenta que el alcance del exterior x se superpone a el alcance de la x interior. Es no ilegal tener ámbitos superpuestos con el mismo nombre en el alcance en ambos.

Esto no es legal:

class C 
{ 
    int x; 
    void M() 
    { 
     Console.WriteLine(x); // this.x 
     { 
      int x; 
     } 
    } 
} 

De nuevo, los dos ámbitos tanto con una X superposición es perfectamente legal. Lo que es ilegal es que el simple nombre x se utiliza dos dos variables medias diferentes en el mismo bloque - es decir, dentro del bloque exterior de M(), que contiene el bloque interior de M.

Programas donde el mismo nombre simple es utilizarse para significar dos cosas diferentes en el mismo bloque se confuso y bug propensos y por lo tanto son ilegal en C#.

Para más detalles leer mis artículos sobre el tema:

http://blogs.msdn.com/b/ericlippert/archive/tags/simple+names/

Answer 2

variables están en el ámbito dentro del bloque que se declaran en, no importa cuál es la línea que se encuentran.

leer sobre scopes en la especificación del lenguaje C#.

De la especificación:

El alcance de una variable local declarada en una declaración-variable-local (Section 8.5.1) es el bloque en el que se produce la declaración.

Y:

Scopes se pueden anidar, y un alcance interior puede redeclare el significado de un nombre de un alcance exterior. (Esto no significa, sin embargo, eliminar la restricción impuesta por la Sección 3.3 que dentro de un bloque anidado no es posible declarar una variable local con el mismo nombre que una variable local en un bloque que lo contiene.)

Answer 3

+1 , Estoy de acuerdo contigo, pero no es cómo se escribe la especificación. Hace que escribir el compilador sea más fácil, estoy seguro. Además, creo que podría argumentarse que es preferible no hacer esto de todos modos para hacer que el código sea más fácil de entender.