Ինչ է տիպերի կովարիանտությունը?

Տիպերի կովարիանտությունը՝ դա տիպերի համակարգի հատկություն է, որը թույլ է տալիս օգտագործել ավելի կոնկրետ (պատմական) տիպ այնտեղ, որտեղ սպասվում է ավելի ընդհանուր (սուպեր) տիպ:

Java-ի կոնտեքստում դա հաճախ արտահայտվում է ժառանգության և գեներիկների (generics) հետ աշխատելիս: Օրինակ, եթե Մուկ դասը ժառանգում է Համայնք-ից, ապա կովարիանտությունը թույլ է տալիս օգտագործել Մուկ-ը այնտեղ, որտեղ սպասվում է Համայնք:

Սակայն, Java-ում գեներիկները ըստ նախնական կարգի անտարբեր են, այսինքն՝ List<Մուկ> չի հանդիսանում List<Համայնք>-ի ենթատեսակ: Կովարիանտությունը աջակցելու համար օգտագործվում են wildcard տիպեր ? extends-ով:

List<? extends Համայնք> կենդանիներ = new ArrayList<Մուկ>();

Այստեղ, ? extends Համայնք նշանակում է, որ ցանկը պարունակում է Համայնք կամ նրա ենթատեսակների օբյեկտներ, ինչը ապահովում է ցանկից օբյեկտների անվտանգ ընթերցում, բայց արգելում է նոր տարրեր ավելացնել (բացառությամբ null):

Այսպիսով, կովարիանտությունը օգնում է օգտագործել ենթատեսակները այն վայրերում, որտեղ սպասվում են ավելի ընդհանուր տիպեր, պահպանելով տիպային անվտանգությունը և կոդի ճկունությունը։