Propiedades Automáticas e Inicializadores de Objetos

Este post que cubre las propiedades automáticas y los inicializadores de objetos, es un post completamente de transición, en el que nos viene a mostrar una forma de realizar acciones que cotidianas, que a partir de la versión 3.0 del Framework, como casi todo lo que se añadió para LinQ, se pueden realizar de una forma más sencilla y escribiendo mucho menos código.

Son ampliamente conocidas, pero me ha parecido interesante dedicarle en post dentro del mundo LinQ, por si había por ahí algún despistadillo que no las conocía.

Tipos Anónimos

Los tipos anónimos son una característica introducida dentro del Framework 3.0.

Los tipos anónimos nos ofrecen la posibilidad de crear objetos al vuelo con propiedades de solo lectura, evitando tener que definir de manera explícita una clase para almacenar este tipo de datos equivalentes. 

Esta característica daba unas posibilidades de dinamismo a los desarrolladores de .Net solo reservada a lenguajes como JavaScript, Python, etc.

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.