klasa hierarchia Scala

Question

Pytania dotyczące hierarchii klasowej Scala:

1. W IntelliJ IDE, szukam realizacji Any i AnyRef, ale one nie istnieją. Gdzie są zdefiniowane i jak mogę zobaczyć ich kod?

2. czytam następujące w „Programowanie w Scala”

Jedyny przypadek, w którym == nie bezpośrednio zadzwonić równa jest pudełkowych klas numerycznych Javy, takie jak Integer lub długi. W Javie nowa Integer (1) nie jest równa nowej Long (1), nawet jeśli dla pierwotnych wartości 1 == 1L. Ponieważ Scala jest językiem bardziej regularnym niż Java, konieczne było poprawienie tej rozbieżności przez zastosowanie specjalnej metody == dla tych klas.

Hmm ... ale czy nie jest to == końcowa? Jak zrobili specjalny przypadek dla klas numerycznych Java?

Answer 1

Any, AnyRef, Null i Nothing w rzeczywistości nie istnieją; są one dołączone, aby system typów kompletny, ale nie mają rzeczywistej reprezentacji. Można znaleźć a reference in Scala's repository, ale jak to się mówi, te nie kompilują się i istnieją tylko w celu dokumentowania i ładowania. Scala's 3 Any* s są w rzeczywistości wszystkie java.lang.Object w skompilowanym kodu bajtowym.

Dodatkowo, prymitywne klasy wartości (Int, Long, itd.) Są zdefiniowane jako final abstract, co oznacza, że ​​one również nie istnieją. Wszystkie ich metody są abstrakcyjne.

Aby wszystko wyglądało schludnie i porządnie, a co ważniejsze, pracuj, zadaniem kompilatora jest fałszowanie istnienia tych typów i wykonywanie magii, aby wszystko było razem. To pozwala == przeprowadzać sprawdzanie wartości NULL i poprawnie obsługiwać typy wartości, nawet jeśli jest to final, ponieważ kompilator robi wokół niego magię. W przypadku new java.lang.Integer(5) == new java.lang.Long(5) sprowadza się to do scala.runtime.BoxesRuntime.equalsNumNum(new java.lang.Integer(5), new java.lang.Long(5)).

Answer 2

To całkiem normalne, że języki mają takie "magiczne" części. Części, których nie można opisać w samym języku.

Oczywisty przykład: możesz zadeklarować superklasę lub nie możesz zadeklarować superklasy, w takim przypadku nadklasa to AnyRef. Jak więc pisać Any, klasa, która nie ma żadnej nadklasy? Cóż, nie możesz. Można rozszerzyć język i pozwolić programistom pisać klasy bez żadnych klas nadrzędnych, ale wtedy nie można dłużej zagwarantować, że ta klasa będzie miała taką hierarchię dziedziczenia, a zatem hierarchia dziedziczenia nie będzie już tworzyć siatki. Ale reguły sprawdzania i interpretowania typów zależą od hierarchii dziedziczenia będącej siatką.

Jedynym rozsądnym wyborem jest posiadanie definicji Any, która nie może być wyrażona w samym języku.

Nie jest to charakterystyczne dla Scala: na przykład ten sam problem występuje w przypadku Javy i Ruby Object.

Właściwie Scala ma wiele mniej taki „magiczny” w porównaniu do innych języków nurtu ... i znaczący ułamek „magii” to ma mają to do zgodności platformy z bazowego ekosystem gospodarza (Java do Scala -JVM, ECMAScript dla Scala.js, CLI dla opuszczonego Scala.NET, CoreFoundation dla hipotetycznego Scala-macOS, itp.).