Программирование на JAVA

Многие разработчики поначалу жестко критиковали смелый лозунг Sun "Write once, run everywhere", обнаруживая все больше и больше несоот­ветствий и нестыковок на различных платформах. Однако надо признать, что они просто были слишком нетерпеливы. Java только появилась на свет, а первые версии спецификаций были недостаточно исчерпывающими.

Очень скоро специалисты Sun пришли к выводу, что просто сво­бодно публиковать спецификации (что уже делалось задолго до Java) не­достаточно. Необходимо еще и создавать специальные процедуры про­верки новых продуктов на соответствие стандартам. Первый такой тест для JVM содержал всего около 600 проверок, через год их число вырос­ло до десяти тысяч и с тех пор все время увеличивается (именно его в свое время не смог пройти MS IE 4.0). Безусловно, авторы виртуальных машин все время совершенствовали их, устраняя ошибки и оптимизи­руя работу. Все-таки любая, даже очень хорошо задуманная, технология требует времени для создания высококачественной реализации. Анало­гичный путь развития сейчас проходит Java 2 Micro Edition (J2ME), но об этом позже.

Следующим по важности свойством является объектная ориентиро­ванность Java, что всегда упоминается во всех статьях и пресс-релизах. Сам ООП рассматривается в следующей лекции, однако важно подчерк­нуть, что в Java практически все реализовано в виде объектов - потоки выполнения (threads) и потоки данных (streams), работа с сетью, работа с изображениями, с пользовательским интерфейсом, обработка ошибок и т.д. В конце концов, любое приложение на Java - это набор классов, опи­сывающих новые типы объектов.

Подробное рассмотрение объектной модели Java проводится на про­тяжении всего курса, однако обозначим основные особенности. Прежде всего, создатели отказались от множественного наследования. Было ре­шено, что оно слишком усложняет и запутывает программы. В языке ис­пользуется альтернативный подход - специальный тип "интерфейс". Он подробно рассматривается в соответствующей лекции.

Далее, в Java применяется строгая типизация. Это означает, что лю­бая переменная и любое выражение имеет тип, известный уже на момент компиляции. Такой подход применен для упрощения выявления про­блем, ведь компилятор сразу сообщает об ошибках и указывает их распо­ложение в коде