Okuduğum bir C ++ kitabı, deleteoperatör kullanılarak bir işaretçi silindiğinde işaret ettiği konumdaki belleğin "serbest bırakıldığını" ve üzerine yazılabileceğini belirtiyor. Ayrıca, işaretçinin yeniden atanana veya olarak ayarlanana kadar aynı konumu göstermeye devam edeceğini belirtir NULL.

Visual Studio 2012'de ise; durum böyle görünmüyor!

Misal:

#include <iostream>

using namespace std;

int main()
{
    int* ptr = new int;
    cout << "ptr = " << ptr << endl;
    delete ptr;
    cout << "ptr = " << ptr << endl;

    system("pause");

    return 0;
}

Bu programı derleyip çalıştırdığımda şu çıktıyı alıyorum:

ptr = 0050BC10
ptr = 00008123
Press any key to continue....

Silme çağrısı yapıldığında, işaretçinin işaret ettiği adres açıkça değişir!

Bu neden oluyor? Bunun özellikle Visual Studio ile bir ilgisi var mı?

Ve eğer silme, işaret ettiği adresi değiştirebiliyorsa, neden silme işlemi otomatik olarak işaretçiyi NULLrastgele bir adres yerine olarak ayarlamasın ?

Depolanan adresin ptrüzerine her zaman 00008123... ile yazıldığını fark ettim .

Bu tuhaf göründü, bu yüzden biraz araştırma yaptım ve "C ++ nesnelerini silerken otomatik işaretçi temizliği" ni tartışan bir bölüm içeren bu Microsoft blog gönderisini buldum .

... NULL için kontroller ortak bir kod yapısıdır, yani mevcut bir NULL kontrolünün bir temizleme değeri olarak NULL kullanılmasıyla birleştirilmesi, kök nedeni gerçekten ele alınması gereken gerçek bir bellek güvenliği sorununu tesadüfen gizleyebilir.

Bu nedenle, temizleme değeri olarak 0x8123'ü seçtik - işletim sistemi perspektifinden bu, sıfır adresle (NULL) aynı bellek sayfasındadır, ancak 0x8123'teki bir erişim ihlali, geliştiricinin daha ayrıntılı ilgiye ihtiyaç duyması nedeniyle daha iyi ön plana çıkacaktır. .

Yalnızca Visual Studio'nun işaretçi silindikten sonra ne yaptığını açıklamakla kalmaz, aynı zamanda neden onu NULLotomatik olarak ayarlamamayı seçtiklerini de yanıtlar !

Bu "özellik", "SDL kontrolleri" ayarının bir parçası olarak etkinleştirilir. Etkinleştirmek / devre dışı bırakmak için şuraya gidin: PROJECT -> Properties -> Configuration Properties -> C / C ++ -> General -> SDL checks

Bunu onaylamak için:

Bu ayarın değiştirilmesi ve aynı kodun yeniden çalıştırılması aşağıdaki çıktıyı üretir:

ptr = 007CBC10
ptr = 007CBC10

"özellik" tırnak içindedir, çünkü aynı konuma giden iki işaretçinizin olduğu bir durumda, silme işlevini çağırmak bunlardan yalnızca BİRİNİ sterilize eder. Diğeri geçersiz yere işaret edecek şekilde bırakılacak ...

GÜNCELLEME:

5 yıllık C ++ programlama deneyiminden sonra, tüm bu sorunun temelde tartışmalı bir konu olduğunun farkındayım. Bir C ++ programcısıysanız ve akıllı işaretçiler (bu sorunun tamamını aşan) kullanmak yerine hala ham işaretçileri kullanıyor newve deleteyönetiyorsanız, C programcısı olmak için kariyer yolunda bir değişiklik düşünmek isteyebilirsiniz. ;)

/sdlDerleme seçeneğinin yan etkilerini görüyorsunuz . VS2015 projeleri için varsayılan olarak açılır, / gs tarafından sağlananların ötesinde ek güvenlik kontrolleri sağlar. Değiştirmek için Proje> Özellikler> C / C ++> Genel> SDL kontrolleri ayarını kullanın.

MSDN makalesinden alıntı yapmak :

• Sınırlı işaretçi temizliği gerçekleştirir. Başvurular içermeyen ifadelerde ve kullanıcı tanımlı yıkıcı içermeyen türlerde, işaretçi başvuruları, silme çağrısından sonra geçersiz bir adrese ayarlanır. Bu, eski işaretçi referanslarının yeniden kullanılmasını önlemeye yardımcı olur.

