Языки программирования. Практический сравнительный анализ


Языки программирования. Практический сравнительный анализ - стр. 243


К тому же не любым двоичным машинам, а с достаточно большим порядком во встроенном представлении плавающих чисел (ведь далеко не во всех машинах допустимы порядки, вчетверо превышающие длину мантиссы; во всяком случае, в БЭСМ-6 это не так).

На этом закончим знакомство с единой системой числовых расчетов, воплощенной в концепции числовых типов Ады.

 

4.16. Управление представлением

 

4.16.1. Суть проблемы

 

Единая модель числовых расчетов, как мы видели, позволяет программисту непосредственно управлять представлением данных числовых типов в объектной машине. Например, потребовать, чтобы число было представлено не менее чем 36 разрядами. Но потребность управлять представлением возникает не только для числовых типов и не только для данных. Причем требуется управлять в некотором смысле окончательным (абсолютным) представлением, а не промежуточным (относительным, как это бывало, когда мы в теле пакета представляли данные приватного типа данными комбинированного типа). Другими словами, требуется управлять представлением объектов в терминах понятий, в общем случае выходящих за рамки машинно-независимого ЯП и определенных только на конкретной объектной машине.

Такого рода потребность особенно часто возникает в системных программах, вынужденных взаимодействовать, скажем, с нестандартными устройствами ввода-вывода или со средствами управления прерываниями целевой (объектной) машины. Например, требуется явно указать адрес, с которого располагается реализация реакции на конкретное прерывание.

Конечно, программы, использующие управление абсолютным представлением, перестают быть машинно-независимыми. Однако это та мера зависимости от машины (та мера конкретизации), без которой программа остается неработоспособной.

Вместе с тем это зависимость только от целевой машины. Сами средства управления представлением данных могут оставаться нормальными конструктами машинно-независимого языка, где они играют роль компонент общего аппарата связывания. А именно связывания абстрактной спецификации данных с их конкретным абсолютным представлением.


- Начало -  - Назад -  - Вперед -