Глава_09

Назад | Начало урока | Вперед
Содержание

Глава 9

Что такое ссылка?
Использование в ссылках операторов обращения к адресу
Ссылки нельзя переназначать

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

что такое ссылки
как создавать и использовать ссылки
каковы ограничения ссылок
как передавать по ссылке значения и объекты из функции и в функции

Вверх
Что такое ссылка?

Ссылка-это псевдоним;при создании она инициализируется именем другого объекта, адресата. С этого момента ссылка выступает в роли альтернативного имени адресата, и все что делается с ссылкой, происходит и с объектом.
При объявлении ссылки вначале указывают тип объекта адресата, за которым следует оператор ссылки (&) и имя ссылки.
Обратите внимание на то что оператор ссылки (&) выглядит так же , как и оператор возвращения адреса, который используется при работе с указателями. Но это не один и тот же оператор, хотя они и очень похожи.
Пробел перед оператором ссылки обязателен(в отличие от пробела между оператором ссылки и именем ссылки). Таким образом оба объявления приведенные ниже верны:
int &rSomeRef=someInt; //правильно int & rSomeRef=someInt;//правильно

Программа Создание и использование ссылок
//Listing 9.1 // Demonstrating the use of References
#include <iostream> int main() { using namespace std; int intOne; int &rSomeRef = intOne; intOne = 5; cout << "intOne: " << intOne << endl; cout << "rSomeRef: " << rSomeRef << endl; rSomeRef = 7; cout << "intOne: " << intOne << endl; cout << "rSomeRef: " << rSomeRef << endl; return 0; }

Сначала объявляется локальная целочисленная переменная intOne,
int intOne;
а в следующей строке объявляется ссылка rSomeRef на целое значение,
инициализируемая адресом переменной intOne.
int &rSomeRef = intOne;

(Причем при этой инициализации адресом переменной не используется оператор взятия адреса(&) !)

Если объявить но не инициализировать ссылку, произойдет ошибка компиляции.
Ссылки, в отличие от указателя необходимо инициализировать при объявлении.

Далее переменной присваивается значение 5.
intOne = 5;
И затем выводится на экран значение переменной и значение ссылки,
cout << "intOne: " << intOne << endl; cout << "rSomeRef: " << rSomeRef << endl;
конечно они оказываются одинаковыми.
Далее ссылке присваивается значение 7.
rSomeRef = 7;
Поскольку это ссылка и она является псевдонимом переменной intOne ,
число 7 в действительности присваивается переменной intOne,
что и подтверждается выводом на экран.
cout << "intOne: " << intOne << endl; cout << "rSomeRef: " << rSomeRef << endl;

Что делается со ссылкой, то же происходит и с самим объектом.!
Что происходит с самим объектом, то же происходит и со ссылкой!

Вверх
Использование в ссылках оператора обращения к адресу (&)

Если запросить ссылку об адресе, то она вернет адрес своего адресата. В этом и состоит природа ссылок. Они являются псевдонимами для своих адресатов.
Посмотрим программу:

//Listing 9.2 // Demonstrating the use of References
#include <iostream>
int main() {
// using namespace std; int intOne; int &rSomeRef = intOne; intOne = 5; cout << "intOne: " << intOne << endl; cout << "rSomeRef: " << rSomeRef << endl; cout << "&intOne: " << &intOne << endl; cout << "&rSomeRef: " << &rSomeRef << endl; return 0;
}

Результат:
intOne: 5 rSomeRef: 5 &intOne: 0x3500 &rSomeRef: 0x3500
В первых двух выводах выводится значение равное 5.
Во вторых двух выводах выводятся два адреса конечно они одинаковы,
так как это объект и ссылка на него.

Эта программа интересна тем что доступ к значению переменной можно получить обращаясь прямо к переменной или через ссылку на нее. И адрес переменной также можно получить либо прямо от переменной применив оператор взятия адреса (&), либо тоже через ссылку применив к ней этот же оператор взятия адреса!

