Adakah Dialihkan-Dari Vektor Sentiasa Kosong dalam C ?

Kekosongan Vektor Beralih-Daripada: Meneroka Pilihan

Dalam bidang pengaturcaraan C, vektor ialah struktur data serba boleh yang sering dimanfaatkan untuk mereka pengurusan ingatan yang cekap. Walau bagaimanapun, apabila ia datang untuk memahami kelakuan vektor yang dipindahkan, pengaturcara mungkin menghadapi soalan tentang kekosongan mereka.

Definisi dan Keperluan Standard

Standard C menyediakan umum garis panduan untuk kelakuan objek selepas ia dialihkan, seperti yang dinyatakan dalam N3485 17.6.5.15 [lib.types.movedfrom]/1:

"Objek jenis yang ditakrifkan dalam perpustakaan standard C boleh dialihkan daripada (12.8). Operasi Pindah mungkin dinyatakan secara eksplisit atau dijana secara tersirat Melainkan dinyatakan sebaliknya, objek yang dipindahkan daripada itu hendaklah diletakkan dalam keadaan yang sah tetapi tidak ditentukan."

Walaupun peruntukan ini tidak mengecualikan vektor secara eksplisit. , ia juga tidak memberikan panduan khusus tentang tingkah laku mereka.

Memeriksa Move Constructor

Move constructor untuk vektor, vector::vector (vektor&& v), dikehendaki mempunyai kerumitan yang berterusan. Ini memerlukan pemindahan sumber daripada vektor sumber v kepada vektor baharu *ini, meninggalkan v dalam keadaan kosong.

Menerokai Tugasan Pergerakan dan Pengaruh Peruntukan

The alihkan pengendali tugasan, vektor& vector::operator=(vector&& v), mempamerkan lebih kerumitan dan dipengaruhi oleh pengalokasi vektor. Tiga senario muncul:

1. Propagation Allocator Didayakan:
   Apabila allocator_traits::propagate_on_container_move_assignment::value adalah benar, elemen pemindahan tugasan dan operator memindah peruntukan pemilikan daripada v, dan meninggalkan kedua-dua vektor kosong.
2. Penyebaran Peruntukan Dilumpuhkan (Pengumpuk Sama):
   Sama seperti kes sebelumnya, pengendali penugasan pindah menyerupai Kes 1 tetapi mengekalkan pengagih utuh. Walau bagaimanapun, ia mengikut corak yang sama, menghasilkan vektor kosong.
3. Penyebaran Peruntukan Dilumpuhkan (Pengumpuk Berbeza):
   Dalam kes ini, penugasan pindah tidak boleh memindahkan sumber dan resort kepada pemindahan elemen secara individu. Ini memerlukan kebolehan untuk memindahkan-menetapkan atau menyalin-menetapkan elemen, yang berpotensi meninggalkan pindah-daripada vektor v mengandungi elemen pindah-daripada. Sesetengah pelaksanaan mungkin memilih untuk mengosongkan v secara eksplisit, tetapi ini tidak dimandatkan oleh standard.