Bolehkah saya Memadam Objek Dengan Selamat Melalui Penunjuk Void dalam C?

Penunjuk Kosong dan Pemadaman Objek

Dalam C , penunjuk void boleh digunakan untuk menyimpan alamat objek dari sebarang jenis. Soalan biasa timbul: bolehkah kita memadamkan objek dengan selamat melalui penuding kosong?

Masalahnya:

Pertimbangkan kod berikut:

void* my_alloc(size_t size) {
  return new char[size];
}

void my_free(void* ptr) {
  delete [] ptr;
}

Di sini, my_alloc memperuntukkan tatasusunan char dan mengembalikan penunjuk tidak sah. my_free cubaan untuk memadam objek yang ditunjuk oleh penuding kosong.

Jawapannya:

Memadam objek melalui penunjuk lompang tanpa menghantar adalah tingkah laku yang tidak ditentukan mengikut C Standard (5.3.5/3). Ini bermakna bahawa gelagat boleh berbeza-beza merentas pengkompil dan platform.

Sebab bagi gelagat yang tidak ditentukan ini ialah pengkompil tidak dapat menentukan jenis sebenar objek yang dipadamkan. Akibatnya, adalah mustahil untuk menjamin bahawa pemusnah yang betul akan dipanggil, yang berpotensi membawa kepada kerosakan memori atau tingkah laku lain yang tidak dijangka.

Pendekatan Selamat:

Untuk memadam dengan selamat objek melalui penuding kosong, ia mesti dibuang ke jenis penuding asal yang memperuntukkan objek. Ini memastikan bahawa pemusnah yang betul dipanggil dan bahawa sebarang sumber yang dikaitkan dengan objek dibersihkan dengan betul.

Sebagai contoh, dalam kod di atas, pemadaman hendaklah dilakukan seperti berikut:

char* ptr = (char*)my_alloc(size);
delete [] ptr;

Atas ialah kandungan terperinci Bolehkah saya Memadam Objek Dengan Selamat Melalui Penunjuk Void dalam C?. Untuk maklumat lanjut, sila ikut artikel berkaitan lain di laman web China PHP!