Bagaimanakah std::forward memastikan pemajuan sempurna bagi rujukan lvalue dan rvalue dalam C ?

Bagaimana std::forward Memudahkan Pemajuan Sempurna bagi Rujukan Nilai dan R

Dalam C , std::forward memainkan peranan penting dalam mencapai pemajuan sempurna, yang memastikan hujah dihantar ke fungsi dengan kategori nilai asalnya dikekalkan. Tingkah laku ini boleh mengelirukan terutamanya apabila berurusan dengan rujukan nilai dan nilai.

Perbezaan Nilai lwn. Nilai

"Jika ia mempunyai nama, ia adalah nilai." Walaupun pepatah ini secara amnya benar, ia tidak menjelaskan sepenuhnya kelakuan std::forward apabila berurusan dengan benda&& x vs. benda& x.

Rujukan Lnilai (benda& x)

Apabila hujah diluluskan oleh rujukan nilai, ia kekal sebagai rujukan nilai dalam fungsi. Rujukan lnilai sentiasa terikat pada lokasi ingatan bernama khusus.

Rujukan Rnilai (benda&& x)

Sebaliknya, apabila hujah diluluskan oleh rujukan nilai, ia sama ada boleh menjadi rujukan nilai atau rujukan nilai ditukar. Rujukan rnilai terikat pada objek sementara atau nilai yang sedang dialihkan.

Cara std::forward Berfungsi

std::forward ditakrifkan oleh khas jadual penukaran. Tujuan utamanya adalah untuk menukar rujukan apa-apa jenis kepada rujukan nilai. Penukaran ini tidak mengubah kategori nilai argumen asal.

Contoh: Pemajuan Sempurna Menggunakan std::forward

Pertimbangkan fungsi templat perfectSet yang menerima hujah T&& :

template<class T>
void perfectSet(T&& t) {
    set(std::forward<T>(t));
}

Sekarang, apabila perfectSet dipanggil dengan nilai l, jenis T dalam fungsi instantiated disimpulkan sebagai T&. Penukaran std::forward memastikan hujah dihantar untuk ditetapkan sebagai rujukan lvalue.

std::vector<int> v;
perfectSet(v); // lvalue reference passed to set

Walau bagaimanapun, jika perfectSet dipanggil dengan rvalue, T disimpulkan sebagai T&& dan std::forward converts hujah kepada rujukan rnilai, membolehkan semantik bergerak masuk set:

perfectSet(makeAndFillVector()); // rvalue reference passed to set

Kesimpulan

std::forward ialah alat berkuasa yang memudahkan pemajuan sempurna dengan mengekalkan kategori nilai argumen yang dihantar ke fungsi. Ini membolehkan pemindahan nilai yang cekap dan selamat jenis, memastikan prestasi optimum dan ketepatan kod.

Atas ialah kandungan terperinci Bagaimanakah std::forward memastikan pemajuan sempurna bagi rujukan lvalue dan rvalue dalam C ?. Untuk maklumat lanjut, sila ikut artikel berkaitan lain di laman web China PHP!