Warum kann List hier der Liste zugewiesen werden?
Posted: 08 May 2025, 15:06
Ich verstehe, dass Java im Allgemeinen invariant ist, da es sich nicht mit Problemen der Co/Contra-Varianz befassen will.
erfordert einen Typ-Erase-ähnlichen, der über (Liste) funktioniert.
funktioniert wie ohne Guss, obwohl er behauptet, eine Liste zu erhalten über die Dokumentation. />
Was genau ist hier vor und warum ist es in diesem Szenario in Ordnung, bei einer Funktion mit Generika, aber nicht mit Zuweisung im Allgemeinen?>
Code: Select all
List a = new ArrayList();
Code: Select all
List p = Collections.singletonList();
- Es schließt den Rückgabetyp basierend auf dem, was er zugeordnet wird,
Es könnte beispielsweise so tun, funktioniert zumindest etwas so, in Bezug auf Inferenz < /li>
< /ul>
< /li>
Es gibt nur eine Liste zurück < /code> type-erzeugt. Beispiel
Was genau ist hier vor und warum ist es in diesem Szenario in Ordnung, bei einer Funktion mit Generika, aber nicht mit Zuweisung im Allgemeinen?>