Г. Шилдт - Полный справочник по C++ (1109478), страница 57
Текст из файла (страница 57)
С технической точки зрения переменная 1 является неявным указателем на аргумент функции. Теперь оператор "*" становится лишним. Кроме того, теперь необязательно ставить перед именем аргумента символ в. Рассмотриы новую версию программы. Часть Н. язык С++ // Применение ссьлки на аргумент. $1пс1и()е <1ояегеат> сяьпо памеярасе яс(); чоЫ пес(ьпе аа); // Переменная 1 стала ссылкой 1пс ка1п() ( 1пс х; х = 10: сесе « х « " является отрицанием числа пед(х); // Оператор а болыте не нужен согс «х « "(и" / гесогп О; ) чо1<) пес(1пс 61) -1; // Переменная 1 является ссылкой, оператор сельме не нужен Ссылка на параметр автоматически (неявно) устанавливается на аргумент функции. Следовательно, в предыдущей программе оператор р 1- "-1 на самом деле работает с переменной ж, а не с ее копией.
Оператор а становится не нужен. Кроме того, внутри функции параметр, переданный с помощью ссылки, используется непосредственно. без применения оператора "*". Как правило, значение, присвоенное ссьике„на самом деле присваивается переменной, к которой зта ссылка относится. Внутри функции ссылку на параметр невозможно связать с другои переменной. Иначе говоря, оператор ~~ 1++; внугри функции пои() увеличивает значение параметра, а не переме)лает указатель 1 на новую ячейку.
Рассмотрим еще один классический пример. Эта программа использует ссылки на параметры для ик перестановки внутри функции я>|ар(). Ф1пс1игте <1ояехеая> ияьпд памеярасе ясг(; чей виар(1пе аа, 1пе аЗ) 1пс вамп() 1пе а, Ь, с, г(: а=1; Ь=рм с=3: с(= 4/ соус « "а и Ь: " « а « " " « Ь « "1п"/ амар(а, Ь): // Оператор а не нужен Глава (3. Массивы, указатели, ссылки и операторы динамического распределения памяти жи з теепхп О; ) уоЫ виар(йпе йз., ьпе йз! 1пс еи с = йз // оператор * ие нужен 1 = зз 3 Передача ссылок на объекты В главе 12 указывалось, что при передаче обьекта в качестве параметра функции создается его копия.
По завершении работы функции вызывается деструктор копии. Однако, если параметр вызывается по ссылке, копия объекта не создается. Это значит, что после возврата управления параметр функции не уничтожается и деструктор не вызывается. Рассмотрим слелующий пример. Мьпс1пйе <1овсгеаи> пайпс палеврасе всйз ьпе иаьп() ( с1 о(1) з Часть П. Язык С++ 1 сопс « "а и Ь: " « а « " " « Ь « "1п"з соис « "с и йз " « с « ' " « й « "1п"з виар(с, й)з сапе« "сий: "«с«" "«й« "1п'з В результате работы этой программы на экран будут выданы следующие строки.
аиЬ: 12 аиЬз 21 сийз 34 сийз 43 с1авв с1 ( Ьпе ьйз риЬ11сз ьпе дз с1(ьпе 1)з -с1 О; чоЫ пед(с1 йо) ( о.й = -о.ьз ) // Временный объект не создается с1ззс1(ЫС пшп) ( сопс « "Создание объекта " «питп « "1п'з .Ы = приз с1з . "с1() ( соне « 'Уничтожение объекта " « 1й « '1п"з ) о.ь = 10> о.лед(о); свис « о.1 « "(и'; гесъсп 0; Программа выводит на экран следующие результаты. | Создание объекта 1 -10 Уничтожение объекта 1 Как видим, деструктор класса с1 вызывается лишь один раз. Если бы объект о передавался по значению, внутри функции под() был бы создан второй объект, для уничтожения которого пришлось бы вызывать десгруктор. В функции под() для доступа к члену объекта используется оператор ".", поскольку оператор "->" применяется лишь к указателям.
При передаче параметров по ссылке следует помнить, что все изменения, происходящие с параметром внутри функции, отражаются в вызывающем модуле. И, наконец, передача по ссылке происходит быстрее, чем передача по значению. Исключением из этого правила могут быть лишь микроскопические объекты. Аргументы, как правило, помещаются в стек. Вследствие этого процесс заталкивания больших объектов в стек и выталкивания их спуда занимает много времени, Возврат ссылок функция может возвращать ссылку на объект. Таким образом, вызов функции может стоять в левой части оператора присваивания! Рассмотрим следующий пример. Окпс1цбе <1овегеагл> ив1г1д паглеврасе всбг с)гак Ьтер1асе(1пс 1]; // Возврат ссылки с)гак в(80) = 'Обгчий привет"г ьпе ма1п() ( хер1асе(5) = 'Х'г // Вставляем символ Х между словами // "Общий" и "привет" соне « в; тесшп 0; с)гак агер1асе(ьпе 1) ( геспгп в (1); ) Эта программа вставляет символ Х вместо пробела между словами "Общин" и "привет", т.е.
выволит на экран строку "ОбшийХпривет". Рассмотрим, как это происходит. Во-первых, функция кер1есе() возвращает ссылку на символ, входящий в строку в, индекс которого задан переменной 1. Затем Глава 13. Массивы, указатели, ссылки и операторы динамического распределения памяти И8 в функции шаьп<) с помощью эгон ссылки соответствующему элементу строк..
присваивается символ х. При возврате ссылки следует иметь в вилу, что по завершении работы функции возвращаемый объект не выходит из области видггмости, Независимые ссылки Мы рассмотрели две ситуации, в которых применяются ссылки: передача парамет ров и возврат значения функции. Однако ссылку можно объявлять просто как перел1енную.
Такие ссылки называются везавясимымм Независимые ссылки являютсл псевдонимами объектов. Прн объявлении незави симых ссылок они обязательно инициализируются, поскольку после инициализации их нельзя связывать с другими объектами. Следовательно, единственный способ задать значение ссылки — инициализировать ее. (В языке С++ инициализация значи тельно отличается от оператора присваивания.) Рассмотрим программу.
в которои применяются независимыс ссылки. $1пс1иде с)оветеашь ив1пд пашеврасе еес); 1пс альп() ьпе а; гпе атег = а; // Независимая сеялка а = 10; сеис « а « " " « тее « "хп"; тее -.- 100," соие «а сс " " «тег « 'хп'; )пс Ь .— 19; те0 = Ь; // Присваиваем переменной а значение перемеююй Ь сове «а « " " «тег « "хп': лег †," // Уменьшение на еленину переменной а. сент « а « " ' сс те1 « "Хл"; тееитп 0; ) Результат работы программы имеет следуюгций вид.
10 10 100 100 19 19 Фактически независимые ссылки не играют значительной роли в программировании, поскольку они представляют собой лишь щорое имя другой переменной, а объекты, имеющие несколько имен, свидетельствуют о плохой организации программы. Ссылки на производные типы Ссылка на базовый класс, как и указатель, может использоваться для доступа к объектам производного класса. Чаще всего эта возможносп используется при передаче параметров функций. Параметру, передаваемому с помощью ссылки на базовыи класс, можно присваивать объекты как базового, так и производных классов.
Часть )). Язык С+в Ограничения на ссылки В языке С++ существую~ ограничения на работу со ссылками. Например, ссылки не могут связываться с другилги ссылками. Иначе говорв, ссылка нс имеет адреса. Кроме того, невозможно создать указатель на ссылку. К битовому полю также нельзя обратиться с помощью ссылки. Независимыс ссылки должны быть инициализированы в момент своего объявления. Нулевой ссылки не существует. "':"~ Стиль Объявляв указатели и ссылки, некоторыс программисгы используют единообразный стиль, связывая символы * и в с именем типа„а нс с персмсннои.
Рассмотрим два эквивалентных объявления. Ьпеа рг // Символ а связан с кипам Ъпс Ьрг // Символ а свлваи с г|еремевисй Связывание символов * или в с типом отражает желание некоторых программистов сощать отдельный тип указателей. Однако это может вызвать нслоразумения, поскольку символы * и в не распространяются на список переменных. Например, в следующем объявлении создается одал целочислс|шый указатель, а не даа. й ьпе* а, уо Здесь Ь вЂ” целочисленная переменная, а нс указатель, поскольку в соответствии с правилами языка С++ символ * (как и символ в) связывается с отдсльнои переменной, а не с сс типом.
Причина недоразумения заключается в том, что визуально это объявление выглядит так, будто в нем объявляются два целочисленных указателя, в то время как указателем является лишь переменная а. Это объявление может ввести в заблуждение не только новичка, но и опытного программиста. Следует четко понимать. что компилятору абсолютно безразлично, как написано объявление: кпе «р или лпе* р.
Программист может выбирать свои стиль. Однако мы будем связывать символы в и * имешю с переменными, чтобы избежать недоразумений. ~~ Операторы динамического распределения памяти В языке С++ предусмотрены два оператора динамического распределения памяти: пем и гте1еее. Эти операторы вьщеляюг и освобождают память в ходе выполнения программы.
![](https://s.studizba.com/z.php?f=/templates/si/i/noavatar.png&w=100&h=100&t=1"){kind=avatar}
