Что такое ковариантность типов

Ковариантность — это свойство типов, при котором производный тип может использоваться вместо базового. В Java ковариантность проявляется в массивах и дженериках (с ограничениями). **Пример с массивами:** ```java Object[] objects = new String[10]; // String[] ковариантен к Object[] objects[0] = "Hello"; // OK // objects[1] = 123; // Runtime ошибка (ArrayStoreException) ``` **Пример с дженериками (используя wildcard):** ```java List numbers = new ArrayList(); // Integer ковариантен к Number // numbers.add(42); // Ошибка компиляции (нельзя добавлять) Number num = numbers.get(0); // Можно читать как Number ``` Ковариантность обеспечивает безопасность чтения, но ограничивает запись.