czytając od typu odniesienia odlewania SE opisie Java:trudnych warunkach, aby zrozumieć, ze specyfikacją Java
Biorąc pod uwagę w czasie kompilacji typu referencyjnego (źródła) i kompilacji typu odniesienia T (cel) , konwersja odlewania istnieje od S do T, jeśli nie wystąpią błędy w czasie kompilacji z powodu następujących reguł.
Trzymam znalezienie następujące rodzaj Stan:
Jeśli S jest typem klasy: Jeśli T jest typem klasy, wówczas
|S| <: |T|
lub|T| <: |S|
. W przeciwnym razie wystąpi błąd podczas kompilacji.Ponadto, jeśli istnieje nadtypu X z T i nadtypu Y z S, tak, że zarówno X, jak i Y są naprzemiennie sparametryzowanymi typami (§ 4.5) i że skreślenia X i Y są takie same , pojawia się błąd kompilacji .
Czy ktoś może podać mi przykład takiej sytuacji?
EDIT:
Dla dalszego wyjaśnienia artykule mam powołując znajduje się w rozdziale 5.5.1 na tym link
Twoje cytaty są niezgodne z kontekstem i nie podajesz linku do odpowiednich sekcji, które cytujesz, więc: Trudno powiedzieć. – Andreas
Obawiałem się, że nie mogę korzystać z materiałów z zewnątrz, ale będę edytować. Dzięki za komentarz – Rodrigo