Ббк 32. 973-018 г рецензент канд физ мат наук, Ф. А. Мурзин

Типичные команды виртуальной машины для языка ООП

Команда	Пояснение
NOP	Ничего не делает
RETURN	Возврат из функции
PUT	Установка поля в объекте
GET	Доступ к полю в объекте
INVOKE	Вызов метода
CHECK	Проверка соответствия типа объекта

Формат команд АМ имеет вид:

s e c d m→ s' e' c' d' m' – переход от старого состояния к новому.

Таблица 37

Дополнительная спецификация команд виртуальной машины для языка ООП. (t – логическое значение)

Исходной состояние	Результат
s e (NOP . c) d m	s e c d m
s e (RETURN . c) d m	s e c d m
(f v . s) e (PUT i . c) d m	s e c d (m | m[f,i] = v)
(f . s) e (GET i . c) d m	(m[f,i] . s) e c d m
((a1 a2 ... aK) f .s) e (INVOKE sig . c) d m	s ((a1 a2 ... aK) . e) (f[sig] . c) d m
(Obj . s) e (CHECK type . c) d m	(t . s) e c d m

Главный путь к снижению трудоѐмкости программирования связан с упрощением процесса отладки, который зависит от искусства

декомпозиции постановок задач и программ их решения на такие комплекты компонент, часть которых можно найти в библиотеках готовых модулей, а часть можно при программировании довести до уровня многократно используемых компонент.
Современное состояние имеющихся технических решений в данной области характеризуется доминированием компонентных технологий, ориентированных на ООП, обеспечивающих классификацию конструктива на уровне понятий пользователя и его отображение на уровень целевых архитектур, представимых в терминах абстрактных машин. При таком подходе не получают полного выражения функциональная декомпозиция и системные решения промежуточного уровня, что отчасти компенсируется развитием аспектно-ориентированного подхода, выглядящего как мета- надстройка над ООП [48]. Отдельный ряд трудностей вызывают приаппаратные оптимизации, требующие более тонкой детализации ниже традиционного уровня абстрактных машин.
Более реальна перспектива снижения трудоѐмкости и повышения надѐжности практического программирования повышением кратности использования библиотечных модулей в рамках многоязыкового программирования на базе систем программирования, создаваемых из общего, а потому более отлаженного конструктива.


7.3. С++
С концепцией ООП связано представление о возможности сокрытия информации, наследования определений по иерархии классов и полиморфизма реализации операций и функций. Переход к ООП в языке С++ привел к пересмотру некоторых решений на уровне языка и компилятора. Рассмотрим особенности C++ как наиболее популярного языка ООП, в котором достижима схема, обобщающая комплекс решений задачи в виде ацикличного графа с возможными горизонтальными связями. Такие решения направлены на программирование ряда версий решения задачи без отмены ранее отлаженных решений, но с формированием новых областей видимости, в которых устаревшая часть программы может быть просто оттеснена. Важно принять во внимание следующее:

• 
  компилируемая программа на С++ представляет собой иерархию областей видимости определений элементов классов, доступ к которым регламентирован;
  
• 
  компиляция методов, конструкторов, функций и перегруженных операций управляется форматом списка фактических параметров, что привело к более жѐстким правилам объявления типов данных и
  

ограничивает свободу конкретизации списка параметров при вызове функций;

• 
  возникают рекомендательные средства повышать эффективность кодирования вызовов функций указанием на inline-включение;
  
• 
  появляется уровень программирования шаблонов для представления общих схем обработки контейнерных типов разнотипных данных.