Variables locales con asignación implícita de tipos (Guía de programación de C#)

  • Artículo

Las variables locales pueden declararse sin proporcionar un tipo explícito. La palabra clave var indica al compilador que infiera el tipo de la variable a partir de la expresión de la derecha de la instrucción de inicialización. El tipo inferido puede ser un tipo integrado, un tipo anónimo, un tipo definido por el usuario o un tipo definido en la biblioteca de clases .NET. Para obtener más información sobre cómo inicializar las matrices con var, vea Matrices con tipo implícito.

Los ejemplos siguientes muestran distintas formas en que se pueden declarar variables locales con var:

// i is compiled as an int
var i = 5;

// s is compiled as a string
var s = "Hello";

// a is compiled as int[]
var a = new[] { 0, 1, 2 };

// expr is compiled as IEnumerable<Customer>
// or perhaps IQueryable<Customer>
var expr =
    from c in customers
    where c.City == "London"
    select c;

// anon is compiled as an anonymous type
var anon = new { Name = "Terry", Age = 34 };

// list is compiled as List<int>
var list = new List<int>();

Es importante comprender que la palabra clave var no significa "variant" ni indica que la variable esté débilmente tipada o esté enlazada en tiempo de ejecución. Solo significa que el compilador determina y asigna el tipo más adecuado.

La palabra clave var se puede usar en los contextos siguientes:

  • En variables locales (variables declaradas en el ámbito del método), tal y como se muestra en el ejemplo anterior.

  • En una instrucción de inicialización for.

    for (var x = 1; x < 10; x++)

  • En una instrucción de inicialización foreach.

    foreach (var item in list) {...}

  • En una instrucción using.

    using (var file = new StreamReader("C:\\myfile.txt")) {...}

Para obtener más información, vea Procedimiento para usar matrices y variables locales con tipo implícito en expresiones de consulta.

var y tipos anónimos

En muchos casos, el uso de var es opcional y es simplemente una comodidad sintáctica. Pero cuando una variable se inicializa con un tipo anónimo, la variable se debe declarar como var si necesita acceder más adelante a las propiedades del objeto. Se trata de un escenario común en expresiones de consulta LINQ. Para obtener más información, consulte Tipos anónimos (Guía de programación de C#).

Desde el punto de vista del código fuente, un tipo anónimo no tiene nombre. Por lo tanto, si una variable de consulta se ha inicializado con var, la única manera de tener acceso a las propiedades de la secuencia de objetos devuelta consiste en usar var como el tipo de la variable de iteración en la instrucción foreach.

class ImplicitlyTypedLocals2
{
    static void Main()
    {
        string[] words = { "aPPLE", "BlUeBeRrY", "cHeRry" };

        // If a query produces a sequence of anonymous types,
        // then use var in the foreach statement to access the properties.
        var upperLowerWords =
             from w in words
             select new { Upper = w.ToUpper(), Lower = w.ToLower() };

        // Execute the query
        foreach (var ul in upperLowerWords)
        {
            Console.WriteLine("Uppercase: {0}, Lowercase: {1}", ul.Upper, ul.Lower);
        }
    }
}
/* Outputs:
    Uppercase: APPLE, Lowercase: apple
    Uppercase: BLUEBERRY, Lowercase: blueberry
    Uppercase: CHERRY, Lowercase: cherry
 */

Comentarios

Las siguientes restricciones se aplican a las declaraciones de variable con tipo implícito:

  • var solo se puede usar cuando una variable local se declara e inicializa en la misma instrucción; la variable no se puede inicializar en null ni en un grupo de métodos o una función anónima.

  • var no se puede usar en campos en el ámbito de clase.

  • Las variables declaradas con var no se pueden usar en la expresión de inicialización. En otras palabras, esta expresión es válida: int i = (i = 20);, pero esta expresión genera un error en tiempo de compilación: var i = (i = 20);

  • No se pueden inicializar varias variables con tipo implícito en la misma instrucción.

  • Si en el ámbito se encuentra un tipo con nombre var, la palabra clave var se resolverá en ese nombre de tipo y no se tratará como parte de una declaración de variable local con tipo implícito.

El establecimiento de tipos implícitos con la palabra clave var solo puede aplicarse a variables en el ámbito del método local. El establecimiento de tipos implícitos no está disponible para los campos de clase ya que el compilador C# encontraría una paradoja lógica al procesar el código: el compilador necesita conocer el tipo de campo, pero no puede determinar el tipo hasta que se analiza la expresión de asignación, y no se puede evaluar la expresión sin conocer el tipo. Observe el código siguiente:

private var bookTitles;

bookTitles es un campo de clase dado el tipo var. Como el campo no tiene ninguna expresión que evaluar, es imposible que el compilador pueda inferir el tipo bookTitles que se supone que es. Además, agregar una expresión al campo (como se haría con una variable local) también es suficiente:

private var bookTitles = new List<string>();

Cuando el compilador encuentra campos durante la compilación de código, registra el tipo de cada campo antes de procesar las expresiones asociadas a él. El compilador encuentra la misma paradoja intentando analizar bookTitles: necesita saber el tipo de campo, pero el compilador normalmente determinaría el tipo de var analizando la expresión, lo que no es posible sin conocer de antemano el tipo.

Es posible que var también pueda resultar útil con expresiones de consulta en las que es difícil determinar el tipo construido exacto de la variable de consulta. Esto puede ocurrir con las operaciones de agrupamiento y ordenación.

La palabra clave var también puede ser útil cuando resulte tedioso escribir el tipo específico de la variable en el teclado, o sea obvio o no aumente la legibilidad del código. Un ejemplo en el que var resulta útil de esta manera es cuando se usa con tipos genéricos anidados, como los que se emplean con las operaciones de grupo. En la siguiente consulta, el tipo de la variable de consulta es IEnumerable<IGrouping<string, Student>>. Siempre que usted y otras personas que deban mantener el código comprendan esto, no hay ningún problema con el uso de tipos implícitos por comodidad y brevedad.

// Same as previous example except we use the entire last name as a key.
// Query variable is an IEnumerable<IGrouping<string, Student>>
var studentQuery3 =
    from student in students
    group student by student.Last;

El uso de var ayuda a simplificar el código, pero debe quedar restringido a los casos en los que sea necesario, o cuando haga que el código sea más fácil de leer. Para obtener más información sobre cuándo usar var correctamente, vea la sección Variables locales con asignación implícita de tipos en el artículo sobre directrices de codificación de C#.

Vea también