¿Qué son los Genéricos y cómo se utilizan en programación?

Los genéricos (generics) son la capacidad de escribir código que puede trabajar con diferentes tipos de datos, manteniendo la seguridad de tipos en tiempo de compilación. Permiten crear clases, interfaces y métodos en los que el tipo de datos se determina en el momento de su uso, no en su declaración.

El uso de generics garantiza:

• Seguridad de tipos: El compilador verifica la compatibilidad de tipos, ayudando a evitar errores relacionados con incompatibilidades en tiempo de ejecución.
• Reutilización de código: El mismo código puede ser utilizado para trabajar con diferentes tipos de datos sin duplicar lógica.
• Legibilidad del código: El uso de tipos específicos en lugar de Object universal aumenta la claridad del código.
• Rendimiento: En algunos lenguajes (por ejemplo, Java), los generics se implementan mediante eliminación de tipos (type erasure), pero en otros (como C#, C++), la información del tipo se mantiene en tiempo de ejecución.

Ejemplos de uso:

• Colecciones: Creación de listas, conjuntos y mapas genéricos que pueden almacenar elementos de cualquier tipo.

  // Creación de una lista de cadenas
  List<String> stringList = new ArrayList<>();
  stringList.add("hola");
  // Error de compilación si se intenta agregar un número
  // stringList.add(123);
  

• Fábricas: Creación de fábricas que pueden generar objetos de diferentes tipos.
• Métodos: Escribir métodos que trabajan con tipos de datos genéricos.

  // Método genérico para intercambiar valores
  public static void Swap<T>(ref T a, ref T b)
  {
      T temp = a;
      a = b;
      b = temp;
  }
  

• Clases: Creación de clases que son genéricas respecto al tipo de datos almacenados o procesados.

  // Clase genérica Box
  class Box<T> {
      private T content;
  
      public void setContent(T content) {
          this.content = content;
      }
  
      public T getContent() {
          return content;
      }
  }
  

Comparación con el uso del tipo Object (en Java):

Característica	Generics	Tipo Object
Seguridad de tipos	En tiempo de compilación	En tiempo de ejecución (mediante casting)
Necesidad de casting	No	Sí
Errores	Detectados en tiempo de compilación	Pueden ocurrir en tiempo de ejecución (ClassCastException)
Legibilidad	Alta	Menor (no está claro qué tipos se esperan)

En general, los generics son una herramienta poderosa que permite escribir código más confiable, legible y reutilizable.