Стенли Липпман - Язык программирования C++. Пятое издание

Foo sorted(Comp*); // ok: другой список параметров

Foo sorted(Comp*) const; // ok: ни одна из версий не квалифицирована

// как ссылка

};

Здесь объявление константной версии функции sorted()без параметров является ошибкой. Есть вторая версия функции sorted()без параметров, и у нее есть квалификатор ссылки, поэтому у константной версии этой функции также должен быть квалификатор ссылки. С другой стороны, те версии функции sorted(), которые получают указатель на функцию сравнения, прекрасно работают, поскольку ни у одной из функций нет спецификатора.

Если у функции-члена есть квалификатор ссылки, то у всех версий этой функции-члена с тем же списком параметров должны быть квалификаторы ссылки.

Упражнение 13.55. Добавьте в класс StrBlobфункцию push_back()в версии ссылки на r-значение.

Упражнение 13.56. Что бы было при таком определении функции sorted():

Foo Foo::sorted() const & {

Foo ret(*this);

return ret.sorted();

}

Упражнение 13.57. Что если бы функция sorted()была определена так:

Foo Foo::sorted() const & {

return Foo(*this).sorted();

}

Упражнение 13.58. Напишите версию класса Fooс операторами вывода в функциях sorted(), чтобы проверить свои ответы на два предыдущих упражнения.

Каждый класс контролирует происходящее при копировании, перемещении, присвоении и удалении объектов его типа. Эти действия определяют специальные функции-члены: конструктор копий, конструктор перемещения, оператор присвоения копии, оператор присваивания при перемещении и деструктор. Конструктор перемещения и оператор присваивания при перемещении (обычно неконстантный) получают ссылку на r-значение; версии оператора копирования (обычно константные) получают обычную ссылку на l-значение.

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

Классы, резервирующие память или другие ресурсы, почти всегда требуют, чтобы класс определил функции-члены управления копированием для управления зарезервированным ресурсом. Если класс нуждается в деструкторе, то он почти наверняка должен определить конструкторы перемещения и копирования, а также операторы перемещения и присвоения копии.

Деструктор(destructor). Специальная функция-член, освобождающая занятую объектом память, когда он выходит из области видимости или удаляется. Компилятор автоматически удаляет каждый член класса. При удалении переменных-членов типа класса используются их собственные деструкторы, а при удалении переменных-членов встроенного или составного типа конструктор ничего не делает. В частности, объект, на который указывает указатель-член класса, автоматически не удаляется деструктором.

Инициализация копией(copy initialization). Форма инициализации с использованием оператора =и предоставления инициализатора для создаваемого объекта. Используется также при передаче и возвращении объекта по значению, при инициализации массива или агрегатного класса. Инициализация копией использует конструктор копий или конструктор перемещения, в зависимости от того, является ли инициализатор l- или r-значением.

Итератор перемещения(move iterator). Адаптер, позволяющий создать итератор, обращение к значению которого возвращает ссылку на r-значение.

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

Конструктор копий(copy constructor). Конструктор, который инициализирует новый объект как копию другого объекта того же типа. При передаче объекта в функцию или из функции конструктор копий применяется неявно. Если конструктор копий не определен явно, компилятор синтезирует его самостоятельно.