Java Array vs Scala Array

Question

Кажется, что одно отличие между Java Array и Scala Array - это Java-массив. Scala Array - нет. Оба являются изменяемыми. В java метод сортировки может принимать разные массивы, такие как массивы String или Int. Это часто цитируется как хороший пример принципа замещения Лискова. Кажется хорошим дизайном для меня? В Scala мы знаем, что Array не является совместным вариантом. Хотя Scala Array разрабатывается позже, чем Java. Я не вижу, как Scala Array лучше в аспекте со-дисперсии. У него, вообще говоря, это лучше, чем Java.

Answer 1

Когда вы посмотрите дальше, вы обнаружите, что отцы языка Java позже решили сделать Generics не covariant. И это по уважительным причинам.

Поскольку List<Apple> не является List<Fruit>. В противном случае, вы могли бы сделать что-то вроде

List<Apple> apples = new ArrayList<>(); 
List<Fruit> fruits = apples; 
fruits.add(new Banana()); 

но Wouldnt вы ожидаете, что

Apple badApple = apples.get(0); 

безопасный вызов? Если вы допускаете ковариацию здесь, это не так!

И удивление: проблема, с которой связаны массивы Java!

Таким образом, проблема в том, что массивы Java являются ковариантными! И лучше, чтобы массивы Scala фактически позволяли вам точно контролировать свою «дисперсию». В Scala у вас есть полный контроль над дисперсией; тогда как в Java они всегда ковариантны.

Наличие ковариантных массивов рассматривалось как прагматичный способ использования «общих» методов, таких как sort(Object[] objects) задолго до того, как кто-либо подумал о наличии дженериков в Java. Это почти 20 лет назад. «Современный» способ, как вы можете видеть: делать вещи по-другому.

«Стоимость» этого решения заключается в том, что Java также знает ArrayStoreException. Это не было бы необходимо, если бы Java-массивы не были бы ковариантными!