რა არის ტიპების კოვარიანტობა?

ტიპების კოვარიანტობა — ეს არის სისტემის ტიპების თვისება, რომელიც საშუალებას აძლევს გამოიყენოს უფრო კონკრეტული (ქვემტიპი) ტიპი იმ ადგილას, სადაც მოსალოდნელია უფრო ზოგადი (ზედტიპი) ტიპი.

Java კონტექსტში ეს ხშირად გამოხატულია მემკვიდრეობითობის და გენერიკების (generics) მუშაობისას. მაგალითად, თუ კლასი მუსიკა მემკვიდრეობს ცხოველი-დან, კოვარიანტობა საშუალებას აძლევს გამოიყენოს მუსიკა იმ ადგილას, სადაც მოსალოდნელია ცხოველი.

თუმცა, Java-ში გენერიკები დეფოლტად ინვარიანტია, ანუ List<მუსიკა> არ არის List<ცხოველი>-ის ქვემტიპი. კოვარიანტობის მხარდაჭერისთვის გამოიყენება wildcard ტიპები ? extends-ით:

List<? extends ცხოველი> ცხოველები = new ArrayList<მუსიკა>();

აქ, ? extends ცხოველი ნიშნავს, რომ სია შეიცავს ცხოველის ან მისი ქვემტიპების ობიექტებს, რაც საშუალებას აძლევს უსაფრთხოდ წაიკითხოს ობიექტები სიიდან, მაგრამ აკრძალავს ახალი ელემენტების დამატებას (გარდა null-ის).

ამ გზით, კოვარიანტობა ეხმარება ქვემტიპების გამოყენებაში იმ ადგილებში, სადაც მოსალოდნელია უფრო ზოგადი ტიპები, ამავდროულად შენარჩუნებული რჩება ტიპების უსაფრთხოება და კოდის მოქნილობა.