Типтердин коварианттуулугу эмнеде?

Типтердин ковариантуулугу — бул тип системасынын өзгөчөлүгү, ал жерде такыр көбүрөөк так (подтип) типти колдонууга болот, ал жерде көбүрөөк жалпы (супертип) тип күтүлөт.

Java контекстинде, бул көбүнчө мурас жана генериктер менен иштөөдө көрүнөт. Мисалы, эгер Мурга классы Жаныбардан мурас алса, ковариантуулук Мурганы Жаныбар күтүлүп жаткан жерлерде колдонууга мүмкүндүк берет.

Бирок, Javaда генериктер стандарттык түрдө инварианттуу, башкача айтканда, List<Мурга> List<Жаныбар>нын подтипи эмес. Ковариантуулукка колдоо көрсөтүү үчүн wildcard түрлөрү ? extends менен колдонулат:

List<? extends Жаныбар> жаныбарлар = new ArrayList<Мурга>();

Бул жерде, ? extends Жаныбар дегенде, список Жаныбар же анын подтиптеринин объекттерин камтыйт, бул списоктон объекттерди коопсуз окулушуна мүмкүндүк берет, бирок жаңы элементтерди кошууга (nullдан башка) тыюу салынат.

Мындай жол менен, ковариантуулук подтиптерди колдонууга жардам берет, ал жерде көбүрөөк жалпы типтер күтүлөт, жана типтердин коопсуздугун жана коддун ийкемдүүлүгүн сактайт.