Cтраница 4
В некоторых случаях возникает необходимость в качестве значения указателя принять пустую ссылку nil, которая не связывает с указателем никакого объекта и принадлежит любому ссылочному типу. [46]
Первая операция присвоения A: dynamic typed ( B) в процессе компиляции считается допустимой, поскольку переменной типа dynamic typed может быть присвоено значение любого ссылочного типа. Вторая операция присвоения В: R ref ( A) вызывает включение компилятором в машинный код команд проверки типа во время исполнения программы, которые выполняются следующим образом. Системный тип, закодированный в дескрипторе объекта, адресуемого А, проверяется на совпадение с таким же кодом у В. Если они равны и системный тип не является расширенным типом, то проверка заканчивается успешно. Если же оба типа являются расширенным типом, то выполняются последующие проверки на равенство дескрипторов доступа TDO AD. Один из TDO AD находится в дескрипторе объекта - текущего значения объекта А, а другой TDO AD - это дескриптор доступа к ТОО типа R ref, что является правильным типом для В. [47]
В тех случаях, когда предлагаемые методы конструирования не вполне подходят ( а посему допускают лишь запутанные и неэффективные решения), язык Паскаль с помощью ссылочных типов обеспечивает тем не менее широкое поле деятельности: с их помощью можно самому реализовать любой метод структурирования. [48]
Последующее выполнение внутри КОНТРКГТЯ С может теперь привести к расширению динамической цепи при генерации контекстов для D и затем Е, которые, как предполагается, лежат внутри сферы действия ссылочного типа S. Эти объекты типа контекст имеют более высокие последовательные номера уровней. [49]
С другой стороны ( хотя это и маловероятно в данном случае), пользователь может подставить в качестве требуемого интерфейса устройства тело другого пакета, имеющего такую же спецификацию, как и ссылочный тип уточнения пакета Terminal Sink. Эта спецификация находится в пакете iMAX Terminal IO Interface, но из соображений экономии места мы не привели ее в приложении К. [50]
Введение возможности использования переменных типа строка не усложняет реализации транслятора с языка Ада, поскольку в этом случае для строк может использоваться тот же самый механизм распределения памяти, который используется для ссылочных типов. [51]
В языке ПАСКАЛЬ определена константа с именем MAXINT, которая равна максимальному положительному целому числу, представленному в данной реализации языка, и константа с именем NIL, используемая для указания, что значение переменной ссылочного типа ( см. гл. [52]
Операции, перечисленные для каждой родовой абстракции, появлялись бы также в начале списка операций последующей абстракции. Например, ссылочный тип pkg-ref Terminal Source содержит спецификацию ( в показанном выше порядке) всех операций приемника, за которыми следуют две дополнительные операции: Get terminal characteristics и Set terminal characteristics. Эти дополнительные операции могут использоваться, например, для получения значения скорости терминальной линии связи и для последующей установки для линии связи одного из допустимых значений скорости. [53]
За описанием исключительных ситуаций и подтипов следуют комментарии, представляющие шаблон основного, но несуществующего корневого узла абстракции устройств. Этот шаблон называется ссылочный тип пакета Basic IO Interface, его копия вставляется в каждый из последующих ссылочных типов pkg-ref: Source, Sink и Store. В шаблоне содержится спецификация пяти операций: Interface description, Close, Reset, Transform interface и Get asynchronous. Функция Interface description возвращает указатель на экземпляр query record rep для конкретного интерфейса устройства. [54]