Р.У. Себеста - Основные копцепции языков программирования (2001) (1160794), страница 94

Просмтор этого файла доступен только зарегистрированным пользователям. Но у нас супер быстрая регистрация: достаточно только электронной почты!

Текст из файла (страница 94)

Эти совмещения имен возлюжны, если язык предоставляет больше глобального доступа, чем необходимо. как это иногда случается прн испочьзовании статического обзора данных. В качестве примера рассмотрим следующий код на языке Рааса]: ркосег1иае ЬудзоЬ) чае д1оЬа1 : 1пгедег; ркоое6ткв ажа!1виЬ(чаг 1оса1 : 1пгедег); Ьвдз.п впсл) (вжа11аоЬ] Ьедз и лжа11аиЬ (д1оЬа1]; а) (Ь д Ь) Внутри процедуры эжа11эиЬ имена 1оса1 и д1оЬа1 являются альтернативными. Как указывалось выше, основной причиной этого совмещения имен является то, что статический обзор данных часто обеспечивает слишком широкий доступ к глобальным переменным. Если переменная д1оЬа1 в процедуре ЬудвоЬ не была бы неявно видимой в процедуре впа11воЬ, то имена 1оса1 и д1оЬа1 не были бы альтернативными в этой процедуре.

Вследствие того, что переменная д1оЬа1 должна передаваться как параметр в процелуру вва11виЬ, программист, возможно, забыл, что она уже является видимой в этой процедуре. Проблемы, возникающие в связи с этим видом совмещения имен, аналогичны проблемам, возникающим при других обстоятельствах: это вредно лля читабельности и, следовательно, для надежности. Кроме того, совмещение имен делает задачу верификации программ исключительно трудной.

Все эти возможные ситуации, связанные с совмещением имен, исключаются, если вместо передачи по ссылке используется передача по значению и результату. Однако при зев Гдово 8. Подпрограммы —:и вместо проблемы совмещения имен иногда возникают другие проблемы, обсуж- земые в разделе 8.5.2.3. 8.5.2.5. Передача па имени Передача по имени (разя-Ьу-паше) — это метод перелачи параметров в режиме вво::-вывода, не соответствующий какой-то отдельной модели реализации, как показано ке. Когда параметры передаются по имени.

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

чны, однако фактическое связывание с некоторым значением или алресом отклады:зется, пока формальному параметру не будет присвоено какое-нибудь значение, либо на - =;о не будет сделана ссыдка. Целью такого позднего связывания в методе передаче параметров по имени является - . кость. Это относится и к лругим ситуациям, в которых мы сталкивались с различныл моментами связывания. Например, связывание переменной с типом в языке АРЬ прогходит позже.

чем в языке ГОВТКА]Ч, что позволяет более гибко использовать переенные. Вид фактического параметра диктует выбор модели реализации передачи параметров -. имени. Это отличает параметры, передаваемые по имени, от параметров, передаваегс с помощью других методов. Если фактический параметр представляет собой ска-рную величину. то передача по имени равносильна передаче по ссылке. Если фактиче: ° ий параметр является константным выражением, то передача по имени эквивалентна -ередаче по значению.

Если фактический параметр представляет собой элемент массива, -.' передача по имени может отличаться от любого другого метода, поскольку значение ° зексного выражения может изменяться во время выполнения программы межлу моентами времени, в которые производятся разные обращения к этому параметру. Это поэоляет использовать разные появления формального параметра в вызываемой подпро=эмме для обращения к разным элементам массива. Этот способ более детально обсужзется чуть ниже. Если фактический параметр представляет собой выражение, содержащее перемен— ю.

передача по имени отличается от любого другого метода. Это объясняется тем, что .=ыражение вычисляется каждый раз, когда необходимо получить доступ к формальному -зраметру в то время, когда управление выполнением программы достигает переменной. : .ли любая переменная в этом выражении сама по себе является доступной и изменяется -; дпрограммой, то значение выражения может изменяться при каждой ссылке на фор" тьный параметр. Рассмотрим слелующий пример программы, написанной на языке, подобном языку ' ЬС]ОЬ: ркосес(акв В1ЯЯ(]В; ьпввдвк ЯЬОВАЬг ьпкедвк аккау ЫЯТ(1:2]; ркосеецке ЯцВ(РАВАН]Г хакедек РАВАМг ]эедьп 8.5. Методы передачи параметров 359 РАРАИ: = 3; С' ОВАЬ: ВЬОВАЬ ь 1; РАТАСА: = 5 еас); Ьедзп ' 1ЯТ11, ':=. 2; ' 1ЯТ(2] := 2; В'ОВА1:= 1г ЯУВ 11 1ЯТ 1СЬОВА1 ) ); а; После выполнения этой программы массив ЬТЯТ содержит значения 3 и 5, причем оба эти значения устанавливаются в позпрограь1ме ЯОВ.

