Java-Generika - <K erstreckt sich Mitte> - ist K ein echtes Kind von Middle?

Question

Die folgende Methode kompiliert nicht:

public <K extends Middle> K test(K a, K b) { 

     return a.test(); //a.test() returns Middle 
} 

Wenn wir K als Subtyp von Middle gesetzt, dann Middle der Lage sein sollte zurückgegeben werden, nicht wahr?

Wenn ich wie folgt vor: return (K)a.test();, es kompiliert ...

Answer 1

Wenn wir K als Subtyp von Mitteln gesetzt ist, dann sollte Mitte der Lage sein, zurückgeführt werden, nicht wahr?

Nein, das ist nicht sicher. Nehmen Sie Number als Beispiel. Wenn Middle ist Number und K ist Integer, a.test() könnte eine Double als Double extends Number zurückgeben. Aber Double ist kein Integer, also wäre das nicht typsicher.

Alle Ks sind Middles, aber es ist nicht garantiert, dass alle Middles Ks sind.