Mengapa Mencampurkan `malloc` dan `delete` dalam C Menghasilkan Gelagat Tidak Ditakrifkan?

Kekeliruan Pengurusan Memori: Bertukar-tukar malloc dan padam dalam C

Dalam C , peruntukan memori dan deallocation adalah penting untuk mengendalikan sumber dengan berkesan. Walaupun terdapat kedua-dua fungsi gaya C seperti malloc dan kata kunci khusus C seperti baharu dan padam, adalah penting untuk memahami penggunaannya yang betul untuk mengelakkan akibat yang tidak diingini.

Pertimbangkan kod berikut:

<code class="cpp">int *p = (int *)malloc(sizeof(int));
delete p;</code>

Kod ini cuba memperuntukkan memori menggunakan malloc tetapi cuba mengagihkannya menggunakan padam. Ini menimbulkan persoalan: mengapa kod ini tidak mencetuskan sebarang ralat atau amaran?

Tingkah Laku Tidak Ditakrifkan

Jawapannya terletak pada tingkah laku yang tidak ditentukan dalam mencampurkan kaedah peruntukan dan deallocation . Tiada cara yang wujud dalam bahasa untuk menentukan sama ada memori penuding pada asalnya diperuntukkan menggunakan baharu (dan harus dipadamkan) atau malloc (dan harus dibebaskan). Percubaan untuk memadamkan memori yang diperuntukkan dengan malloc ialah tingkah laku yang tidak ditentukan dan boleh membawa kepada hasil yang tidak dapat diramalkan.

Akibat Tingkah Laku Tidak Ditakrifkan

Ketiadaan ralat atau amaran tidak membayangkan bahawa kod itu betul. Tingkah laku yang tidak ditentukan bermakna pengkompil tidak dapat mengesahkan ketepatan kod dan tingkah lakunya pada asasnya rawak. Ia mungkin ranap, berfungsi dengan betul atau melakukan sesuatu yang tidak dijangka pada masa jalan.

Mengapa Tiada Amaran atau Ralat untuk Bertukar Baharu/Percuma?

Dalam senario terbalik di mana memori berada diperuntukkan menggunakan baharu dan diuruskan menggunakan percuma, mungkin juga tiada amaran atau ralat. Ini kerana percuma hanya mengagihkan memori tanpa mengambil kira sumbernya, meninggalkan potensi kebocoran sumber dan isu lain.

Penunjuk Pintar

Untuk mengelakkan perangkap sedemikian, ia sangat disyorkan untuk menggunakan penunjuk pintar, seperti std::unique_ptr dan std::shared_ptr. Petunjuk pintar mengurus urusan pembahagian memori secara automatik berdasarkan skop dan pemilikannya. Mereka memastikan kaedah deallokasi yang betul dipanggil (padam atau percuma) apabila penunjuk pintar keluar dari skop.

Atas ialah kandungan terperinci Mengapa Mencampurkan `malloc` dan `delete` dalam C Menghasilkan Gelagat Tidak Ditakrifkan?. Untuk maklumat lanjut, sila ikut artikel berkaitan lain di laman web China PHP!