Kobezzza. База в программировании

🤓 ООП. Часть 5. Java.



Вот мы и подошли к языку, который, вероятно, внес самый большой вклад в популяризацию ООП в мире. Ну и по совместительству является одним из самых (долго время был самым популярным) ЯП в мире. Итак, на сцену выходит Java.



Но мы с вами оцениваем ЯП с точки зрения реализации ОО парадигмы. Чего больше в Java? Simula или Smalltalk? Давайте разбираться.



Что от Simula:



1. Статическая типизация и разделение на объекты и примитивы (что позволяет добиться высокой производительности).

2. Все объектные типы всегда хранятся в куче и передаются по указателю; примитивы же занимают размер согласно своему типу.

3. Статическая модель классов, виртуальные методы.



Что от Smaltalk:



1. При компиляции Java преобразовывается не в байткод конкретного устройства, а в формат "виртуального" вычислителя - виртуальной машины. Вероятно, Java и здесь стала мощнейшим популяризатором этого подхода. Также, Java первой полностью специфицировала формат своего байткода. То есть у Java 2 спецификации: Java Language Specification (JLS) и Java Virtual Machine Specification (JVMS).



2. Хоть про Java выражение "все есть объект" не применимо, ввиду наличия примитивов и разных с объектами контрактов (в первую очередь с примитивами не работает полиморфизм подтипов), но Java куда более ОО чем например Simula или C++. Давайте и тут распишем:



* Для примитивных типов реализован автоматический механизм упаковки в объектное значение (autoboxing) и распаковки в примитив (unboxing). Это создает иллюзию того, что примитивы очень похожи на объекты. К слову, в том же C++ тоже есть объектные обертки, но их нужно использовать явно. В Java же это намного удобнее, но может быть причиной резкого падения производительности.



* Если языки типа Simula, C++ или Objective С позволяют вам писать в процедурном стиле, то Java вводит ОО подход на уровень идиомы. У вас есть модуль, а в модуле должен быть класс, причем только один.



* В Java реализован механизм обобщенного программирования через параметрические типы (generics, подобные предложенным в CLU), который работает исключительно с объектными типами, а значит все примитивы будут боксятся в объект.



* Все контейнерные типы являются объектами, т.е. структур как C или C# нет. Массивы в Java тоже объекты.



3. Наличие интерфейсов и абстрактных классов, что отсылает к протоколам из Simula и Objective C, а также абстрактным классам С++. К слову, в современной Java интерфейсы могут иметь дефолтную реализацию.



Что общего: сборка мусора типа Mark&Sweep. Вообще Java очень сильно популяризовала этот подход.



Что новаторское:



1. Java была первым языком, который ввел понятие модели памяти. Это набор точно описанных контрактов и языковых конструкций, которые четко описывают поведение программы при многопоточном программировании. Многопоточное программирование было и до Java, но никаких строгих контрактов там не было. В Java же вводится совместимость между кодом под 32 и 64 битные платформы, потокобезопасные типы, конструкции volatile и synchronized, правило "happens before".



2. Спецификация байткода. Это привело к тому, что Java из простого ЯП с виртуальной машиной превратилась в целую платформу. Сейчас существует огромное количество ультра-популярных ЯП использующих Java байткод. Вот несколько примеров: Kotlin, Scala, Clojure.



Причина популярности: Java нащупала золотую середину между безопасностью/гибкостью и эффективностью исполнения в Runtime. Java с успехом используется для написания серверов, мобильных приложение (Android и JavaME), десктопных приложений (например, Eclipse или IntelliJ IDEA и т.д.), высокопроизводительных СУБД (Apache Derby, H2 Database, Cassandra, OrientDB, Neo4J и т.д.) и даже AAA игр (Minecraft).



Сейчас Java продолжает активно развиваться и каждый год выходят новые спецификации. Как и развиваются языки, использующие Java как платформу.



А на этом сегодня все! Всем базы! 💪