Ссылка rSomeRef инициализируется адресом переменной intOne.
int intOne; int &rSomeRef = intOne;
Затем переменной присваивается значение
intOne = 5;
После этого значение переменной выводится на экран, затем значение ссылки на эту переменную выводится на экран.
cout << "intOne: " << intOne << endl; cout << "rSomeRef: " << rSomeRef << endl;
Как видим значения одинаковы. Дак ведь это в одном случае переменная, во втором случае та же переменная но под псевдонимом ссылки. То есть один и тот же объект, но один раз под именем, второй раз под псевдонимом:
Далее выводятся адреса двух переменных и они оказываются идентичными.
cout << "&intOne: " << &intOne << endl; cout << "&rSomeRef: " << &rSomeRef << endl;
В первом случае это адрес переменной, во втором случае адрес этой же переменной но она под псевдонимом ссылки. Естественно что адрес одного и того же объекта одинаков, ведь это один объект.
В С++ не предусмотрено предоставление доступа к адресу самой ссылки, поскольку в этом нет смысла. С таким же успехом для этого можно использовать указатель или другую переменную.

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

Обратите внимание на различие между символом & в строке 9,
который объявляет ссылку rSomeRef на значение типа int,
int &rSomeRef = intOne;
и символом & в строках 15, 16 , которые возвращают адреса
целочисленной переменной intOne и ссылки rSomeRef
cout << "&intOne: " << &intOne << endl; cout << "&rSomeRef: " << &rSomeRef << endl;
Обычно для ссылки оператор взятия адреса не используется. Просто ссылка используется точно так же как и переменная, вместо которой она применяется.
Вверх
Ссылки нельзя переназначать

Даже опытных программистов которым хорошо известно что ссылки нельзя переназначать и что они являются псевдонимами своих адресатов, может ввести в заблуждение явление, происходящее при попытке переназначить ссылку. То что кажется переназначением, оказывается присвоением нового значения адресату.
Посмотрим пример:
//Listing 9.3 //Reassigning a reference

#include <iostream> int main() { using namespace std; int intOne; int &rSomeRef = intOne; intOne = 5; cout << "intOne:\t" << intOne << endl; cout << "rSomeRef:\t" << rSomeRef << endl; cout << "&intOne:\t" << &intOne << endl; cout << "&rSomeRef:\t" << &rSomeRef << endl; int intTwo = 8; 18) rSomeRef = intTwo; // not what you think! cout << "\nintOne:\t" << intOne << endl; cout << "intTwo:\t" << intTwo << endl; cout << "rSomeRef:\t" << rSomeRef << endl; cout << "&intOne:\t" << &intOne << endl; cout << "&intTwo:\t" << &intTwo << endl; cout << "&rSomeRef:\t" << &rSomeRef << endl; return 0; }

Результат:
intOne: 5 rSomeRef: 5 &intOne: 0x213e &rSomeRef: 0x213e
intOne: 8 intTwo: 8 rSomeRef: 8
&intOne: 0x213e &intTwo: 0x2130 &rSomeRef: 0x213e

Анализ:
Ссылка rSomeRef инициализируется адресом переменной intOne.
int intOne; int &rSomeRef = intOne;
Затем переменной присваивается значение
intOne = 5;
После этого значение переменной выводится на экран, затем значение этой же переменной под псевдонимом ссылки выводится на экран.
cout << "intOne: " << intOne << endl; cout << "rSomeRef: " << rSomeRef << endl;
Затем на экран выводится адрес переменной и адрес этой же переменной под псевдонимом ссылки
cout << "&intOne:\t" << &intOne << endl; cout << "&rSomeRef:\t" << &rSomeRef << endl;
Затем объявляется и инициализируется новая переменная
int intTwo = 8;
В строке 18 делается попытка переназначить ссылку rSomeRef так,
чтобы она стала псевдонимом переменной intTwo,
18) rSomeRef = intTwo; // not what you think!
но этого не происходит. На самом же деле ссылка rSomeRef остается псевдонимом переменной intOne,
поэтому такое присвоение эквивалентно следующей операции:
intOne=intTwo;
Как мы видим из результата программы после переназначения переменная intOne стала иметь новое значение,
intOne: 8 //новое значение! intTwo: 8 rSomeRef: 8
но ссылка rSomeRef все равно ссылается на intOne а не на ontTwo !
&intOne: 0x213e &intTwo: 0x2130 &rSomeRef: 0x213e //адрес у rSomeRef такой же как у переменной intOne !! И не удивительно, веть это все та же переменная intOne под своим псевдонимом!

Используйте ссылки для создания псевдонимов объектов.
Инициализируйте ссылки при объявлении.

Не пытайтесь переназначить ссылку.
Не путайте оператор обращения к адресу с оператором ссылки.

Назад | Начало урока | Вверх | Вперед
Содержание

Что такое ссылка?

Использование в ссылках оператора обращения к адресу (&)

Ссылки нельзя переназначать