¿Cómo puede saber var de un tipo indefinido?

Question

¿Cómo puede saber la variable de tipo implícita var un tipo que no está definido en el alcance (utilizando using)?

Ejemplo:

Esto está bien

public class MyClass 
{ 
    public void MyMethod   
    { 
     var list = AStaticClass.GetList(); 
    } 
} 

Pero esto no es aceptable

public class MyClass 
{ 
    public void MyMethod   
    { 
     List<string> list = AStaticClass.GetList(); 
    } 
} 

En el último fragmento de código que tengo que añadir using System.Collections.Generic; para que funcione.

¿Cómo funciona esto?

Answer 1

¿Cómo funciona?

Cuando el compilador hace la inferencia de tipos que sustituye var con System.Collections.Generic.List<string> y su código se convierte en:

public class MyClass 
{ 
    public void MyMethod   
    { 
     System.Collections.Generic.List<string> list = AStaticClass.GetList(); 
    } 
} 

Pero ya que el compilador escupe IL, el siguiente programa C# (sin using declaraciones):

public class Program 
{ 
    static void Main() 
    { 
     var result = GetList(); 
    } 

    static System.Collections.Generic.List<string> GetList() 
    { 
     return new System.Collections.Generic.List<string>(); 
    } 
} 

y la Main método es el siguiente:

.method private hidebysig static void Main() cil managed 
{ 
    .entrypoint 
    .maxstack 8 
    L_0000: call class [mscorlib]System.Collections.Generic.List`1<string> Program::GetList() 
    L_0005: pop 
    L_0006: ret 
} 

Como puede ver, el compilador dedujo el tipo del lado derecho del operador de asignación y reemplazó var con el nombre de tipo completo.

Answer 2

El compilador realmente conoce el tipo. Aunque no lo acortó con el uso del compilador aún puede reemplazar 'var' con la definición de tipo completo con espacios de nombres System.Collections.Generic.List<string> ... de la misma manera que podría definir su variable con esa línea sin la directiva 'using'.