Adakah Semakan `jika (ini != &rhs)` Diperlukan dalam Pengendali Tugasan Alih?

Pindahkan Operator Tugasan dan jika (ini != &rhs)

Dalam pengendali tugasan salinan standard untuk kelas, adalah amalan biasa untuk menyemak sama ada objek yang diberikan ialah sama seperti objek yang memanggil menggunakan if (ini != &rhs) untuk mengelak daripada mengubah objek yang memanggil. Tetapi, adakah semakan ini perlu untuk operator penugasan pindah?

Semantik Pindah

Pengendali tugasan pindah, yang dilambangkan dengan operator=(Kelas&&), direka bentuk untuk memindahkan pemilikan sumber dengan cekap dari satu objek ke objek yang lain. Tidak seperti tugasan salinan, ia mengelakkan keperluan untuk mencipta salinan baharu objek.

Analisis Situasi

Bolehkah ini == &rhs?

Timbul persoalan sama ada == &rhs ini boleh menjadi benar dalam pengendali tugasan bergerak.

Terdapat dua senario apabila objek terikat pada rujukan rnilai:

1. Ia adalah objek sementara sebenar.
2. Ia adalah objek yang pemanggil berpura-pura sebagai sementara.

Dalam kes pertama, kerana objek itu adalah rujukan unik kepada objek sementara, == &rhs ini adalah mustahil. Dalam kes kedua, adalah menjadi tanggungjawab pemanggil untuk memastikan bahawa ini != &rhs, menjadikan semakan tidak perlu.

Hujah untuk Tidak Menyemak

Pengarang berpendapat bahawa jika (ini != &rhs) cek adalah berlebihan kerana:

• Tugas kendiri untuk sementara ialah mustahil.
• Klien yang sengaja menipu pengendali harus membetulkan kod mereka.

Dengan meninggalkan semakan ini, prestasi boleh dipertingkatkan dalam situasi di mana objek sering dialihkan dan ditetapkan kepada diri mereka sendiri.

Hujah untuk Semakan

Walau bagaimanapun, ada yang berpendapat bahawa ini != &rhs semakan masih perlu untuk mengelakkan tugasan bergerak sendiri. Mereka berpendapat bahawa membenarkan swap(x, x) sebagai operasi yang sah boleh mencetuskan semakan ini.

Penyelesaian dan Pertimbangan

Pengarang membuat kesimpulan bahawa:

Salin dan Pindahkan Tugasan Selepas Syarat:

• Salin tugasan: Nilai y hendaklah kekal tidak berubah, termasuk dalam kes tugasan salinan sendiri.
• Alih tugasan: y harus mempunyai keadaan yang sah tetapi tidak ditentukan, termasuk untuk tugasan bergerak kendiri.

Pelaksanaan Tugasan Bergerak Kendiri:

Untuk mencapai ini, tiga kemungkinan pelaksanaan untuk pengendali tugasan pindah dalam kelas seperti dumb_array disediakan:

1. Semakan dilakukan untuk membezakan penugasan gerak sendiri dan objek ditetapkan kepada keadaan yang sah sebelum meneruskan.

2. Daftar masuk ditinggalkan, menjadikan penugasan gerak sendiri sebagai larangan.

3. Kaedah swap(other) digunakan, dengan syarat kelas tidak menyimpan sumber yang sepatutnya segera dikeluarkan.

Pengarang menekankan bahawa pelaksanaan terbaik bergantung pada reka bentuk kelas tertentu, ciri perkakasan dan keperluan prestasi.

Dalam kes di mana kelas tidak mengurus memori secara langsung, ia mencadangkan menggunakan operator=(Class& &) = lalai; untuk mencapai prestasi tertinggi dengan keselamatan pengecualian asas.

Atas ialah kandungan terperinci Adakah Semakan `jika (ini != &rhs)` Diperlukan dalam Pengendali Tugasan Alih?. Untuk maklumat lanjut, sila ikut artikel berkaitan lain di laman web China PHP!