Asignación implícita de tipos, var

La palabra reservada var, viene a significar una asignación implícita de tipos. Esto se traduce en que el compilador será el que averigüe cual es el tipo que hay que asignar a esa variable, ósea utilizará la Inferencia de Tipos.

Cuando salieron las primeras noticas sobre esta mejora, trajo mucha controversia, al igual que los métodos extensores, dentro de la comunidad ya que muchos pensaban que esto rompía las buenas prácticas de programación y la fortaleza de tipos, cosa que no era cierta como veremos más adelante.

Es fácil confundir este tipo de variable con antiguo y costoso Variant de Visual Basic 6.0, o llegar a pensar que simplemente es un objeto de tipo object camuflado, pero nada de eso, es mucho más.

Inferncia de tipos

La inferencia de tipos, es una característica de los lenguajes funcionales  y consiste en la capacidad que tiene el compilador de predecir el tipo de una operación, método, asignación, etc., según los datos facilitados por el desarrollador dentro de la misma sentencia. Este proceso siempre se presenta en tiempo de compilación.

Esta novedad se dio por primera vez dentro del Framework 3.0, una entrega de framework muy poco utilizada y sin correspondiente versión de Visual Studio, por lo que muchos lo señalan como novedad del framework 3.5.

Normalmente la inferencia de tipos se suele achacar a los tipos anónimos (var), pero nosotros intentaremos darle un enfoque más general y trataremos para comenzar su uso con generics, para después verlo con tipos anónimos, y eventos y delegados, avanzadas en Expresiones Lambda, y árboles de expresiones que se escapan de nuestro tema principal.

La palabra reservada default(T)

Dentro del universo de Generics, existe un concepto que no suele ser demasiado conocido y que aunque puede ser sustituido por otro tipo de técnicas, ahorra mucho código y lo hace mucho más seguro y entendible para terceros.

Hablamos de la palabra reservada default(T), de la que hablaremos en este post para intentar darte un enfoque no solo teórico sino también práctico, en pos de intentar que sea mucho más familiar para ti, de ahora en adelante en tus desarrollos de Generics.

Restricciones en Generics

Hasta ahora, en la construcción de nuestros Generics, hemos dejado plena libertad para el consumidor, tanto si somos nosotros mismos, o si es algún usuario de alguna de nuestras librerías, de poder asignar el tipo que mejor le viniera dentro de nuestros parámetros de tipo. Esto en ocasiones, puede ser contraproducente para su uso, y lo que es peor puede limitarnos en demasía a la hora de realizar un desarrollo. Las restricciones dentro de Generics nos pueden ayudar a solventar todos estos problemas.

Problemas de uso de colecciones no genéricas

En las versiones anteriores a framework 2.0, era absolutamente normal trabajar con colecciones de tipo object como base, entre ellas ejemplos como ArrayList, Queue, List, etc., Esto traía dos problemas principales a los desarrolladores:

• Problemas de Conversion de Tipos.
• Problemas de rendimiento.

Vamos a ver de manera un poco más amplia cada uno de ellos.