иерархии классов в Scala

Question

Вопросы по иерархии классов в Scala:

1. В IntelliJ IDE, я ищу для реализации Any и AnyRef, но их там нет. Где они определены и как я могу увидеть их код?

2. Я прочитал следующее в «Программирование в Scala»

Единственный случай, когда == не вызывать напрямую равно для штучной числовых классов Java, таких как Integer или Long. В Java новый Integer (1) не равен новому длинному (1), хотя для примитивов значения 1 == 1L. Поскольку Scala является более регулярным языком, чем Java, для устранения этого несоответствия необходимо было установить с помощью специального метода == для этих классов.

Хм ... но не == окончательный? Как они сделали особый случай для числовых классов Java?

Answer 1

Any, AnyRef, Null и Nothing на самом деле не существует; они включены, чтобы система типов была полной, но они не имеют реального представления. Вы можете найти a reference in Scala's repository, но, как говорится, они фактически не компилируются и не существуют только для документации и загрузки. Scala's 3 Any* s на самом деле все java.lang.Object в скомпилированном байт-коде.

Кроме того, классы примитивных значений (Int, Long и т. Д.) Определены final abstract, что означает, что они также фактически не существуют. Все их методы абстрактны.

Для того, чтобы все выглядело аккуратно и аккуратно, а главное, работа, это работа компилятора, чтобы подделать существование этих типов и выполнить магию, чтобы все это склеивалось. Это то, что позволяет == делать нулевые проверки и правильно обрабатывать типы значений, хотя это final, поскольку компилятор делает магию вокруг него. В случае new java.lang.Integer(5) == new java.lang.Long(5), оно сводится к scala.runtime.BoxesRuntime.equalsNumNum(new java.lang.Integer(5), new java.lang.Long(5)).

Answer 2

Это нормально для языков, где есть «магические» части, подобные этому. Части, которые не могут быть описаны в самом языке.

Очевидный пример: вы можете объявить суперкласс или вы не можете объявить суперкласс, и в этом случае суперкласс будет AnyRef. Итак, как вы пишете Any, класс, который не имеет суперкласса? Ну, ты не можешь. Вы можете расширить язык и позволить программистам писать классы без суперклассов, но тогда вы больше не можете гарантировать, что Any является только таким классом, и поэтому ваша иерархия наследования больше не будет представлять собой решетку. Но правила проверки типов и типов ввода зависят от от иерархии наследования, являющейся решеткой.

Таким образом, единственным разумным выбором является определение Any, которое фактически не может быть выражено в самом языке.

Это не свойственно Scala: у вас такая же проблема с Java и Ruby's Object, например.

На самом деле, Scala имеет много меньше таких «магия» по сравнению с другими языками господствующих ... и значительная часть «магии», это действительно есть для совместимости с платформой основной принимающей экосистемы (Java для Scala -JVM, ECMAScript для Scala.js, CLI для заброшенной Scala.NET, CoreFoundation для гипотетического Scala-macOS и т. Д.).