Turlar kovariatsiyasi nima?

Turlararning kovariatsiyasi — bu tiplar tizimining xususiyatidir, u yerda ko'proq aniqroq (subtip) turdan foydalanish mumkin, u qayerda kutilyotgan bo'lsa, u yerda umumiyroq (supertip) tur.

Java kontekstida, bu ko'pincha merosxo'rlik va generiklar bilan ishlashda namoyon bo'ladi. Masalan, agar Mushuk sinfi Hayvondan meros olsa, kovariatsiya Mushukni Hayvon joyida ishlatishga imkon beradi.

Ammo, Java'da generiklar odatda invariants, ya'ni List<Mushuk> List<Hayvon> ning subtipi emas. Kovariatsiyani qo'llab-quvvatlash uchun ? extends bilan wildcard tiplari ishlatiladi:

List<? extends Hayvon> hayvonlar = new ArrayList<Mushuk>();

Bu yerda, ? extends Hayvon deganda, ro'yxat Hayvon yoki uning subtiplaridan ob'ektlarni o'z ichiga oladi, bu esa ro'yxatdan ob'ektlarni xavfsiz o'qishga imkon beradi, lekin yangi elementlar qo'shishni (null bundan mustasno) taqiqlaydi.

Shu tarzda, kovariatsiya subtiplarni kutayotgan joylarda ularni ishlatishga yordam beradi, tip xavfsizligini va kodning moslashuvchanligini saqlab qoladi.