MSVC'yi kullandığınızda silinen işaretçileri NULL olarak ayarlamanın kötü bir uygulama olduğunu unutmayın. Hem Hata Ayıklama Yığından hem de bu / sdl seçeneğinden aldığınız yardımı yener, artık programınızda geçersiz ücretsiz / silme çağrılarını algılayamazsınız.

Ayrıca işaretçinin yeniden atanana veya NULL olarak ayarlanana kadar aynı konumu göstermeye devam edeceğini belirtir.

Bu kesinlikle yanıltıcı bilgidir.

Silme çağrısı yapıldığında, işaretçinin işaret ettiği adres açıkça değişir!

Bu neden oluyor? Bunun özellikle Visual Studio ile bir ilgisi var mı?

Bu açıkça dil şartnameleri dahilindedir. ptrçağrıldıktan sonra geçerli değildir delete. D ptrolduktan sonra kullanılması deletetanımsız davranışa neden olur. Yapma. Çalışma süresi ortamı, ptrçağrıdan sonra istediği her şeyi yapmakta özgürdür delete.

Ve eğer silme, işaret ettiği adresi değiştirebiliyorsa, neden silme işlemi otomatik olarak imleci rastgele bir adres yerine NULL olarak ayarlamasın ???

İşaretçinin değerinin herhangi bir eski değere değiştirilmesi dil spesifikasyonu dahilindedir. NULL olarak değiştirmeye gelince, bunun kötü olacağını söyleyebilirim. İşaretçinin değeri NULL olarak ayarlanmışsa, program daha mantıklı davranır. Ancak, bu sorunu gizleyecektir. Program farklı optimizasyon ayarlarıyla derlendiğinde veya farklı bir ortama taşındığında, sorun muhtemelen en uygun olmayan anda ortaya çıkacaktır.

delete ptr;
cout << "ptr = " << ptr << endl;

Genelde , geçersiz işaretçilerin değerlerini okumak bile (yukarıda yaptığınız gibi, not: bu başvurudan farklıdır) geçersiz işaretçilerin değerlerini (örneğin, siz yaptığınızda işaretçi geçersiz hale gelir delete) uygulama tanımlı davranıştır. Bu, CWG # 1438'de tanıtıldı . Ayrıca buraya bakın .

Lütfen, geçersiz işaretçilerin değerlerinin okunmasından önce tanımsız davranış olduğunu, dolayısıyla yukarıda sahip olduğunuz şeyin tanımsız davranış olacağını, yani her şeyin olabileceği anlamına geldiğini unutmayın.

Sanırım, bir çeşit hata ayıklama modu çalıştırıyorsunuz ve VS, işaretçinizi bilinen bir konuma yeniden işaretlemeye çalışıyor, böylece daha fazla referans atma girişimi izlenip raporlanabilir. Yayın modunda aynı programı derlemeyi / çalıştırmayı deneyin.

deleteVerimlilik uğruna ve yanlış bir güvenlik fikri vermekten kaçınmak için işaretçiler genellikle içeride değiştirilmez . Silme işaretçisinin önceden tanımlanmış bir değere ayarlanması, çoğu karmaşık senaryoda işe yaramaz, çünkü silinen işaretçi muhtemelen bu konumu gösteren birkaç işaretten yalnızca biri olacaktır.

İşin aslı, bunun hakkında ne kadar çok düşünürsem, bunu yaparken her zamanki gibi VS'nin hatalı olduğunu o kadar çok görüyorum. Ya işaretçi const ise? Yine de değiştirecek mi?

İşaretçiyi sildikten sonra işaret ettiği bellek hala geçerli olabilir. Bu hatayı tezahür ettirmek için, işaretçi değeri belirgin bir değere ayarlanır. Bu, hata ayıklama sürecine gerçekten yardımcı olur. Değer olarak ayarlanmışsa NULL, program akışında asla potansiyel hata olarak görünmeyebilir. Bu nedenle, daha sonra test ettiğinizde bir hatayı gizleyebilirNULL .

Bir başka nokta da, bazı çalışma zamanı iyileştiricilerinin bu değeri kontrol edip sonuçlarını değiştirebilmesidir.

Daha önceki zamanlarda MS değeri olarak ayarladı 0xcfffffff.