Mengapa Mengembalikan `std::unique_ptr` Tidak Memerlukan `std::move()`?

Mengapa Mengembalikan std::unique_ptr Tanpa std::move()?

std::unique_ptr menghalang pembinaan salinan dan sebaliknya menggunakan semantik bergerak. Walau bagaimanapun, adalah mungkin untuk mengembalikan unique_ptr daripada fungsi tanpa menggunakan std::move() secara eksplisit.

Pertimbangkan coretan kod berikut:

unique_ptr<int> foo()
{
  unique_ptr<int> p(new int(10));

  return p; // Line 1
}

int main()
{
  unique_ptr<int> p = foo();
  cout << *p << endl;
}

Barisan 1 mengembalikan unique_ptr tanpa std::move(). Yang menghairankan, kod tersebut menyusun dan beroperasi seperti yang dimaksudkan, jadi bagaimanakah ini boleh dilakukan tanpa menggunakan pembina salinan?

Mengeksploitasi Spesifikasi Bahasa

Kunci untuk memahami tingkah laku ini terletak pada spesifikasi bahasa C. Khususnya, seksyen 12.8 §34 dan §35 menerangkan penghapusan salinan:

Apabila kriteria tertentu dipenuhi, pelaksanaan dibenarkan untuk meninggalkan salinan/memindahkan pembinaan objek kelas [...].

Dalam kes ini, penyingkiran salinan dibenarkan kerana:

• Nilai pulangan adalah sementara objek.
• Objek sementara mempunyai jenis yang sama seperti jenis pemulangan fungsi.

Apabila kriteria untuk penyingkiran operasi salinan dipenuhi dan objek yang akan disalin ditetapkan oleh lnilai, resolusi beban lampau untuk memilih pembina untuk salinan pertama kali dilakukan seolah-olah objek telah ditetapkan oleh nilai r.

Ini membayangkan bahawa walaupun nilai pulangan ialah objek bernama (nilai), resolusi beban lampau masih menganggapnya sebagai nilai. Oleh itu, pembangun bergerak tidak digunakan, dan unique_ptr yang dikembalikan berjaya dibina.

Kesimpulan

Keupayaan untuk mengembalikan unique_ptr tanpa std::move() ialah ciri halus C spesifikasi bahasa. Ia tidak perlu menggunakan std::move() secara eksplisit apabila mengembalikan unique_ptr daripada fungsi, selagi syarat untuk penyingkiran salinan dipenuhi. Ini boleh membantu meningkatkan kejelasan kod dan mengurangkan operasi pemindahan yang tidak perlu.

Atas ialah kandungan terperinci Mengapa Mengembalikan `std::unique_ptr` Tidak Memerlukan `std::move()`?. Untuk maklumat lanjut, sila ikut artikel berkaitan lain di laman web China PHP!