Apa perbedaan antara std :: move dan std :: forward

Saya melihat ini di sini: Pindahkan Konstruktor memanggil basis-kelas Pindahkan Konstruktor

Bisakah seseorang menjelaskan:

1. perbedaan antara std::movedan std::forward, lebih disukai dengan beberapa contoh kode?
2. Bagaimana memikirkannya dengan mudah, dan kapan menggunakannya

std::movemengambil objek dan memungkinkan Anda untuk memperlakukannya sebagai sementara (suatu nilai). Meskipun ini bukan persyaratan semantik, biasanya fungsi yang menerima referensi ke nilai akan membatalkannya. Ketika Anda melihat std::move, itu menunjukkan bahwa nilai objek tidak boleh digunakan setelahnya, tetapi Anda masih dapat menetapkan nilai baru dan terus menggunakannya.

std::forwardmemiliki satu kasus penggunaan: untuk melemparkan parameter fungsi templated (di dalam fungsi) ke kategori nilai (nilai atau nilai) pemanggil yang digunakan untuk meneruskannya. Ini memungkinkan argumen nilai diturunkan sebagai nilai, dan nilai dinilai sebagai nilai, sebuah skema yang disebut "penerusan yang sempurna."

Untuk menggambarkan :

void overloaded( int const &arg ) { std::cout << "by lvalue\n"; }
void overloaded( int && arg ) { std::cout << "by rvalue\n"; }

template< typename t >
/* "t &&" with "t" being template param is special, and  adjusts "t" to be
   (for example) "int &" or non-ref "int" so std::forward knows what to do. */
void forwarding( t && arg ) {
    std::cout << "via std::forward: ";
    overloaded( std::forward< t >( arg ) );
    std::cout << "via std::move: ";
    overloaded( std::move( arg ) ); // conceptually this would invalidate arg
    std::cout << "by simple passing: ";
    overloaded( arg );
}

int main() {
    std::cout << "initial caller passes rvalue:\n";
    forwarding( 5 );
    std::cout << "initial caller passes lvalue:\n";
    int x = 5;
    forwarding( x );
}

Seperti yang disebutkan Howard, ada juga kesamaan karena kedua fungsi ini hanya menggunakan tipe referensi. Tetapi di luar kasus penggunaan khusus ini (yang mencakup 99,9% dari kegunaan cast referensi nilai), Anda harus menggunakan static_castsecara langsung dan menulis penjelasan yang baik tentang apa yang Anda lakukan.

Keduanya std::forwarddan std::movetidak lain adalah gips.

X x;
std::move(x);

Di atas melemparkan ekspresi lvalue xtipe X ke ekspresi rvalue tipe X (nilai x lebih tepatnya). movejuga dapat menerima nilai:

std::move(make_X());

dan dalam hal ini ini adalah fungsi identitas: mengambil nilai tipe X dan mengembalikan nilai tipe X.

Dengan std::forwardAnda dapat memilih tujuan sampai batas tertentu:

X x;
std::forward<Y>(x);

Melemparkan ekspresi nilai xdari tipe X ke ekspresi tipe Y. Ada kendala pada apa yang bisa Y.

Y dapat menjadi Pangkalan X yang dapat diakses, atau referensi ke Pangkalan X. Y dapat menjadi X, atau referensi ke X. Seseorang tidak dapat membuang kualifikasi cv forward, tetapi seseorang dapat menambahkan kualifikasi cv. Y tidak dapat menjadi tipe yang hanya dapat dikonversi dari X, kecuali melalui konversi Basis yang dapat diakses.

Jika Y adalah referensi lvalue, hasilnya akan menjadi ekspresi lvalue. Jika Y bukan referensi lvalue, hasilnya akan menjadi ekspresi rvalue (xvalue tepatnya).

forwarddapat mengambil argumen nilai hanya jika Y bukan referensi nilai tinggi. Artinya, Anda tidak dapat memberikan nilai ke nilai. Ini untuk alasan keamanan karena melakukan hal itu biasanya mengarah pada referensi yang menggantung. Tapi casting nilai untuk nilai adalah baik dan diizinkan.

Jika Anda mencoba menentukan Y untuk sesuatu yang tidak diizinkan, kesalahan akan ditangkap pada waktu kompilasi, bukan waktu berjalan.

std::forwarddigunakan untuk meneruskan parameter persis seperti itu diteruskan ke suatu fungsi. Seperti yang ditunjukkan di sini:

Kapan harus menggunakan argumen std :: forward to forward?

Menggunakan std::movemenawarkan objek sebagai nilai, untuk mungkin cocok dengan konstruktor bergerak atau fungsi yang menerima nilai. Itu melakukan itu std::move(x)bahkan jika xbukan nilai sendiri.