Faster Software - Porqu� a veces es mejor usar <? super T> y no simplemente <T>

Para insertar objetos en TreeSets o utilizarlos como claves en TreeMaps, entre otras cuestiones, es necesario implementar la interfaz Comparable (a menos que se explicite un Comparator). La interfaz Comparable es parametrizada :

public interface Comparable This interface imposes a total ordering on the objects of each class that implements it. This ordering is referred to as the class's natural ordering, and the class's compareTo method is referred to as its natural comparison method.

Esta interfaz requiere implementar un �nico m�todo:


	int compareTo(T o)

Entonces, si tengo una clase Persona, con atributo id, y quiero ordenar por ese criterio, puedo implementar:


	public int compareTo(Persona p) {
		return Integer.compare(this.id, p.id);
	}

Ahora supongamos que quiero crear una colleccion llamada MiColeccion que guarde elementos ordenados y extienda TreeSet. Podr�a hacer algo como:


	public MiColeccion extends TreeSet {}

Como TreeSet es una clase gen�rica, deber�a hacer tambi�n gen�rica la m�a y colocar :


	public MiColeccion extends TreeSet {}

Si defino mi colecci�n de esta forma, puedo insertar objetos que no implementen Comparable, y (de no explicitar un Comparator) obtendr� un error en tiempo de ejecuci�n.


	public void main(String[] args) {
		MiCollection personas = new MiCollection<>();
		personas.add(new Persona(1234)); // OK porque Persona implementa Comparable
		
		MiCollection archivos = new MiCollection<>();
		archivos.add(new File("archivo.txt")) // ERROR porque File no implementa Comparable
	}

#imagenConError Entonces, para programar m�s defensivamente puedo obligar a que los objetos que se inserten implementen Comparable:


	public MiColeccion extends TreeSet {}

Como Comparable es una clase gen�rica tambi�n, la forma correcta ser�a indicar:


	public MiColeccion> extends TreeSet

De esta forma, volviendo al ejemplo anterior, la instrucci�n MiCollection va a fallar en tiempo de compilaci�n: INDICAR ERROR DE COMPILACION, evitando errores futuros.


	public void main(String[] args) {
		MiCollection personas = new MiCollection<>();
		personas.add(new Persona(1234)); // OK porque Persona implementa Comparable
		
		MiCollection archivos = new MiCollection<>();
		archivos.add(new File("archivo.txt")) // ERROR porque File no implementa Comparable
	}

Pero qu� pasa si decido extender la clase Persona, por ejemplo creando la clase Alumno?


	public class Alumno extends Persona {}

Puedo crear una colecci�n MiCollection?
Alumno implementa Comparable?

As� c�mo definimos las clases, Alumno implementa Comparable porque extiende de Persona. Pero implementa Comparable. La definici�n > nos obliga a que la clase X implemente Comparable, o que Alumno implemente Comparable Por lo que vamos a tener error en tiempo de compilaci�n: MOSTRAR IMAGEN ERROR Entonces nos ver�amos obligados a redefinir la clase Alumno como:


	public class Alumno extends Persona implements Comparable {
		public int compareTo(Alumno a) {
			return super.compareTo(a);
		}
	}

Lamentablemente tendr�amos que reimplementar el m�todo compareTo en cualquier clase que la extienda. Para evitar esto, podemos cambiar la definici�n de MiColeccion. En vez de Comparable, pediremos que los objetos que se insertan implementen Comparable:


	public MiColeccion> extends TreeSet

Al hacer esta modificaci�n, puedo insertar objetos de tipo Alumno, aunque esa clase no implemente Comparable. La expresi�n Comparable> nos indica que puede implementar Comparable "? super T". O sea, cualquier Clase que sea super de T (padre de T).

Porqu� a veces es mejor usar <? super T> y no simplemente <T>

Relacionados