Конспект-справочник 'Моделирование на C++'

Ссылки (reference) 
Ссылки являются синонимами для имени объекта. Ссылки объявляются 
путем добавления символа '&' к идентификатору. Ссылки обязательно должны 
быть инициализированы. Обращение к ссылкам производится так же как и к 
объектам. 
double &rx = x
; // в этом контексте символ '&' означает ссылку. 
rx=3.14; 
cout<
В отличие от указателей ссылки не могут быть неинициализированными 
или иметь нулевое значение, невозможно изменить значение ссылочного 
30 

---

объекта - работа с ним происходит как с синонимом объекта, на который он 
ссылается. Между ссылкой и указателем действуют операторы преобразования 
A a; 
A *pa{&a}; 
A &ra{*pa
}; // получение ссылки по указателю на объект.
// 
Результат - ссылка на объект, на который указывает
// 
указатель 
pa=&ra;
// взятие адреса объекта по указателю на этот объект.
// 
Результат - указатель на объект 'a'. 
Ссылки могут ссылаться на константные объекты 
const A a;
// константа 
const A& cr=a; // cr 
является ссылкой на константу 
В C++11 были введены ссылки на временные объекты, не имеющие 
собственного имени (rvalue-references), которые можно использовать для 
переменщения объектов. При обычном копировании объект-источник 
продолжает существовать и производися накладная операция копирования 
старого объекта в новый объект. При перемещении же старый объект 
переносится в новый без дублирования данных. 
Например, есть контейнер (массив) из 10 больших объектов. При 
добавлении 11-го объекта программист должен получить память для хранения 
11 
объектов, скопировать в новую память 10 старых объектов, вызвав для них 
конструктор копирования, и добавить новый объект, затем удалить 10 старых 
объектов и память для их хранения. Операция достаточно ресурсоемкая. 
Перемещение позволяет объекты массива перенести без необходимости 
копирования объектов. 
Ссылки на временные объекты объявляются путем добавления двух 
символов '&&' к идентификатору. 
Примеры возникновения временных объектов: 
struct A{ 
int x,y; 
}; 
A f() 
{ 
return {1,2}; 
} 
 
A a,b; 
A &&r1 = f(
); // ссылка на возвращаемое функцией значение
// 
(это rvalue т.к. не может стоять слева от присваивания) 
A &&r
2 = {0,0}; // ссылка на литерал (это rvalue т.к. литерал также не
// 
может стоять слева от присваивания) 
A &&r3 = move(a
); // функция std::move() превращает объект в rvalue 
 
// Обмен значениями между 'a' и 'b' 
31 

---

A tmp(move(a
)); // копия не создается, происходит перемещение в 'tmp' 
a = move(b); 
b = move(tmp); 
NB: терминология rvalue/lvalue появилась раньше возникновения C++ и 
означала выражения, которые могут быть слева от оператора присваивания 
(lvalue) и выражения, которые могут стояь справа от знака присваивания 
(lvalue).