[Java] Generics + Overerving

[qanar]

Java:

Class A {}

Class B extends A {}

private Collection< B > foo; //word wel ergens geintialiseerd

public Collection< A > getAll()
{
   return foo;
}

geeft

Type mismatch: cannot convert from Collection<B> to Collection<A>

Waarom is dit? B erft over van A en dus (volgens mij) is een verzameling van B's een verzameling van A's

[RayNbow]

Dit is waarom het niet kan:

Java:

List<Integer> listIntegers = new ArrayList<Integer>();
List<Number> listNumbers;

listNumbers = listIntegers; // subtype relation?

listNumbers.add(new Float(3.2));
Integer newInteger = listIntegers.get(0); // unsafe!

Adding Wildcards to the Java Programming Language

[Glimi]

qanar schreef op dinsdag 26 januari 2010 @ 17:54:
Waarom is dit? B erft over van A en dus (volgens mij) is een verzameling van B's een verzameling van A's

Je intuïtie klopt, mits er covariantie gold voor generieke types. De problemen die dan op kunnen treden worden al genoemd door RayNbow.
Arrays zijn trouwens wel covariant in Java.

[ThaNOD]

Java:

Class A {}

Class B extends A {}

private Collection< B > foo; //word wel ergens geintialiseerd

public Collection< ? extends A > getAll() 
{
   return foo;
}

zo zou het wel moeten lukken. Je kan nu via get(); objecten van het type A uit de collectie halen maar je kan er niets in stoppen.