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

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

Тот же пример иллюстрирует и третью цель параметризации по необ­ходимости. Для установления связи и последующей работы с удаленны­ми данными целесообразна передача по необходимости, поскольку, с одной стороны, установление связи — операция долгая, а с другой — не исклю­чено, что ситуация сложится так, что без удаленных данных можно будет обойтись. Еще один пример, когда анализ наступления необходимости три­виален, демонстрируют логические операции: &&, || и др. (смотри анализ первой цели).

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

Рассмотрим, как соотносится механизм подстановки параметра по необ­ходимости с другими механизмами параметризации.

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

Что касается выходного назначения параметра, то здесь ситуация еще более сложная. Стратегия ленивых вычислений предписывает откладывание определения выходного параметра до тех пор, пока не возникнет потреб­ность в этом, а такая потребность может появляться уже после завершения выполнения процедуры (в частности, при последовательных вычислениях она с гарантией возникает после завершения). Как следствие, последний момент, когда еще возможно вычислить выходной параметр, — это возврат из процедуры. Именно этот момент является предельным для откладывания необходимости вычисления выходного параметра.

Новости

  • 1
  • 2
Prev Next

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

24.01.2016

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

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

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

24.01.2016

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

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

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

24.01.2016

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

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

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

24.01.2016

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

Реклама