A2.A Tipos parametrizados

Para quién es esto

Es material avanzado: da por sabidas las unidades 1 a 5, sobre todo clases e interfaces. Si te haces un lío con los tipos, repasa las unidades 4 y 5.

Una clase genérica o una función genérica se escribe una sola vez y sirve para varios tipos. En lugar de decir «una caja de enteros» y «una caja de textos» con dos clases, dices «una caja de T», donde T es un tipo que se decide al usarla.

Por qué existe

Sin genéricos habría que guardar el valor como Object o dynamic: cabe cualquier cosa, pero al sacarlo el compilador ya no sabe qué es y hay que convertirlo a mano (con riesgo de error al ejecutar). Con Caja<T> el tipo queda recordado: texto.valor es un String de verdad.

La sintaxis en Dart

Qué	Cómo se escribe en Dart
Clase genérica	class Caja<T> { ... }
Función genérica	T primero<T>(List<T> lista) => ...
Usarla	Caja<int>(42) o Caja('hola') (deduce Caja<String>)
Varios parámetros	class Par<A, B>

Por convención, el parámetro de tipo se llama con una letra mayúscula: T (type), E (element), K y V (key y value), o A, B cuando hay varios.

Un ejemplo

Una caja genérica, un par con dos tipos distintos y una función que devuelve el primer elemento de una lista de cualquier tipo:

// Tipos genéricos: Caja<T> guarda un valor de cualquier tipo T, y el compilador recuerda cuál es.
class Caja<T> {
  final T valor;
  Caja(this.valor);
}

// Con dos parámetros de tipo: Par<A, B>
class Par<A, B> {
  final A primero;
  final B segundo;
  Par(this.primero, this.segundo);

  @override
  String toString() => '($primero, $segundo)';
}

// Función genérica: sirve para listas de cualquier tipo y devuelve ese mismo tipo
T primero<T>(List<T> lista) => lista.first;

void main() {
  final texto = Caja('hola'); // el compilador deduce Caja<String>
  final numero = Caja<int>(42); // también se puede indicar a mano
  print('caja de texto: ${texto.valor}');
  print('caja de entero: ${numero.valor}');
  print('par: ${Par('Ana', 30)}');
  print('primero de [3, 4, 5]: ${primero([3, 4, 5])}');
  print('primero de [a, b]: ${primero(['a', 'b'])}');

  // texto.valor es un String de verdad: int n = texto.valor; no compilaría
  final String t = texto.valor;
  print('longitud: ${t.length}');
}

Salida:

caja de texto: hola
caja de entero: 42
par: (Ana, 30)
primero de [3, 4, 5]: 3
primero de [a, b]: a
longitud: 4

Fíjate en lo que no hace falta: ni convertir tipos ni escribir una clase por cada tipo. La función primero devuelve un entero cuando le das enteros y un texto cuando le das textos, y el lenguaje lo sabe.

Errores frecuentes

Error	Cómo evitarlo
Usar Object/Any/dynamic «para que valga con todo»	Si lo único que cambia es el tipo, usa un parámetro de tipo
Escribir T y luego querer llamar a un método suyo	Sin restricción, de T no se sabe nada: mira A2.B
Creer que un genérico existe igual al ejecutar en todos los lenguajes	No es así: mira A2.C

Para practicar

Los ejercicios A2.1 y A2.2 usan una función y una clase genéricas. Para ver la misma idea en los otros lenguajes: Pasar de uno a otro.