Java Academy · Lección

Wildcards con límite inferior

? super T para consumidores

Wildcards con límite inferior es una lección gratuita de Java Academy en CoddyKit. Esta es la lección 2 de 4. Puedes leer la lección completa abajo gratuitamente — luego la practicas en el navegador con un editor de código integrado y un tutor de IA 24/7. Forma parte de la ruta de aprendizaje de Java Academy, y tu progreso se sincroniza en la web y la app de CoddyKit. El curso de Java Academy incluye 4 lecciones en total.

El comodín con límite inferior

? super T es un comodín con límite inferior. Significa «algún tipo desconocido que sea T o un supertipo de T».

List<? super Integer> puede referirse a una List<Integer>, una List<Number> o una List<Object>.

import java.util.ArrayList;
import java.util.List;

public class Main {
    public static void main(String[] args) {
        List<? super Integer> a = new ArrayList<Number>();
        List<? super Integer> b = new ArrayList<Object>();
        a.add(1);
        b.add(2);
        System.out.println(a + " " + b);
    }
}

Escribir en un consumidor

Con ? super Integer puede añadir cualquier Integer (o subtipo de Integer) de forma segura.

Sea cual sea el tipo real de la lista, como mínimo es una lista de algún supertipo de Integer, por lo que un Integer siempre encaja.

import java.util.ArrayList;
import java.util.List;

public class Main {
    static void addNumbers(List<? super Integer> dest) {
        for (int i = 1; i <= 3; i++) dest.add(i);
    }
    public static void main(String[] args) {
        List<Number> nums = new ArrayList<>();
        addNumbers(nums);
        System.out.println(nums);
    }
}

Al leer se obtiene Object

La contrapartida es que, al leer de una lista ? super T, el compilador solo sabe que los elementos son algún supertipo desconocido de T.

El único tipo seguro para las lecturas es Object.

import java.util.ArrayList;
import java.util.List;

public class Main {
    public static void main(String[] args) {
        List<? super Integer> list = new ArrayList<Number>();
        list.add(10);
        Object o = list.get(0); // only Object is guaranteed
        // Integer i = list.get(0); // would NOT compile
        System.out.println(o);
    }
}

Por qué la lectura es limitada

Una List<? super Integer> podría ser en realidad una List<Object> que contenga String.

Por tanto, una lectura podría devolver cualquier Object. El compilador no puede garantizar que sea un Integer, así que las lecturas solo producen Object.

import java.util.ArrayList;
import java.util.List;

public class Main {
    public static void main(String[] args) {
        List<Object> raw = new ArrayList<>();
        raw.add("a string");
        List<? super Integer> view = raw; // legal: Object is a supertype of Integer
        view.add(5);
        System.out.println(view.get(0).getClass().getSimpleName());
    }
}

Caso de uso del consumidor

Use ? super T cuando un método solo consuma valores (es decir, cuando escriba en ellos).

Un método que rellena una colección de destino es el caso clásico.

import java.util.ArrayList;
import java.util.List;

public class Main {
    static void fill(List<? super String> dest, int count) {
        for (int i = 0; i < count; i++) dest.add("item" + i);
    }
    public static void main(String[] args) {
        List<Object> objs = new ArrayList<>();
        fill(objs, 3);
        System.out.println(objs);
    }
}

Los subtipos también funcionan al añadirlos

Con ? super Number puede añadir cualquier Number o sus subtipos: Integer, Double y Long.

El límite inferior garantiza que la lista acepte al menos Number, por lo que todos sus subtipos encajan.

import java.util.ArrayList;
import java.util.List;

public class Main {
    public static void main(String[] args) {
        List<? super Number> list = new ArrayList<Object>();
        list.add(1);      // Integer
        list.add(2.5);    // Double
        list.add(3L);     // Long
        System.out.println(list);
    }
}

Estilo de Collections.addAll

El JDK utiliza límites inferiores para los destinos. Por ejemplo, en un método genérico que inserta elementos en una colección de destino.

import java.util.ArrayList;
import java.util.List;

public class Main {
    @SafeVarargs
    static <T> void addAll(List<? super T> dest, T... items) {
        for (T item : items) dest.add(item);
    }
    public static void main(String[] args) {
        List<Object> sink = new ArrayList<>();
        addAll(sink, "a", "b", "c");
        System.out.println(sink);
    }
}

Comparator con super

