¿Qué son los tipos genéricos?

Los tipos genéricos permiten definir clases, interfaces y métodos utilizando parámetros de tipo. Esto aumenta la flexibilidad, la reutilización y la seguridad de tipos del código, permitiendo trabajar con diferentes tipos de datos sin perder la comprobación de tipos en tiempo de compilación.

Ventajas clave:

• Seguridad de tipos: El compilador verifica los tipos en tiempo de compilación, previniendo errores en tiempo de ejecución relacionados con incompatibilidades de tipos.
• Reutilización: El mismo código puede usarse con diferentes tipos de datos, reduciendo la duplicación de código.
• Rendimiento: En algunos lenguajes (por ejemplo, C#), los tipos genéricos se implementan considerando un tipo específico, lo que puede mejorar el rendimiento en comparación con el uso de Object.

Ejemplos de uso:

• Colecciones: Listas, diccionarios, conjuntos parametrizados por tipo de elementos.
• Métodos: Métodos que trabajan con cualquier tipo de datos que implemente una interfaz determinada.
• Clases: Clases envolventes, fábricas, que trabajan con tipos de parámetros.

Ejemplo en C#:

// Lista genérica
List<string> nombres = new List<string>();
nombres.Add("Alice");
nombres.Add("Bob");

// Método genérico
public T ObtenerPrimerElemento<T>(List<T> lista)
{
    if (lista != null && lista.Count > 0)
    {
        return lista[0];
    }
    return default(T); // Devuelve el valor por defecto para el tipo T
}

Ejemplo en Java:

// Lista genérica
List<String> nombres = new ArrayList<>();
nombres.add("Alice");
nombres.add("Bob");

// Método genérico
public <T> T obtenerPrimerElemento(List<T> lista) {
    if (lista != null && !lista.isEmpty()) {
        return lista.get(0);
    }
    return null; // Devuelve null para tipos referenciados
}

Ejemplo en Python (type hinting):

from typing import List, TypeVar

T = TypeVar('T')

def obtener_primer_elemento(datos: List[T]) -> T | None:
    # La función puede trabajar con cualquier lista y devolver un elemento de ella
    if datos:
        return datos[0]
    return None

nombres: List[str] = ["Alice", "Bob"]
primer_nombre = obtener_primer_elemento(nombres) # IDE entiende que primer_nombre es str

En algunos lenguajes (Java), los tipos genéricos usan "borrado" (type erasure), donde la información del tipo de parámetro se elimina en tiempo de compilación. Esto puede llevar a algunas limitaciones. En otros lenguajes (C#, Go), la información del tipo se mantiene en tiempo de ejecución.

Los tipos genéricos son una herramienta fundamental para escribir código limpio, seguro y reutilizable.