Досзуп к элементу 1.1ЯТ [2] открывается, когда значение переменной СЬОВАЬ увеличивается на 1 в подпрограмме БОВ и становится равным 2. Основныл1 преимушеством передачи по имени является гибкость, которую она предоставляет программисту. Основной ее недостаток состоит в медленном выполнении процесса по сравнению с другими методами передачи параметров. Цена передачи параметров по значению с точки зрения эффективности выполнения обсуждается в разделе 8.5.5. Кроме высокой цены своих недостатков, передачу парал1етров по имени трудно реализовать.

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

(Полиморфизм обсуждается в разделе 8.8.) Ленивые вычисления — это еше один механизм, который является формой позднего связывания. Кратко говоря, они представляют собой вычисления частей функционального кода только тогда, когда необходимость этих вычислений становится очевидной. В императивных языках примером ленивого вычисления являегся сокрашенное вычисление булевских выражений.

Все вычисления выражений в функциональном языке Наз)геП являются ленивыми, как показано в главе 14. 8.5.3. Методы передачи параметров в основных языках программирования В языке РОКТКАХ для передачи параметров используется семантическая модель ввода-вывода, однако при этом не указывается способ передачи: по ссылке или по значению и результату. В большинстве реализаций языка РОКТКАХ, предшествующего язык> РОКТКАХ 77, параметры передавались по ссылке. В последующих реализациях, однако, для передачи параметров, представлявших собой простые переменные, часто использовалась передача по значению и результату.

В языке АЬСОЬ 60 впервые был введен в практику метод передачи по имени. В качестве дополнительной возможности этот язык также позволяет передавать параметры по значению. В основном из-за сложности реализации передачи параметров по имени этот Глава 8. Подпрограммы е- д не вошел в послелуюшие языки.

ставшие популярными, за исключением языка ..'1(:(.А 67. В языке С используется передача параметров по значению. Семантика передачи по син реализуется с помощью применения указателей в качестве параметров. Этот споразработчики языка С скопировали у языка А!.ОО(. 68. И в языке С, и в языке С + : . гмальные параметры могут быть определены как указатели на константы. Соответстщий фактический параметр не обязан быть константой, поскольку в этом случае он = эсто преобразовывается в нее.

Применение указателей позволяет постичь при использанцн перелачи по ссылке той же эффективности, что и прн передаче по значению. Язык С++ содержит специальный тип указателей. называемых ссылками. как показав главе 5. Ссылки часто используются лля передачи параметров. Параметры. являю; еся ссылками, неявно разыменовываются. а их семантика представляет собой передано ссылке. В языке С++ можно также определять параметры, являющиеся ссылками, константы. Например, мы могли бы использовать такой заголовок функции чохгз (цп(оопвс з.цс ьр1, йос р2, хпц ьрЗ) ( :.-.есь параметр р1 передается по ссылке.

но не может быть излгенен функцией Тцп, па-'. егр р2 передается по значению, а паралгетр рЗ вЂ” по ссылке. Ни для параметра р1, зля параметра р2 нс нужно выполнять их явное разыменовывание в функшщ Гцо. Параметры, являющиеся константами, и параметры в режиме ваала не идентичны. Пагзчегры-константы очевидным образом реализ>ют режим ввода. Однако во всех широко -::пространенных императивных языках, за исключением языка Аг(а. параметрам.

переда°:ечым в режилге ввода, в подпрограмме можно присваивать любые значения, даже если изменения никогда не отразятся на значениях соотвегств>юцгих фаьгических парамет- а Параметрам. являющимся константами, никогда и ничего присваивать нельзя. Бак и в языках С и Сч', все параметры в языке )ача передаются по значению. Однако, ..:кольку в этом языке доступ к объектам может быть получен только с помощью ссылок, ъекгы, являющиеся параметрами. в действительности передаются по ссылке. Более того, ..кольку ссылки нс могут прямо >казывать на скалярные величины, а в языке >ача нет ззателей, скалярные величины в языке )ача не могут перелаваться по ссылке (хотя любые .

Характеристики

Список файлов книги