`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.
Rozwinięcie krótkiej odpowiedzi — co zwykle ma znaczenie w praktyce:
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.
}