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

Упражнение 13.14. Предположим, что класс numberedимеет стандартный конструктор, создающий уникальный последовательный номер для каждого объекта, который хранится в переменной-члене mysn. Класс numberedиспользует синтезируемые функции-члены управления копированием и имеет следующую функцию:

void f(numbered s) { cout << s.mysn << endl; }

Какой вывод создаст следующий код?

numbered a, b = a, с = b;

f(a); f(b); f(c);

Упражнение 13.15. Предположим, что у класса numberedесть конструктор копий, создающий новый последовательный номер. Изменит ли это вывод вызовов в предыдущем упражнении? Если да, то почему? Какой вывод получится?

Упражнение 13.16. Что если параметром функции f()будет const numbered&? Это изменяет вывод? Если да, то почему? Какой вывод получится?

Упражнение 13.17. Напишите версии класса numberedи функции f(), соответствующие трем предыдущим упражнениям, и проверьте правильность предсказания вывода.

Используя спецификатор = default, можно явно указать компилятору на необходимость создать синтезируемые версии функций-членов управления копированием (см. раздел 7.1.4):

class Sales_data {

public:

// управление копированием; версии по умолчанию

Sales_data() = default;

Sales_data(const Sales_data&) = default;

Sales_data& operator=(const Sales_data &);

~Sales_data() = default;

// другие члены как прежде

};

Sales_data& Sales_data::operator=(const Sales_data&) = default;

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

Спецификатор = defaultможно использовать только для тех функций-членов, у которых есть синтезируемая версия (т.е. стандартный конструктор или функция-член управления копированием).

Большинство классов должно определить (явно или неявно) стандартный конструктор, конструктор копий и оператор присвоения копии.

Хотя большинство классов должно определять (и, как правило, определяет) конструктор копий и оператор присвоения копии, у некоторых классов нет реальной необходимости в этих функциях. В таких случаях класс должен быть определен так, чтобы предотвращать копирование и присвоение. Например, классы iostreamпредотвращают копирование, чтобы не позволять нескольким объектам писать или читать из того же буфера ввода-вывода. Казалось бы, предотвратить копирование можно, и не определяя функции-члены управления копированием. Но эта стратегия не сработает: если класс не определит эти функции, то компилятор синтезирует их сам.

По новому стандарту можно предотвратить копирование, определив конструктор копий и оператор присвоения копии как удаленные функции (deleted function). Удаленной называется функция, которая была объявлена, но не может использована никаким другим способом. Чтобы определить функцию как удаленную, за списком ее параметров следует расположить часть = delete:

struct NoCopy {

NoCopy() = default; // использовать синтезируемый стандартный

// конструктор

NoCopy(const NoCopy&) = delete; // без копирования

NoCopy &operator=(const NoCopy&) = delete; // без присвоения

~NoCopy() = default; // используйте синтезируемый деструктор

// другие члены

};

Часть = deleteуказывает компилятору (и читателям кода), что эти функции-члены не определяются преднамеренно .

В отличие от части = default, часть = deleteдолжна присутствовать в первом объявлении удаленной функции. Это различие согласуется со смыслом данных объявлений. Часть = defaultвлияет только на то, какой код создает компилятор; следовательно, она необходима, только пока компилятор не создаст код. С другой стороны, компилятор должен знать, что функция удалена, и запретить ее использование другими функциями.