Un uso real: Comparator<? super T> permite que una ordenación acepte un comparador escrito para un supertipo.

Un comparador que compare cualquier Object mediante toString puede ordenar una lista de String.

import java.util.ArrayList;
import java.util.Comparator;
import java.util.List;

public class Main {
    public static void main(String[] args) {
        Comparator<Object> byString = Comparator.comparing(Object::toString);
        List<String> names = new ArrayList<>(List.of("Charlie", "Alice", "Bob"));
        names.sort(byString); // List<String>.sort accepts Comparator<? super String>
        System.out.println(names);
    }
}

super y extends son opuestos

Los dos comodines son opuestos:

? extends T: lee T, no puede escribir. Es un productor.
? super T: escribe T, pero solo puede leer como Object. Es un consumidor.

Esta simetría es el fundamento de la regla PECS que aprenderá a continuación.

import java.util.ArrayList;
import java.util.List;

public class Main {
    public static void main(String[] args) {
        List<? super Integer> consumer = new ArrayList<Number>();
        consumer.add(1);
        System.out.println("consumer can write: " + consumer);
    }
}

Copiar entre límites

Un método de copia muestra ambos comodines a la vez: lee de ? extends T y escribe en ? super T.

import java.util.ArrayList;
import java.util.List;

public class Main {
    static <T> void copy(List<? extends T> src, List<? super T> dest) {
        for (T t : src) dest.add(t);
    }
    public static void main(String[] args) {
        List<Integer> src = List.of(1, 2, 3);
        List<Number> dest = new ArrayList<>();
        copy(src, dest);
        System.out.println(dest);
    }
}

Cuándo no usar un comodín

Si un método lee y escribe T, no use un comodín. Use un tipo exacto o un parámetro de tipo con nombre.

Los comodines existen precisamente para los casos de solo lectura o solo escritura.

import java.util.ArrayList;
import java.util.List;

public class Main {
    static <T> void swapFirstTwo(List<T> list) {
        T tmp = list.get(0);
        list.set(0, list.get(1));
        list.set(1, tmp);
    }
    public static void main(String[] args) {
        List<String> list = new ArrayList<>(List.of("a", "b"));
        swapFirstTwo(list);
        System.out.println(list);
    }
}

Comprobación rápida

Compruebe si entiende los límites inferiores.

Resumen

Ha aprendido los comodines con límite inferior:

? super T significa un supertipo desconocido de T.
Puede escribir T y sus subtipos (es un consumidor).
Las lecturas solo devuelven Object.
Es el reflejo exacto de ? extends T.

A continuación, la regla que relaciona ambos: PECS.

import java.util.ArrayList;
import java.util.List;

public class Main {
    public static void main(String[] args) {
        List<? super Integer> list = new ArrayList<Number>();
        list.add(42);
        System.out.println("Lower bound recap: " + list);
    }
}

Preguntas frecuentes

¿La lección «Wildcards con límite inferior» es gratis?

Sí — el texto completo de «Wildcards con límite inferior» es gratis para leer aquí en la web. Para practicarla de forma interactiva (editor de código integrado y tutor de IA 24/7) y desbloquear el resto del curso de Java Academy, actualiza a CoddyKit PRO. El curso de Java Academy incluye 4 lecciones en total.

¿Qué aprenderé en «Wildcards con límite inferior»?

? super T para consumidores Practicas Java Academy con código real que ejecutas directamente en el navegador, y un tutor de IA 24/7 responde tus preguntas mientras trabajas en la lección.

¿Necesito experiencia previa para empezar Java Academy?

No se requiere experiencia previa. Java Academy en CoddyKit está estructurado para principiantes hasta estudiantes avanzados, así que puedes empezar aquí o desde el inicio y avanzar a tu ritmo. Esta es la lección 2 de 4.

¿Cuánto tiempo toma la lección «Wildcards con límite inferior»?

La mayoría de las lecciones de CoddyKit toman alrededor de 5–10 minutos. Cada una es compacta e interactiva, así que avanzas constantemente y retomas exactamente por donde dejaste en la web y la app.

¿Puedo escribir y ejecutar código en esta lección de Java Academy?

Sí. Cada lección de Java Academy incluye un editor de código integrado, así que escribes y ejecutas código real directamente en tu navegador y obtienes retroalimentación instantánea de IA — sin configuración local necesaria.

Todas las lecciones de este curso

← Volver a Java Academy