Adakah Tugasan Bergerak Sendiri Dalam Fungsi Perpustakaan Standard C 11 Mempunyai Sebarang Jaminan?

Self Move Assignment in C 11 Standard Library

Standard C 11 merangkumi pelbagai peruntukan berkenaan self move assignment, khususnya bersamaan dengan standard perpustakaan. Artikel ini menjelaskan peruntukan ini, memfokuskan pada implikasi tugasan bergerak sendiri dalam fungsi perpustakaan.

Secara khusus, piawaian menjamin bahawa apabila argumen dalam fungsi perpustakaan standard ialah parameter rujukan nilai, pelaksanaan boleh menganggap eksklusifnya. . Ini bermakna pelaksanaan boleh mengoptimumkan kod berdasarkan pemahaman bahawa objek yang diluluskan tidak diubah suai oleh fungsi.

Dalam konteks tugasan bergerak sendiri, jaminan ini mempunyai kesan yang perlu diberi perhatian. Sebagai contoh, pertimbangkan fungsi berikut:

template<class T>
std::vector<T> selfAssign(std::vector<T> v) {
  v = std::move(v);
  return v;
}

Apabila lulus nilai, pembina salinan vektor digunakan, mencipta salinan vektor input. Walau bagaimanapun, disebabkan jaminan perpustakaan standard, pelaksanaan pengendali tugasan bergerak vektor boleh mengandaikan bahawa hujahnya ialah prvalue. Oleh itu, penugasan gerak sendiri tidak boleh dilaksanakan dan gelagat fungsi menjadi bergantung pada pelaksanaan.

Dalam kebanyakan kes, penugasan bergerak sendiri meninggalkan vektor asal dalam keadaan tanpa sumber (0 kapasiti) . Jika vektor sudah mempunyai kapasiti 0, operasi menjadi no-op. Walau bagaimanapun, adalah penting untuk ambil perhatian bahawa keadaan kedua-dua vektor asal dan dialihkan tidak ditentukan selepas tugasan alih sendiri.

Kemas kini terkini kepada standard dalam Draf Kerja N4618 menjelaskan lagi peruntukan ini, dengan menyatakan bahawa dalam MoveAssignable keperluan, di mana nilai r (rv) diberikan kepada ungkapan (t), t hanya perlu mencapai nilai rv sebelum tugasan jika t dan rv tidak merujuk kepada objek yang sama. Tanpa mengira syarat ini, keadaan rv kekal tidak dinyatakan berikutan tugasan.

Selain itu, nota menekankan bahawa rv mesti mematuhi keperluan komponen perpustakaan yang menggunakannya, tidak kira sama ada t dan rv merujuk objek yang sama.

Atas ialah kandungan terperinci Adakah Tugasan Bergerak Sendiri Dalam Fungsi Perpustakaan Standard C 11 Mempunyai Sebarang Jaminan?. Untuk maklumat lanjut, sila ikut artikel berkaitan lain di laman web China PHP!