Скотт Мейерс - Эффективный и современный С++. 42 рекомендации по использованию С++11 и С++14

Резюмируем правила С++11, управляющие специальными функциями-членами.

• Конструктор по умолчанию. Правила те же, что и в С++98. Генерируется, только если класс не содержит пользовательских конструкторов.

• Деструктор. Правила по сути те же, что и в С++98; единственное отличие заключается в том, что деструктор по умолчанию является noexcept(см. раздел 3.8). Как и в С++98, деструктор является виртуальным, только если виртуальным является деструктор базового класса.

• Копирующий конструктор. То же поведение времени выполнения, что и в С++98: почленное копирующее конструирование нестатических данных-членов. Генерируется, только если класс не содержит пользовательского копирующего конструктора. Удаляется, если класс объявляет перемещающую операцию. Генерация этой функции в классе с пользовательским оператором копирующего присваивания или деструктором является устаревшей и может быть отменена в будущем.

• Оператор копирующего присваивания. То же поведение времени выполнения, что и в С++98: почленное копирующее присваивание нестатических данных-членов. Генерируется, только если класс не содержит пользовательского копирующего оператора присваивания. Удаляется, если класс объявляет перемещающую операцию. Генерация этой функции в классе с пользовательским копирующим конструктором или деструктором является устаревшей и может быть отменена в будущем.

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

Обратите внимание, что в приведенных правилах ничего не говорится о том, что наличие шаблона функции-члена препятствует компиляторам генерировать специальные функции-члены. Это означает, что, если Widgetимеет следующий вид:

class Widget {

…

template // Создание Widget

Widget(const T& rhs); // из чего угодно

template // Присваивание Widget

Widget& operator=(const T& rhs); // чего угодно

};

компиляторы по-прежнему будут генерировать копирующие и перемещающие операции для Widget(в предположении выполнения обычных условий, регулирующих их генерацию), несмотря на то что эти шаблоны могут инстанцироваться как копирующий конструктор и копирующий оператор присваивания (это произойдет в случае, когда Tпредставляет собой Widget). По всей вероятности, это выглядит как крайний случай, едва стоящий ознакомления с ним, однако я упоминаю его не случайно. В разделе 5.4 вы увидите, что все это может иметь важные последствия.

• Специальные функции-члены — это те функции-члены, которые компиляторы могут генерировать самостоятельно: конструктор по умолчанию, деструктор, копирующие и перемещающие операции.

• Перемещающие операции генерируются только для классов, в которых нет явно объявленных перемещающих операций, копирующих операций и деструктора.

• Копирующий конструктор генерируется только для классов, в которых нет явно объявленного копирующего конструктора, и удаляется, если объявляется перемещающая операция. Копирующий оператор присваивания генерируется только для классов, в которых нет явно объявленного копирующего оператора присваивания, и удаляется, если объявляется перемещающая операция. Генерация копирующих операций в классах с явно объявленным деструктором является устаревшей и может быть отменена в будущем.

• Шаблоны функций-членов не подавляют генерацию специальных функций-членов.

Поэты и композиторы пишут о любви. Иногда — о подсчетах. Иногда — и о том, и о другом одновременно. Стоит только вспомнить Элизабет Баррет Браунинг (Elizabeth Barrett Browning) с ее “Как я люблю тебя? Позволь мне счесть…” (How do I love thee? Let те count the ways.) и Пола Саймона (Paul Simon) с “Наверняка есть 50 способов уйти от любимого человека” (“There must be 50 ways to leave your lover”). Давайте и мы посчитаем причины, по которым так тяжело любить обычные встроенные указатели.

1. Их объявление не дает информации о том, указывают ли они на один объект или на массив.

2. Их объявление ничего не говорит о том, должны ли вы уничтожить то, на что он указывает, когда завершите работу, т.e. владеет ли указатель тем, на что указывает.