Язык программирования C++. Пятое издание полностью

 // другие члены класса Foo

};

Foo &Foo::operator=(const Foo &rhs) & {

 // сделать все необходимое для присвоения rhs этому объекту

 return *this;

}

Квалификаторы ссылки & или && означают, что указатель this может указывать на r- или l-значение соответственно. Подобно спецификатору const, квалификатор ссылки может быть применен только к (нестатической) функции-члену и должен присутствовать как в объявлении, так и в определении функции.

Функцию, квалифицированную символом &, можно применить только к l-значению, а функцию, квалифицированную символом &&,— только к r-значению:

Foo &retFoo(); // возвращает ссылку;

               // вызов retFoo() является l-значением

Foo retVal();  // возвращает значение; вызов retVal() - r-значение

Foo i, j;      // i и j - это l-значения

i = j;         // ok: i - это l-значение

retFoo() = j;  // ok: retFoo() возвращает l-значение

retVal() = j;  // ошибка: retVal() возвращает r-значение

i = retVal();  // ok: вполне можно передать r-значение как правый

               // операнд присвоения

Функция может быть квалифицирована и ссылкой, и константой. В таких случаях квалификатор ссылки должен следовать за спецификатором const:

class Foo {

public:

 Foo someMem() & const;    // ошибка: первым должен быть

                           // спецификатор const

 Foo anotherMem() const &; // ok: спецификатор const расположен первым

};

Подобно тому, как можно перегрузить функцию-член на основании константности параметра (см. раздел 7.3.2), ее можно перегрузить на основании квалификатора ссылки. Кроме того, функцию можно перегрузить на основании квалификатора ссылки и константности. В качестве примера придадим классу Foo член типа vector и функцию sorted(), возвращающую копию объекта класса Foo, в котором сортируется вектор:

class Foo {

public:

 Foo sorted() &&;      // применимо к изменяемым r-значениям

 Foo sorted() const &; // применимо к любому объекту класса Foo

 // другие члены класса Foo

private:

 vector data;

};

// этот объект - r-значение, поэтому его можно сортировать на месте

Foo Foo::sorted() && {

 sort(data.begin(), data.end());

 return *this;

}

// этот объект либо константа, либо l-значение;

// так или иначе, его нельзя сортировать на месте

Foo Foo::sorted() const & {

 Foo ret(*this);                         // создает копию

 sort(ret.data.begin(), ret.data.end()); // сортирует копию

 return ret;                             // возвращает копию

}

При выполнении функции sorted() для r-значения вполне безопасно сортировать вектор-член data непосредственно. Объект является r-значением, а это означает, что у него нет никаких других пользователей, поэтому данный объект можно изменить непосредственно. При выполнении функции sorted() для константного r- или l-значения изменить этот объект нельзя, поэтому перед сортировкой вектор-член data необходимо скопировать.

Поиск перегруженной функции использует свойство l-значение/r-значение объекта, вызвавшего функцию sorted() для определения используемой версии:

retVal().sorted(); // retVal() - это r-value, вызов Foo::sorted() &&

retFoo().sorted(); // retFoo() - это l-value,

                   // вызов Foo::sorted() const &

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

class Foo {

public:

 Foo sorted() &&;