OOP mit Java: Typparameter mit Wildcards

Platzhalter	für unbekannte Typen
Beispiel	Eine Methode zum Ausgeben der Werte einer beliebigen Collection

ohne Generics	mit Java <= 1.4
	void printCollection(Collection c) { Iterator i = c.iterator(); while ( i.hasNext() ) System.out.println(i.next()); }

naiver Ansatz	mit Java >= 1.5 und Generics
	void printCollection(Collection<Object> c) { for(Object e : c) System.out.println(e); }
	Collection<String> sc; ... printCollection(sc); // Fehler !!!

richtiger Ansatz	mit Java >= 1.5, Generics und Wildcards
	void printCollection(Collection<?> c) { for(Object e : c) System.out.println(e); }

Lösung	Syntaxerweiterung für generische Typen mit unbekanntem Parametertyp.
	? steht für einen unbekannten Typ.
	Ein unbekannter Typ wird als spezieller als alle Typen aufgefasst.
	Damit sind Zuweisungen (und Parameterübergaben) an Variablen dieses unbekannten Typs verboten.
	Damit sind Zuweisungen an Variablen vom Typ `Object` möglich.
im Beispiel	Über die Elemente der Kollektion ist nichts bekannt, außer dass sie alle Eigenschaften von `Object` besitzen.
Zuweisungen	class Collection<E> { ... E get(...) {...} void add(E e1) {...} }
	Collection<?> c; Object o; X x; o = c.get(...); // o.k. c.add(o); // Fehler c.add(x); // Fehler fuer alle X

für Zuweisungskompatibilität mit Generics und Wildcards mit der JDK Klasse Collection

import java.util.Collection;
class C {
    void f() {
        Collection<?>  c,  c2 = null;
        Collection<Object> co = null;
        Collection<String> cs = null;
        c = co;
        c = cs;
        c = c2;
        c2 = c;
        co = c;
        cs = c;
        co = cs;
        cs = co;
        co = (Collection<Object>)c;
        co = (Collection<Object>)cs;
        Object o;
        o = c.iterator().next();
        c.add(o);
    }
}

javac -Xlint C.java

Typparameter mit Wildcards

Wildcards

Test