Tipos genéricos en Visual Basic (Visual Bas
Un tipo genérico es un elemento de programación único que se adapta para realizar la misma funcionalidad en una variedad de tipos de datos. Cuando defina una clase o procedimiento genérico, no es necesario que defina una versión independiente para cada tipo de datos para el que desee llevar a cabo esa funcionalidad.
Un ejemplo análogo sería un juego de destornilladores con puntas extraíbles. Primero se inspecciona el tornillo que se debe apretar o aflojar y después se selecciona la punta adecuada para la cabeza del mismo (plana, en cruz o de estrella). Una vez insertada la punta correcta en el mango del destornillador, la acción realizada con el destornillador es exactamente la misma, es decir, girar el destornillador.
El juego de destornilladores es una herramienta genérica
Cuando defina un tipo genérico, lo puede parametrizar con uno o más tipos de datos. Esto permite al código que los utiliza ajustar los tipos de datos a sus necesidades. Su código puede declarar varios elementos de programación diferentes a partir del elemento genérico y cada uno de ellos actúa en un conjunto distinto de tipos de datos. Pero todos los elementos declarados funcionan con la misma lógica, independientemente de los tipos de datos que utilicen.
Por ejemplo, puede que desee crear y utilizar una clase de cola que funcione en un tipo de datos concreto como String. Puede declarar esa clase a partir de Queue, como muestra el siguiente ejemplo.
Public stringQ As New System.Collections.Generic.Queue(Of String)
Ahora puede utilizar stringQ para trabajar exclusivamente con valores String. Dado que stringQ es específico para String en lugar de generalizarse para los valores Object, no tiene enlace en tiempo de ejecución ni conversión de tipos. Así se ahorra tiempo de ejecución y se reduce el número de errores en tiempo de ejecución.
Para obtener más información sobre cómo utilizar un tipo genérico, vea Cómo: Usar clases genéricas (Visual Basic).
Public stringQ As New System.Collections.Generic.Queue(Of String)
Para obtener más información sobre cómo utilizar un tipo genérico, vea Cómo: Usar clases genéricas (Visual Basic).
Ejemplo de una clase genérica
El ejemplo siguiente muestra una estructura básica de una clase genérica.
Public Class classHolder(Of t)
Public Sub processNewItem(ByVal newItem As t)
Dim tempItem As t
' Insert code that processes an item of data type t.
End Sub
End Class
En la estructura básica anterior, t es un parámetro de tipo, es decir, un marcador de posición para un tipo de datos que se proporcionará cuando declare la clase. En otra parte en su código, puede declarar distintas versiones de classHolder proporcionando diversos tipos de datos para t. En el ejemplo siguiente se muestran dos declaraciones así.
Public integerClass As New classHolder(Of Integer)
Friend stringClass As New classHolder(Of String)
Las instrucciones anteriores declaran clases construidas, en las que un tipo específico reemplaza el parámetro de tipo. Este reemplazo se propaga por todo el código existente dentro de la clase construida. El ejemplo siguiente muestra el aspecto que tiene el procedimientoprocessNewItem en integerClass.
Public Sub processNewItem(ByVal newItem As Integer)
Dim tempItem As Integer
' Inserted code now processes an Integer item.
End Sub
Para obtener un ejemplo más completo, vea Cómo: Definir una clase que pueda proporcionar la misma funcionalidad en tipos de datos diferentes (Visual Basic).
El ejemplo siguiente muestra una estructura básica de una clase genérica.
Public Class classHolder(Of t)
Public Sub processNewItem(ByVal newItem As t)
Dim tempItem As t
' Insert code that processes an item of data type t.
End Sub
End Class
Public integerClass As New classHolder(Of Integer)
Friend stringClass As New classHolder(Of String)
Public Sub processNewItem(ByVal newItem As Integer)
Dim tempItem As Integer
' Inserted code now processes an Integer item.
End Sub
Para obtener un ejemplo más completo, vea Cómo: Definir una clase que pueda proporcionar la misma funcionalidad en tipos de datos diferentes (Visual Basic).
Elementos de programación elegibles
Puede definir y utilizar clases, estructuras, interfaces, procedimientos y delegados de tipo genérico. Tenga en cuenta que .NET Framework define varias clases, estructuras e interfaces genéricas que normalmente representan los elementos genéricos utilizados. El espacio de nombres System.Collections.Generic proporciona diccionarios, listas, colas y pilas. Antes de definir su propio elemento genérico, vea si ya está disponible en System.Collections.Generic.
Los procedimientos no son tipos, pero puede definir y utilizar procedimientos genéricos. Vea Procedimientos genéricos en Visual Basic.
Ventajas de los tipos genéricos
Un tipo genérico sirve como base para declarar varios elementos de programación diferentes, cada uno de los cuales funciona en un tipo de datos concreto. Las alternativas a un tipo genérico son:
-
Un tipo único que funciona en el tipo de datos Object.
-
Un conjunto de versiones específicas de tipo del tipo, con cada versión codificada por separado y funcionando en un tipo de datos específico como String, Integer o un tipo definido por el usuario como, por ejemplo, customer.
Un tipo genérico presenta las ventajas siguientes sobre estas alternativas:
-
Seguridad de tipos. Los tipos genéricos fuerzan la comprobación de tipo en tiempo de compilación. Tipos basados en Objectaceptan cualquier tipo de datos y debe escribir el código para comprobar si un tipo de datos de entrada es aceptable. Con los tipos genéricos, el compilador puede detectar los errores de coincidencia de tipos antes en tiempo de ejecución.
-
Rendimiento. Los tipos genéricos no tienen que aplicar la conversión boxing ni aplicar la conversión unboxing a los datos, porque cada uno de ellos está especializado para un tipo de datos. Las operaciones basadas en Object deben aplicar la conversión boxing para convertir los tipos de datos de entrada en Object y aplicar la conversión unboxing a los datos destinados para el resultado. Las conversiones boxing y unboxing reducen el rendimiento.
Los tipos basados en Object también son enlazados en tiempo de ejecución, lo que significa que para tener acceso a sus miembros se requiere código adicional en tiempo de ejecución. Esto también reduce el rendimiento.
-
Consolidación del código. El código de un tipo genérico sólo ha de definirse una vez. Un conjunto de versiones específicas de tipo de un tipo debe replicar el mismo código en cada versión, con la única diferencia de que se trata del tipo de datos específico para esa versión. Con tipos genéricos, las versiones específicas de tipo se generan todas a partir del tipo genérico original.
-
Reutilización del código. El código que no depende de un tipo de datos determinado se puede reutilizar con distintos tipos de datos, si es genérico. Con frecuencia, se puede reutilizar incluso con un tipo de datos no previsto originalmente.
-
Compatibilidad con IDE. Cuando utilice un tipo construido a partir de un tipo genérico, Integrated Development Environment (IDE) puede proporcionarle más apoyo mientras programa el código. Por ejemplo, IntelliSense puede mostrarle las opciones tipo- específicas para un argumento a un constructor o método.
-
Algoritmos genéricos. Los algoritmos abstractos que son independientes del tipo son buenos candidatos para los tipos genéricos. Por ejemplo, un procedimiento genérico que ordena elementos mediante la interfaz IComparable se puede utilizar con cualquier tipo de datos que implemente IComparable.
- Un tipo único que funciona en el tipo de datos Object.
- Un conjunto de versiones específicas de tipo del tipo, con cada versión codificada por separado y funcionando en un tipo de datos específico como String, Integer o un tipo definido por el usuario como, por ejemplo, customer.
Un tipo genérico presenta las ventajas siguientes sobre estas alternativas:
Seguridad de tipos. Los tipos genéricos fuerzan la comprobación de tipo en tiempo de compilación. Tipos basados en Objectaceptan cualquier tipo de datos y debe escribir el código para comprobar si un tipo de datos de entrada es aceptable. Con los tipos genéricos, el compilador puede detectar los errores de coincidencia de tipos antes en tiempo de ejecución.Rendimiento. Los tipos genéricos no tienen que aplicar la conversión boxing ni aplicar la conversión unboxing a los datos, porque cada uno de ellos está especializado para un tipo de datos. Las operaciones basadas en Object deben aplicar la conversión boxing para convertir los tipos de datos de entrada en Object y aplicar la conversión unboxing a los datos destinados para el resultado. Las conversiones boxing y unboxing reducen el rendimiento.Los tipos basados en Object también son enlazados en tiempo de ejecución, lo que significa que para tener acceso a sus miembros se requiere código adicional en tiempo de ejecución. Esto también reduce el rendimiento.Consolidación del código. El código de un tipo genérico sólo ha de definirse una vez. Un conjunto de versiones específicas de tipo de un tipo debe replicar el mismo código en cada versión, con la única diferencia de que se trata del tipo de datos específico para esa versión. Con tipos genéricos, las versiones específicas de tipo se generan todas a partir del tipo genérico original.Reutilización del código. El código que no depende de un tipo de datos determinado se puede reutilizar con distintos tipos de datos, si es genérico. Con frecuencia, se puede reutilizar incluso con un tipo de datos no previsto originalmente.Compatibilidad con IDE. Cuando utilice un tipo construido a partir de un tipo genérico, Integrated Development Environment (IDE) puede proporcionarle más apoyo mientras programa el código. Por ejemplo, IntelliSense puede mostrarle las opciones tipo- específicas para un argumento a un constructor o método.Algoritmos genéricos. Los algoritmos abstractos que son independientes del tipo son buenos candidatos para los tipos genéricos. Por ejemplo, un procedimiento genérico que ordena elementos mediante la interfaz IComparable se puede utilizar con cualquier tipo de datos que implemente IComparable.
Restricciones
Aunque el código de una definición de tipo genérico debe ser tan independiente del tipo como sea posible, puede que requiera una capacidad concreta de un tipo de datos proporcionado a su tipo genérico. Por ejemplo, si desea comparar dos elementos con el propósito de ordenar o intercalar, su tipo de datos debe implementar la interfaz IComparable. Puede forzar este requisito agregando una restricción al parámetro de tipo.
Ejemplo de una restricción
El ejemplo siguiente muestra una definición esquema de una clase con una restricción que exige al argumento de tipo que implemente IComparable.
Public Class itemManager(Of t As IComparable)
' Insert code that defines class members.
End Class
Si el código subsiguiente intenta construir una clase a partir de itemManager proporcionando un tipo que no implementaIComparable, el compilador señala un error.
El ejemplo siguiente muestra una definición esquema de una clase con una restricción que exige al argumento de tipo que implemente IComparable.
Public Class itemManager(Of t As IComparable)
' Insert code that defines class members.
End Class
Si el código subsiguiente intenta construir una clase a partir de itemManager proporcionando un tipo que no implementaIComparable, el compilador señala un error.
Tipos de restricciones
Su restricción puede especificar los siguientes requisitos en cualquier combinación:
-
El argumento de tipo debe implementar una o más interfaces
-
El argumento de tipo debe ser, como máximo, del tipo de una clase o heredar de ella
-
El argumento de tipo debe exponer un constructor sin parámetros accesible al código que crea los objetos a partir del mismo
-
El argumento de tipo debe ser un tipo de referencia o un tipo de valor
Si necesita imponer más que un requisito, utilice una lista de restricciones separada por comas dentro de llaves ({ }). Para requerir un constructor accesible, incluya la palabra clave New (Operador, Visual Basic) en la lista. Para requerir un tipo de referencia, se debe incluir la palabra clave Class; para requerir un tipo de valor, incluya la palabra clave Structure.
Para obtener más información sobre restricciones, vea Lista de tipos (Visual Basic).
Su restricción puede especificar los siguientes requisitos en cualquier combinación:
- El argumento de tipo debe implementar una o más interfaces
- El argumento de tipo debe ser, como máximo, del tipo de una clase o heredar de ella
- El argumento de tipo debe exponer un constructor sin parámetros accesible al código que crea los objetos a partir del mismo
El argumento de tipo debe ser un tipo de referencia o un tipo de valor
Para obtener más información sobre restricciones, vea Lista de tipos (Visual Basic).
Ejemplo de varias restricciones
El ejemplo siguiente muestra una definición básica de una clase genérica con una lista de restricciones para el parámetro de tipo. En el código que crea una instancia de esta clase, el argumento de tipo debe implementar las interfaces IComparable y IDisposable, ser un tipo de referencia y exponer un constructor sin parámetros accesible.
Public Class thisClass(Of t As {IComparable, IDisposable, Class, New})
' Insert code that defines class members.
End Class
Public Class thisClass(Of t As {IComparable, IDisposable, Class, New})
' Insert code that defines class members.
End Class
Caracteres de tipo (Visual Basic)
Caracteres de tipo identificador
Carácter de tipo identificador
|
Tipo de datos
|
Ejemplo
|
|---|---|---|
%
|
Integer
|
Dim L%
|
&
|
Long
|
Dim M&
|
@
|
Decimal
|
Const W@ = 37.5
|
!
|
Single
|
Dim Q!
|
#
|
Double
|
Dim X#
|
$
|
String
|
Dim V$ = "Secret"
|
No existe ningún carácter de tipo identificador para los tipos de datos Boolean, Byte, Char, Date, Object, SByte, Short, UInteger,ULong o UShort, ni para los tipos de datos compuestos como matrices o estructuras.
En algunos casos, puede anexar el carácter $ a una función de Visual Basic, por ejemplo Left$ en lugar de Left, para obtener un valor devuelto de tipo String.
No hay comentarios:
Publicar un comentario