Fehler mit generics

[Djinndrache]

Ich versuche mich gerade an Generics und komm nicht sehr weit..

So rufe ich auf:

Point<int> intPoint = new Point<int>(1,2,3);

Das gibt folgenden Fehler:

Syntax error on token "int", Dimensions expected after this token

Meine point.java (abgekürzt):

class Point<T extends Number> {
	
	private T x, y, z;

	public Point(T x, T y, T z) {
		this.x = x;
		this.y = y;
		this.z = z;
	}
	// (...)
}

Wo ist der Fehler? Im Prinzip möchte ich nur einen Punkt erstellen, von dem ich festlegen kann, welchen Datentyp die Koordinaten haben, solange die von Number erben (also int, double, float etc. erlaubt)

 

[Tomate_Salat]

versuche es mal mit Integer ;-)

 

[gizmo]

Schreib anstatt int Integer.

 

[Djinndrache]

Ah, natürlich, danke!



Jetzt hab ich nur noch das Problem, dass ich die Punkte nicht zusammenpacken kann:

		Point<Number> point;
		point = intPoint; // <-- Fehler
		point = doublePoint; // <-- Fehler

gibt den Fehler:

Type mismatch: cannot convert from Point<Integer> to Point<Number>
Type mismatch: cannot convert from Point<Double> to Point<Number>

(intPoint und doublePoint sind einfach Point<Integer> bzw Point<Double>)

 

[Djinndrache]

*dezenter push*

 

[Marco13]

Lösung
Point<? extends Number> point;
point = intPoint;

Erklärung am Beispiel 'List':

List<Integer> intList = new ArrayList<Integer>();
List<Number> numberList = intList; // Geht nicht, warum kommt gleich
numberList.add(someFloat); // Geht: Ein Float ist eine Number
Integer integer = intList.get(0); // Knirsch: Das ist der 'someFloat', und KEIN Integer!

 

[Landei]

Der Fachbegriff für dieses Verhalten lautet Varianz:

Eine Variable vom Typ [c]Point<Number>[/c] ist invariant, ich kann ihr keinen [c]Point<Integer>[/c] zuweisen.
Eine Variable vom Typ [c]Point<? extends Number>[/c] ist covariant, ich kann ihr [c]Point<Integer>[/c] zuweisen.
Eine Variable vom Typ [c]Point<? super Number>[/c] ist contravariant, ich kann ihr [c]Point<Object>[/c] zuweisen.

Letzteres ist in diesem Beispiel nicht sinnvoll, aber wenn ich z.B. [c]Integers[/c] mit einem [c]Comparator[/c] vergleichen möchte, geht das nicht nur mit einem [c]Comparator<Integer>[/c], sondern auch mit einem [c]Comparator<? super Integer>[/c] (wie z.B. [c]Comparator<Number>[/c] ).

 

[Djinndrache]

Danke, das war mir neu. Werd mich auch mal genauer in Varianzen einlesen

 

[Marco13]

@Landei: In Bayern nennt man sowas glaub' ich ein "Gescheithauferl" :bae:
Aber so hat man wenigstens was, wo man drauf verlinken kann, wenn die Frage mal wieder auftaucht

 

[Landei]

Nicht dass ich Vorurteile hätte, aber in Bayern haben die wurzelfressenden Bergvölker Stammgraphen statt Stammbäume, insofern kratzt mich das wenig...

 

[Marco13]

Es ging nu darum, dass die Antwort alleine dem konkreten Threadersteller vermutlich nicht sooo unmittelbar geholgen hätte. Aber als übsichtliche, ergänzende Auflistung könnte es schon fast Teil eines FAQ-Eintrags werden, weil die Frage öfter mal auftaucht. Zumindest sind die Graphen gerichtet