Menghapus pointer ke const (T const *)

Saya punya pertanyaan dasar tentang petunjuk const. Saya tidak diizinkan untuk memanggil fungsi non-anggota const menggunakan pointer const. Namun, saya diizinkan melakukan ini pada pointer const:

delete p;

Ini akan memanggil destruktor kelas yang pada dasarnya adalah 'metode' non-const. Mengapa ini diperbolehkan? Apakah hanya untuk mendukung ini:

delete this;

Atau ada alasan lain?

Ini untuk mendukung:

// dynamically create object that cannot be changed
const Foo * f = new Foo;

// use const member functions here

// delete it
delete f;

Tetapi perhatikan bahwa masalahnya tidak terbatas pada objek yang dibuat secara dinamis:

{
 const Foo f;
 // use it
} // destructor called here

Jika destruktor tidak bisa dipanggil pada objek const, kami tidak dapat menggunakan objek const sama sekali.

Begini - jika tidak diizinkan, tidak akan ada cara untuk menghapus objek const tanpa menggunakan const_cast.

Secara semantik, const adalah indikasi bahwa suatu objek harus tetap. Namun, itu tidak berarti bahwa objek tersebut tidak boleh dihapus.

Saya tidak diizinkan untuk memanggil fungsi non-anggota const menggunakan pointer const.

Ya, kamu.

class Foo
{
public:
  void aNonConstMemberFunction();
};

Foo* const aConstPointer = new Foo;
aConstPointer->aNonConstMemberFunction(); // legal

const Foo* aPointerToConst = new Foo;
aPointerToConst->aNonConstMemberFunction(); // illegal

Anda telah membingungkan penunjuk const ke objek non-const, dengan penunjuk non-const ke objek const.

Karena itu,

delete aConstPointer; // legal
delete aPointerToConst; // legal

sah juga untuk menghapus, karena alasan yang sudah disebutkan oleh jawaban lain di sini.

Pembuat dan Penghancur tidak boleh dipandang sebagai 'metode'. Mereka adalah konstruksi khusus untuk menginisialisasi dan merobohkan objek kelas.

'const pointer' adalah untuk menunjukkan bahwa status objek tidak akan berubah ketika operasi dilakukan pada objek tersebut saat masih hidup.

Cara lain untuk melihatnya: arti yang tepat dari sebuah pointer const adalah bahwa Anda tidak akan dapat membuat perubahan pada objek yang diarahkan ke yang akan terlihat melalui itu atau pointer atau referensi lain ke objek yang sama. Namun saat sebuah objek hancur, semua penunjuk lain ke alamat yang sebelumnya ditempati oleh objek yang sekarang dihapus tidak lagi menjadi penunjuk ke objek itu . Mereka menyimpan alamat yang sama, tetapi alamat itu bukan lagi alamat objek apa pun (sebenarnya alamat itu mungkin akan segera digunakan kembali sebagai alamat objek yang berbeda).

Perbedaan ini akan lebih jelas jika pointer dalam C ++ berperilaku seperti referensi yang lemah, yaitu segera setelah objek dimusnahkan, semua pointer yang masih ada akan segera disetel ke 0. (Itu adalah jenis hal yang dianggap terlalu mahal pada waktu proses untuk diterapkan pada semua program C ++, dan pada kenyataannya tidak mungkin membuatnya sepenuhnya dapat diandalkan.)

PEMBARUAN : Membaca ini kembali sembilan tahun kemudian, itu adalah pengacara. Sekarang saya menemukan reaksi asli Anda dapat dimengerti. Untuk melarang mutasi tetapi membiarkan kehancuran jelas bermasalah. Kontrak tersirat dari pointer / referensi const adalah bahwa keberadaan mereka akan bertindak sebagai penghambat penghancuran objek target, alias pengumpulan sampah otomatis.

Solusi yang biasa untuk ini adalah dengan menggunakan hampir semua bahasa lain.