Foo sorted() const; //
//
//
using Comp = bool(const int&, const int&);
Foo sorted(Comp*); //
Foo sorted(Comp*) const; //
//
};
Здесь объявление константной версии функции 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-значений.
