Inferencia de tipo de variable local

Actualización: Julio de 2008

El compilador de Visual Basic 2008 utiliza la inferencia de tipos para determinar los tipos de datos de las variables locales declarados sin ninguna cláusula As. El compilador deduce el tipo de la variable a partir del tipo de la expresión de inicialización. De esta forma, puede declarar las variables sin indicar explícitamente un tipo, como se muestra en el ejemplo siguiente.

Public Sub inferenceExample()

    ' Using explicit typing.
    Dim num1 As Integer = 3

    ' Using local type inference.
    Dim num2 = 3

End Sub

Nota:

La inferencia de tipo de variable local no se puede utilizar para declarar los campos de clase. Si num2, en el ejemplo anterior, fuese un campo en vez de una variable local, la declaración provocaría un error con la instrucción Option Strict activada y clasificaría num2 como Object con la instrucción Option Strict desactivada. De igual forma, no se pueden deducir los tipos de las variables estáticas cuando la instrucción Option Strict está activada. Con la instrucción Option Strict desactivada, el tipo de staticVar de Static staticVar = 5 es Object.

El código que usa la inferencia de tipos se parece al código que depende del enlace en tiempo de ejecución. Sin embargo, la inferencia de tipos permite el establecimiento inflexible de los tipos de la variable en lugar de dejarla como Object. El compilador utiliza el inicializador de una variable para determinar su tipo en tiempo de compilación con el fin de generar código de enlace en tiempo de compilación. En el ejemplo anterior, num2 se escribe como Integer.

El comportamiento de las variables de enlace en tiempo de compilación difiere del de las variables de enlace en tiempo de ejecución, cuyo tipo sólo se conoce en tiempo de ejecución. Si se sabe el tipo pronto, el compilador puede identificar los problemas antes de la ejecución, asignar la memoria con precisión y realizar otras optimizaciones. El enlace en tiempo de compilación también permite que el entorno de desarrollo integrado (IDE) de Visual Basic proporcione ayuda de IntelliSense sobre los miembros de un objeto. El enlace en tiempo de compilación también se prefiere por razones de rendimiento. Esto ocurre porque todos los datos almacenados en una variable de enlace en tiempo de ejecución se deben ajustar como tipo Object y si se tiene acceso a los miembros del tipo en tiempo de ejecución, el programa se ejecuta más lentamente.

Nota:
Si no desea que num2 del ejemplo anterior vaya a tener un tipo como Integer, puede especificar otro tipo mediante una declaración como Dim num3 As Object = 3 o Dim num4 As Double = 3.

Ejemplos

La inferencia de tipo se produce cuando una variable local se declara sin ninguna cláusula As y se le asigna un valor. El compilador utiliza el tipo del valor como el tipo de la variable. Por ejemplo, cada una de las siguientes líneas de código declara una variable de tipo String:

' Using explicit typing.
Dim name1 As String = "Springfield"

' Using local type inference.
Dim name2 = "Springfield"

El código siguiente muestra dos maneras equivalentes de crear una matriz de enteros.

' Using explicit typing.
Dim someNumbers1() As Integer = New Integer() {4, 18, 11, 9, 8, 0, 5}

' Using local type inference.
Dim someNumbers2 = New Integer() {4, 18, 11, 9, 8, 0, 5}

Puede utilizar la inferencia de tipos para determinar el tipo de una variable de control de bucle. En el código siguiente, el compilador deduce que number es Integer, porque someNumbers2 es una matriz de enteros.

Dim total = 0
For Each number In someNumbers2
    total += number
Next

La inferencia de tipo de variable local se puede utilizar en instrucciones Using para establecer el tipo del nombre del recurso, como se muestra en el ejemplo siguiente.

Using proc = New System.Diagnostics.Process
    ' Insert code to work with the resource.
End Using

El tipo de una variable también se puede deducir de los valores devueltos de las funciones, como muestra el ejemplo siguiente. Tanto pList1 como pList2 son listas de procesos.

' Using explicit typing.
Dim pList1() As Process = Process.GetProcesses()

' Using local type inference.
Dim pList2 = Process.GetProcesses()

Option Infer

Una nueva opción, Option Infer, permite especificar si la inferencia de tipo de variable local se permite en un archivo determinado. Para habilitar o bloquear la opción, escriba una de las instrucciones siguientes al principio del archivo.

Option Infer On

Option Infer Off

Si no especifica ningún valor para Option Infer en el código, el valor predeterminado del compilador es Option Infer On para los proyectos creados en Visual Basic 2008 y Option Infer Off para los proyectos actualizados a partir de versiones anteriores. Para obtener más información, consulte Option Infer (Instrucción) y /optioninfer.

Nota:
Si el valor que se establece para Option Infer en un archivo está en conflicto con el valor establecido en el IDE o la línea de comandos, tiene prioridad el valor del archivo.

Restricciones

La inferencia de tipo sólo se puede utilizar para las variables locales no estáticas; no se puede usar para determinar el tipo de los campos de clase, las propiedades o las funciones.

Vea también

Conceptos

Tipos anónimos

Enlace en tiempo de compilación y en tiempo de ejecución

Introducción a LINQ en Visual Basic

Referencia

Instrucción For Each...Next (Visual Basic)

Instrucción For...Next (Visual Basic)

Option Infer (Instrucción)

/optioninfer

Historial de cambios