Adakah `std::vector` Dipindahkan Dari Dijamin Kosong?

Adakah Vektor Beralih Daripada Dijamin Kosong?

Secara amnya, piawaian C menyediakan panduan minimum tentang keadaan objek selepas mereka telah dipindahkan dari. 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 alih mungkin dinyatakan secara eksplisit atau dijana secara tersirat. Melainkan dinyatakan sebaliknya, objek yang dialihkan daripada itu hendaklah diletakkan dalam keadaan yang sah tetapi tidak ditentukan.

Walaupun peruntukan ini tidak mengecualikan vektor daripada tertakluk kepada tingkah laku ini, ia memberi ruang untuk tafsiran.

Gelagat Khusus Vektor

Tiada keperluan standard eksplisit yang mengecualikan vektor daripada dipengaruhi oleh peraturan am untuk objek yang dialihkan. Walau bagaimanapun, memandangkan keperluan untuk pelaksanaan vektor, terdapat pilihan terhad:

Move Constructor:

• Move constructor mesti mempunyai kerumitan yang berterusan.
• Satu-satunya pilihan ialah mencuri sumber daripada vektor sumber (v) untuk membina vektor baharu, meninggalkan v kosong.

Operator Tugasan Pindah:

• Tingkah laku bergantung pada pengagih vektor:

Kes Satu:

• sifat_penguntuk::propagate_on_container_move_assignment::value == true
• Semua elemen dalam vektor destinasi (*ini) dimusnahkan.
• Kapasiti diagihkan menggunakan peruntukan daripada *ini.
• Pengumpuk dan pemilikan penimbal memori dipindahkan dari v ke *ini.
• *ini biasanya kosong sebelum penugasan pindah.

• sifat_pembahagian::propagate_on_container_move_assignment::value == false dan get_allocator() == v.get_allocator()
• Kelakuan yang serupa dengan Case One tetapi pengagih tidak bergerak.
• Keputusan antara Kes Dua dan Kes Tiga dibuat pada masa jalan, yang memberi kesan kepada keperluan pada T.

• sifat_pembahagian::propagate_on_container_move_assignment::value == false dan get_allocator() != v.get_allocator()
• Allocator tidak boleh dialihkan dan sumber tidak boleh dipindahkan dari v ke *ini.
• Satu-satunya cara untuk melaksanakan tugasan pindah adalah untuk memindahkan setiap T secara individu dari v ke *ini menggunakan operasi tetapkan.
• Ini memerlukan T sama ada MoveAssignable atau MoveInsertable (bergantung pada ketersediaan kapasiti dan saiz dalam *ini).