Bilakah Ia Selamat untuk Menggunakan `std::memcpy` dengan Objek Tidak Boleh Disalin Secara Trivial?

Gelagat std::memcpy dengan Objek Tidak Boleh Disalin Secara Trivial

Tingkah laku std::memcpy diisytiharkan tidak ditentukan untuk objek yang tidak TriviallyCopyable. Ini kerana memcpy tidak melakukan sebarang pemeriksaan jenis. Ia hanya menyalin bait objek sumber ke dalam objek destinasi. Untuk objek jenis bukan TriviallyCopyable, ini boleh membawa kepada tingkah laku yang tidak dijangka.

Sebagai contoh, mari kita pertimbangkan struct berikut:

struct Entity {
    int health;
    int damage;
};

Kedua-dua int dan Entiti bukan TriviallyCopyable. Jika kami menggunakan std::memcpy untuk menyalin objek jenis ini, kami mungkin mendapat hasil yang tidak dijangka. Contohnya, kod berikut boleh menyebabkan program ranap:

void swapEntities(Entity* e1, Entity* e2) {
    memcpy(e1, e2, sizeof(Entity));
}

Kod ini menukar nilai e1 dan e2 dengan menyalin bait e2 ke e1. Walau bagaimanapun, ini tidak menangani masalah dengan betul bahawa Entiti tidak TriviallyCopyable. Pembina dan pemusnah Entiti tidak dipanggil dan nilai e1 dan e2 mungkin dibiarkan dalam keadaan tidak konsisten.

Untuk mengelakkan tingkah laku yang tidak ditentukan, adalah penting untuk menggunakan fungsi yang sesuai untuk menyalin objek bukan TriviallyCopyable . std::copy dan std::swap ialah dua fungsi yang dijamin selamat digunakan dengan objek dalam sebarang jenis.

Dalam perihalan memcpy yang dikemas kini pada cppreference, pengecualian berikut dicatatkan: "melainkan jika program tidak bergantung pada kesan pemusnah objek sasaran (yang tidak dijalankan oleh memcpy) dan jangka hayat objek sasaran (yang berakhir, tetapi tidak dimulakan oleh memcpy) dimulakan dengan beberapa cara lain, seperti penempatan-baru."

Pengecualian ini membenarkan memcpy digunakan dengan objek bukan TriviallyCopyable dalam keadaan terhad tertentu. Walau bagaimanapun, adalah penting untuk ambil perhatian bahawa ini adalah pengecualian dan secara amnya adalah lebih selamat untuk mengelak daripada menggunakan memcpy dengan objek bukan TriviallyCopyable.

Atas ialah kandungan terperinci Bilakah Ia Selamat untuk Menggunakan `std::memcpy` dengan Objek Tidak Boleh Disalin Secara Trivial?. Untuk maklumat lanjut, sila ikut artikel berkaitan lain di laman web China PHP!