Sabit'e bir işaretçi silme (T const *)

Const işaretçileriyle ilgili temel bir sorum var. Const işaretçisi kullanarak const olmayan herhangi bir üye işlevi çağırma iznim yok. Bununla birlikte, bunu bir const işaretçisinde yapma iznim var:

delete p;

Bu, özünde const olmayan bir 'yöntem' olan sınıfın yıkıcısını çağıracaktır. Buna neden izin veriliyor? Sadece bunu desteklemek için mi:

delete this;

Yoksa başka bir sebep mi var?

Desteklemek için:

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

// use const member functions here

// delete it
delete f;

Ancak sorunun dinamik olarak oluşturulan nesnelerle sınırlı olmadığını unutmayın:

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

Eğer yıkıcılar const nesnelerinde çağrılamazsa, const nesnelerini hiç kullanamazdık.

Bu şekilde koymak - bu eğer değildi izin const_cast kullanmadan silme const nesneler yolu yoktur olurdu.

Anlamsal olarak const, bir nesnenin değişmez olması gerektiğinin bir göstergesidir. Ancak bu, nesnenin silinmemesi gerektiği anlamına gelmez.

Const işaretçisi kullanarak const olmayan herhangi bir üye işlevi çağırma iznim yok.

Evet öylesin.

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

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

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

Bir const işaretçisini const olmayan bir nesneye, const nesnesine yönelik const olmayan bir işaretçiyle karıştırdınız.

Bunu söyledikten sonra,

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

Buradaki diğer cevaplarda zaten belirtilen nedenlerden dolayı ikisini de silmek yasaldır.

Yapıcılar ve Yıkıcılar 'yöntemler' olarak görülmemelidir. Bir sınıfın nesnesini başlatmak ve parçalamak için özel yapılardır.

'const işaretçisi', canlı durumdayken üzerinde işlemler yapıldığında nesnenin durumunun değişmeyeceğini belirtmek içindir.

Buna bakmanın başka bir yolu: Bir const işaretçisinin kesin anlamı, o veya başka herhangi bir işaretçi veya aynı nesneye başvuru yoluyla görülebilecek olan işaret edilen nesnede değişiklik yapamayacağınızdır. Ancak bir nesne yok edildiğinde, silinmiş nesnenin daha önce işgal ettiği adresin diğer tüm işaretçileri artık o nesneye işaret etmez . Aynı adresi saklarlar, ancak bu adres artık herhangi bir nesnenin adresi değildir (aslında yakında farklı bir nesnenin adresi olarak yeniden kullanılabilir).

C ++ 'daki işaretçiler zayıf referanslar gibi davranırsa, yani nesne yok edilir edilmez, mevcut tüm işaretçiler hemen olarak ayarlanırsa, bu ayrım daha açık olacaktır 0. (Bu, çalışma zamanında tüm C ++ programlarına empoze edilemeyecek kadar maliyetli olduğu düşünülen türden bir şeydir ve aslında onu tamamen güvenilir hale getirmek imkansızdır.)

GÜNCELLEME : Bunu dokuz yıl sonra geri okurken, avukat gibi. Şimdi orijinal tepkinizi anlaşılır buluyorum. Mutasyona izin vermemek, ancak yıkıma izin vermek açıkça sorunludur. Const işaretçilerinin / referanslarının zımni sözleşmesi, varoluşlarının hedef nesnenin yok edilmesi üzerine bir blok olarak hareket edeceğidir, yani otomatik çöp toplama.

Bunun olağan çözümü, bunun yerine hemen hemen her dili kullanmaktır.