Условия для автоматического создания оператора по умолчанию / копирования / перемещения и оператора присваивания копирования / перемещения?

Я хочу освежить свою память об условиях, при которых компилятор обычно автоматически генерирует конструктор по умолчанию, конструктор копирования и оператор присваивания.

Я припоминаю, что были некоторые правила, но я не помню, а также не могу найти авторитетный ресурс в Интернете. Кто-нибудь может помочь?

Далее «автоматически сгенерированный» означает «неявно объявлен как установленный по умолчанию, но не определен как удаленный». Бывают ситуации, когда специальные функции-члены объявлены, но определены как удаленные.

• Конструктор по умолчанию создается автоматически, если конструктор, объявленный пользователем, отсутствует (§12.1 / 5).
• Конструктор копирования генерируется автоматически, если нет объявленного пользователем конструктора перемещения или оператора присваивания перемещения (поскольку в C ++ 03 нет конструкторов перемещения или операторов присваивания перемещения, это упрощается до «всегда» в C ++ 03) ( §12.8 / 8).
• Оператор присваивания копий генерируется автоматически, если нет объявленного пользователем конструктора перемещения или оператора присваивания перемещения (§12.8 / 19).
• Деструктор создается автоматически, если деструктор, объявленный пользователем, отсутствует (§12.4 / 4).

Только C ++ 11 и новее:

• Конструктор перемещения создается автоматически, если нет объявленного пользователем конструктора копирования, оператора присваивания копии или деструктора, и если сгенерированный конструктор перемещения действителен (§12.8 / 10).
• Оператор присваивания перемещения генерируется автоматически, если нет объявленного пользователем конструктора копирования, оператора присваивания копии или деструктора, и если сгенерированный оператор присваивания перемещения действителен (например, если ему не нужно назначать постоянные члены) (§12.8 / 21).

Я нашел диаграмму ниже очень полезной.

from Sticky Bits - Стать правилом нулевого героя

Стандартный проект C ++ 17 N4659

Для быстрой перекрестной ссылки на стандарты взгляните на разделы «Неявно объявленные» следующих записей cppreference:

• https://en.cppreference.com/w/cpp/language/copy_constructor
• https://en.cppreference.com/w/cpp/language/move_constructor
• https://en.cppreference.com/w/cpp/language/copy_assignment
• https://en.cppreference.com/w/cpp/language/move_assignment

Та же информация, конечно, может быть получена из стандарта. Например, на стандартном проекте C ++ 17 N4659 :

15.8.1 «Конструкторы копирования / перемещения» для конструктора копирования:

6 Если определение класса явно не объявляет конструктор копирования, неявный конструктор объявляется неявно. Если в определении класса объявляется конструктор перемещения или оператор присваивания перемещения, неявно объявленный конструктор копирования определяется как удаленный; в противном случае он определяется как значение по умолчанию (11.4). Последний случай считается устаревшим, если класс имеет объявленный пользователем оператор присваивания копии или объявленный пользователем деструктор.

и для конструктора перемещения:

8 Если определение класса X явно не объявляет конструктор перемещения, неявный конструктор будет неявно объявлен как заданный по умолчанию тогда и только тогда, когда

• (8.1) - X не имеет объявленного пользователем конструктора копирования,

• (8.2) - X не имеет объявленного пользователем оператора присваивания копии,

• (8.3) - X не имеет объявленного пользователем оператора присваивания перемещения, и

• (8.4) - X не имеет деструктора, объявленного пользователем.

15.8.2 «Оператор присваивания копирования / перемещения» говорит о назначении копии:

2 Если определение класса не объявляет явно оператор присваивания копии, он объявляется неявно. Если в определении класса объявляется конструктор перемещения или оператор присваивания перемещения, неявно объявленный оператор присваивания копии определяется как удаленный; в противном случае он определяется как значение по умолчанию (11.4). Последний случай считается устаревшим, если в классе есть объявленный пользователем конструктор копии или объявленный пользователем деструктор.

и для переезда:

4 Если определение класса X не объявляет явно оператор присваивания перемещения, он будет неявно объявлен как принятый по умолчанию тогда и только тогда, когда

• (4.1) - X не имеет объявленного пользователем конструктора копирования,
• (4.2) - X не имеет объявленного пользователем конструктора перемещения,
• (4.3) - X не имеет объявленного пользователем оператора присваивания копии, и
• (4.4) - X не имеет деструктора, объявленного пользователем.

15.4 «Деструкторы» говорят о деструкторах:

4 Если в классе нет деструктора, объявленного пользователем, деструктор неявно объявляется по умолчанию (11.4). Неявно объявленный деструктор является встроенным публичным членом своего класса.