Непейвода Н.Н. Программирование. Раздел 4

Непейвода Н.Н. Программирование. Страница 435

можно считать простым сужением предыдущего описания записи с указа­телем. Однако при описании Rфактически используется R, а значит, оно попадает под формальное определение рекурсивной структуры данных. Тем не менее, самая прагматически важная характеристика структуры данных — то, что для каждого ее конкретного экземпляра должно быть выполнено

никак не отражено в определении типа. Чисто прагматически этот недо­статок обходится тем, что определяются три различных конструктора такого типа, соответствующие вставке нового элемента в начало, в конец и в сере­дину списка, и деструктор, который, удаляя объект, одновременно переком­мутирует ссылки.

Рассмотренный пример показывает, почему от тематики АТД никуда не деться, поскольку любые чисто технологические ограничения остаются на практике благими пожеланиями, пока они как следует не поддержаны.

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

как аргумент при извлечении значения;

как аргумент при обновлении значения.

Лишь в языке Алгол 68этот семантический и прагматический изоморфизм был отражен и сущности 'переменная' и 'указатель на значение' были отож­дествлены. Это позволило определить общую (семантически естественную и полезную) операцию приведения значений: разыменование. Разыменование активизируется, как и любое приведение типов, в зависимости от синтак­сической позиции; в частности, в левой части присваивания разыменование происходит лишь для снятия лишних косвенных ссылок, в правой части, внутри выражения, оно, как правило, продолжается до получения аргумента базового типа.

Новости

  • 1
  • 2
Prev Next

Ракета "Ангара-А5В" в ближайшее десятилетие не полетит

24.01.2016

Ракета "Ангара-А5В" в ближайшее десятилетие не полетит

Роскосмос не планирует в течение ближайшего десятилетия осуществлять пуск тяжёлой ракеты-носителя А...

Ученые РФ опровергли выводы исследований о вреде ГМО

24.01.2016

Ученые РФ опровергли выводы исследований о вреде ГМО

Исследователи из Института проблем передачи информации (ИППИ РАН) проанализировали несколько самых п...

Летающие "Крокодилы"

24.01.2016

Летающие "Крокодилы"

20 удивительных фактов о боевом вертолете Ми-24.Этот вертолет стал таким же узнаваемым символом сове...

В Аргентине описали новый вид динозавра-гиганта

24.01.2016

О ранее неизвестном виде динозавра, относящемуся к инфраотряду зауроподов, рассказали аргентинские п...

Реклама