[JAVA] Le interfaccie si perdono nei Vector

[franksisca]

esercizio semplice semplice...


una semplice classe che implementa una interfaccia

public class PallinoNome implements PincoPallino {
	private String pallino;

	public PallinoNome() {
		this.setPallino("pallino");
	}

	@Override
	public String getPallino() {
		return this.pallino;
	}

	@Override
	public void setPallino(String pallino) {
		this.pallino = pallino;
	}

}

la semplice interfaccia

public interface PincoPallino {
	public String getPallino();

	public void setPallino(String pallino);
}

e il main che "dovrebbe" funzionare

import java.util.Vector;

public class StarterClass {

	public static void main(String[] args) {
		Vector<PallinoNome> pinchipallini = new Vector<PallinoNome>();
		aggiungiPallino(pinchipallini);
	}

	private static void aggiungiPallino(Vector<PincoPallino> pinchipallini) {
		// TODO Auto-generated method stub
	}
}

mi dà errore nella firma di aggiungiPallino, mi dice

The method aggiungiPallino(Vector<PincoPallino>) in the type StarterClass is not applicable for the arguments (Vector<PallinoNome>)	StarterClass.java	/testCase/src/proveStrane	line 12	Java Problem

chi mi spiega il perchè si perde la generalizzazione dell'interfaccia? come potrei risolvere?

[msangi]

Il problema è dovuto al fatto che il metodo si aspetta un oggetto di tipo

Vector<PincoPallino>

mentre tu gli passi un oggetto di tipo

Vector<PallinoNome>

.

È vero che tra PincoPallino e PallinoNome c'è un rapporto di ereditarietà, ma questo non vale per i vettori che le utilizzano.

Generics were introduced in Java 5.0 to allow type-safe generic programming.
Unlike arrays, generic classes are neither covariant nor contravariant. For example, neither List<String> nor List<Object> is a subtype of the other.

http://en.wikipedia.org/wiki/Covaria..._science)#Java

[franksisca]

Ok, il problema l'avevo capito che era quello, solo che volevo una spiegazione più terra terra.

con le liste quindi dovrebbe funzionare?

[msangi]

No, anche con le liste avresti lo stesso problema.

Prova a dichiarare aggiungiPallino in questo modo

aggiungiPallino(Vector<? extends PincoPallino> pinchipallini)

In pratica usi una generic wildcard in cui dici che il metodo deve accettare come parametro un vettore di qualcosa che estende PincoPallino.

[franksisca]

con questa implementazione è possibile bypassare il problema...

import java.util.Vector;

public class StarterClass {

	public static void main(String[] args) {
		Vector<PallinoNome> pinchipallini = new Vector<PallinoNome>();
		aggiungiPallino(pinchipallini);
	}

	private static <E extends PincoPallino> void aggiungiPallino(
			Vector<E> pinchipallini) {

	}

}

[msangi]

È un altro modo per scrivere la soluzione che avevo postato io.

[banryu79]

Originariamente inviato da franksisca

con questa implementazione è possibile bypassare il problema...

A dire il vero non è che sia un "problema"... è proprio una conseguenza del modo in cui sono implementati i Generics in Java (type erasure).

Una risorsa esaustiva -> link

[franksisca]

Originariamente inviato da msangi

È un altro modo per scrivere la soluzione che avevo postato io.

si, l'abbiamo praticamente postata insieme, grazie mille

Originariamente inviato da banryu79

A dire il vero non è che sia un "problema"... è proprio una conseguenza del modo in cui sono implementati i Generics in Java (type erasure).

Una risorsa esaustiva -> link

thanks a lot