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

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

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

Сопоставляя разные подходы к присваиванию, видим, что выявляются два взгляда на понятие переменной:

переменная трактуется как языковой объект, который обладает атрибу­том, называемым значением. Этот атрибут может меняться в динамике вычислений (пример такого подхода — язык Pascal);

переменная трактуется как адрес (или обозначение адреса, если речь идет об имени), указывающий на область памяти, где могут размещать­ся разные значения, как правило, но совсем не обязательно одного и того же типа (пример такого подхода — язык C/C++).

Это различие взглядов ведет к другим отличиям языков в части оперирова­ния со значениями и переменными, в подходах к присваиванию, парамет­ризации и приведениям, в отношении к указателям, что, в конечном итоге, приводит к разным системам типов данных.

В качестве примера еще одного подхода к понятиям переменной и зна­чения уместно привести их трактовку в языке LUCID, в которой явно фигу­рирует время. Переменная в этом языке рассматривается как последователь­ность элементарных значений во все моменты ее жизни. При такой трак­товке основными операциями оказываются соотношения между значениями переменных в разные моменты времени. Например, фрагмент

(9.1)

задает константу со значением 5, а соотношения

определяют в условиях первого фрагмента, что переменная V изменяется во времени как арифметическая прогрессия с разностью, равной (7 = 5.

Новости

  • 1
  • 2
Prev Next

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

24.01.2016

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

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

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

24.01.2016

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

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

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

24.01.2016

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

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

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

24.01.2016

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

Реклама