Kondisi untuk pembuatan otomatis operator salin default / salin / pindahkan dan salin / pindahkan?

Saya ingin menyegarkan ingatan saya pada kondisi di mana kompiler biasanya otomatis menghasilkan konstruktor default, menyalin konstruktor dan operator penugasan.

Saya ingat ada beberapa aturan, tetapi saya tidak ingat, dan juga tidak dapat menemukan sumber daya online yang memiliki reputasi baik. Adakah yang bisa membantu?

Berikut ini, "dihasilkan otomatis" berarti "secara implisit dinyatakan sebagai default, tetapi tidak didefinisikan sebagai dihapus". Ada situasi di mana fungsi anggota khusus dinyatakan, tetapi didefinisikan sebagai dihapus.

• Konstruktor default dibuat secara otomatis jika tidak ada konstruktor yang dideklarasikan oleh pengguna (§12.1 / 5).
• Salin konstruktor dihasilkan secara otomatis jika tidak ada konstruktor pemindahan yang dideklarasikan oleh pengguna atau operator penugasan pemindahan (karena tidak ada pemindah konstruktor atau operator penugasan pemindahan di C ++ 03, ini menyederhanakan menjadi "selalu" di C ++ 03) ( §12.8 / 8).
• Operator penugasan salinan dibuat secara otomatis jika tidak ada konstruktor perpindahan yang dideklarasikan oleh pengguna atau operator penugasan pindah (§12.8 / 19).
• Destuktor dibuat secara otomatis jika tidak ada destruktor yang dideklarasikan oleh pengguna (§12.4 / 4).

C ++ 11 dan yang lebih baru saja:

• Konstruktor pemindahan dibuat secara otomatis jika tidak ada copy constructor yang dideklarasikan oleh pengguna, operator penugasan copy atau destruktor, dan jika konstruktor pemindahan yang dihasilkan valid (§12.8 / 10).
• Operator penugasan langkah dibuat secara otomatis jika tidak ada copy constructor yang dideklarasikan oleh pengguna, operator penugasan salin atau destruktor, dan jika operator penugasan langkah yang dihasilkan valid (misalnya jika tidak perlu menetapkan anggota tetap) (§12.8 / 21).

Saya menemukan diagram di bawah ini sangat bermanfaat.

dari Sticky Bits - Menjadi Aturan Nol Pahlawan

C ++ 17 N4659 konsep standar

Untuk referensi standar lintas cepat, lihat bagian "Dideklarasikan secara implisit" dari entri preferensi cppreferensi berikut:

• 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

Informasi yang sama tentu saja dapat diperoleh dari standar. Misalnya pada C ++ 17 N4659 draft standar :

15.8.1 "Salin / pindahkan konstruktor" kata untuk konstruktor salin:

6 Jika definisi kelas tidak secara eksplisit mendeklarasikan konstruktor salinan, definisi non-eksplisit dinyatakan secara implisit. Jika definisi kelas menyatakan move constructor atau move assignment operator, copy constructor yang dideklarasikan secara implisit didefinisikan sebagai dihapus; jika tidak, itu didefinisikan sebagai default (11.4). Kasus terakhir tidak digunakan lagi jika kelas memiliki operator penugasan salinan yang dideklarasikan pengguna atau destruktor yang dideklarasikan pengguna.

dan untuk move constructor:

8 Jika definisi kelas X tidak secara eksplisit menyatakan move constructor, definisi non-eksplisit akan secara implisit dinyatakan sebagai default jika dan hanya jika

• (8.1) - X tidak memiliki konstruktor salin yang dinyatakan pengguna,

• (8.2) - X tidak memiliki operator penugasan salinan yang dinyatakan pengguna,

• (8.3) - X tidak memiliki operator penugasan pindah yang dinyatakan pengguna, dan

• (8.4) - X tidak memiliki destruktor yang dinyatakan pengguna.

15.8.2 "Operator salin / pindahkan tugas" mengatakan untuk tugas salin:

2 Jika definisi kelas tidak secara eksplisit menyatakan operator penugasan salinan, satu dinyatakan secara implisit. Jika definisi kelas menyatakan move constructor atau operator penugasan pindah, operator penugasan salinan yang dinyatakan secara implisit didefinisikan sebagai dihapus; jika tidak, itu didefinisikan sebagai default (11.4). Kasus yang terakhir tidak digunakan lagi jika kelas memiliki konstruktor salinan yang dideklarasikan pengguna atau destruktor yang dideklarasikan pengguna.

dan untuk pemindahan tugas:

4 Jika definisi kelas X tidak secara eksplisit mendeklarasikan operator penugasan pindah, seseorang akan secara implisit dinyatakan sebagai default jika dan hanya jika

• (4.1) - X tidak memiliki copy constructor yang dideklarasikan oleh pengguna,
• (4.2) - X tidak memiliki konstruktor pemindahan yang dideklarasikan oleh pengguna,
• (4.3) - X tidak memiliki operator penugasan salinan yang dinyatakan pengguna, dan
• (4.4) - X tidak memiliki destruktor yang dideklarasikan pengguna.

15.4 "Destructors" mengatakannya untuk destructor:

4 Jika sebuah kelas tidak memiliki destruktor yang dideklarasikan pengguna, sebuah destruktor secara implisit dinyatakan sebagai default (11.4). Destroyer yang dideklarasikan secara implisit adalah anggota publik inline dari kelasnya.