`out T` oznacza, że typ tylko “produkuje” T (możesz czytać T), więc jest kowariantny (np. `List<out Animal>` może przyjąć `List<Dog>`). `in T` oznacza, że tylko “konsumuje” T (możesz przekazywać T do środka), więc jest kontrawariantny (np. `Comparator<in Dog>`). Dzięki temu kompilator blokuje niebezpieczne odczyty/zapisy.
Odpowiedź zaawansowana
Głębiej
Rozwinięcie krótkiej odpowiedzi — co zwykle ma znaczenie w praktyce:
JVM: pamięć (heap/stack), GC i co wpływa na latency.
Kontrakty: equals/hashCode/toString, mutowalność i konsekwencje.
Wydajność: boxing, alokacje, kolekcje, inlining.
Wytłumacz "dlaczego", nie tylko "co" (intuicja + konsekwencje).
Trade-offy: co zyskujesz i co tracisz (czas, pamięć, złożoność, ryzyko).
Edge-case’y: puste dane, duże dane, błędne dane, współbieżność.
Przykłady
Krótki przykład (szablon do wyjaśniania):
// Example: discuss trade-offs for "wariancja-generyków:-co-oznacza-`out`-i-`in`-w-k"
function explain() {
// Start from the core idea:
// `out T` oznacza, że typ tylko “produkuje” T (możesz czytać T), więc jest kowariantny (np.
}
Typowe pułapki
Zbyt ogólna odpowiedź (brak konkretów, brak przykładów).
Brak rozróżnienia między "średnio" a "najgorzej" (np. złożoność).