Buku C ++ yang saya baca menyatakan bahwa ketika sebuah pointer dihapus menggunakan deleteoperator, memori di lokasi yang ditunjuknya adalah "dibebaskan" dan dapat ditimpa. Ini juga menyatakan bahwa pointer akan terus menunjuk ke lokasi yang sama sampai dipindahkan atau diatur ke NULL.

Namun dalam Visual Studio 2012; ini tampaknya tidak menjadi masalah!

Contoh:

#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;
}

Ketika saya mengkompilasi dan menjalankan program ini saya mendapatkan output berikut:

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

Jelas alamat yang ditunjuk oleh penunjuk berubah saat delete dipanggil!

Mengapa ini terjadi? Apakah ini ada hubungannya dengan Visual Studio secara khusus?

Dan jika delete dapat mengubah alamat yang ditunjuknya, mengapa tidak menghapus secara otomatis mengatur pointer ke NULLalih-alih beberapa alamat acak?

Saya perhatikan bahwa alamat yang disimpan ptrselalu ditimpa dengan 00008123...

Ini tampak aneh, jadi saya melakukan sedikit penggalian dan menemukan posting blog Microsoft ini berisi bagian yang membahas "Sanitisasi pointer otomatis ketika menghapus objek C ++".

... memeriksa NULL adalah konstruksi kode umum yang berarti bahwa pemeriksaan NULL yang sudah ada digabungkan dengan penggunaan NULL sebagai nilai sanitasi dapat dengan sengaja menyembunyikan masalah keamanan memori asli yang penyebab utamanya benar-benar perlu ditangani.

Untuk alasan ini kami telah memilih 0x8123 sebagai nilai sanitasi - dari perspektif sistem operasi, ini berada di halaman memori yang sama dengan alamat nol (NULL), tetapi pelanggaran akses di 0x8123 akan lebih baik bagi pengembang karena memerlukan perhatian lebih rinci. .

Tidak hanya menjelaskan apa yang Visual Studio lakukan dengan pointer setelah dihapus, itu juga menjawab mengapa mereka memilih TIDAK untuk mengaturnya NULLsecara otomatis!

"Fitur" ini diaktifkan sebagai bagian dari pengaturan "pemeriksaan SDL". Untuk mengaktifkan / menonaktifkannya buka: PROYEK -> Properti -> Properti Konfigurasi -> C / C ++ -> Umum -> pemeriksaan SDL

Untuk mengkonfirmasi ini:

Mengubah pengaturan ini dan menjalankan kembali kode yang sama menghasilkan output berikut:

ptr = 007CBC10
ptr = 007CBC10

"fitur" dalam tanda kutip karena dalam kasus di mana Anda memiliki dua petunjuk ke lokasi yang sama, memanggil delete hanya akan membersihkan SATU dari mereka. Yang lain akan dibiarkan menunjuk ke lokasi yang tidak valid ...

MEMPERBARUI:

Setelah 5 tahun pengalaman pemrograman C ++, saya menyadari bahwa seluruh masalah ini pada dasarnya adalah poin yang bisa diperdebatkan. Jika Anda seorang programmer C ++ dan masih menggunakan newdan deletemengelola pointer mentah alih-alih menggunakan pointer pintar (yang menghindari seluruh masalah ini), Anda mungkin ingin mempertimbangkan perubahan jalur karier untuk menjadi seorang programmer C. ;)

Anda melihat efek samping dari /sdlopsi kompilasi. Dihidupkan secara default untuk proyek VS2015, memungkinkan pemeriksaan keamanan tambahan di luar yang disediakan oleh / gs. Gunakan Proyek> Properti> C / C ++> Umum> Pengaturan pemeriksaan SDL untuk mengubahnya.

Mengutip dari artikel MSDN :

• Melakukan sanitasi pointer terbatas. Dalam ekspresi yang tidak melibatkan referensi dan dalam tipe yang tidak memiliki destruktor yang ditentukan pengguna, referensi pointer diatur ke alamat yang tidak valid setelah panggilan untuk menghapus. Ini membantu untuk mencegah penggunaan kembali referensi basi pointer.

Perlu diingat bahwa pengaturan pointer yang dihapus ke NULL adalah praktik yang buruk ketika Anda menggunakan MSVC. Ini mengalahkan bantuan yang Anda dapatkan dari Debug Heap dan opsi / sdl ini, Anda tidak lagi dapat mendeteksi panggilan bebas / hapus yang tidak valid dalam program Anda.

Ini juga menyatakan bahwa pointer akan terus menunjuk ke lokasi yang sama sampai dipindahkan atau diatur ke NULL.

Itu jelas informasi yang menyesatkan.

Jelas alamat yang ditunjuk oleh penunjuk berubah saat delete dipanggil!

Mengapa ini terjadi? Apakah ini ada hubungannya dengan Visual Studio secara khusus?

Ini jelas dalam spesifikasi bahasa. ptrtidak valid setelah panggilan ke delete. Menggunakan ptrsetelah deleted adalah penyebab perilaku tidak terdefinisi. Jangan lakukan itu. Lingkungan run time bebas untuk melakukan apa pun yang diinginkan ptrsetelah panggilan ke delete.

Dan jika delete dapat mengubah alamat yang ditunjuknya, mengapa tidak menghapus secara otomatis mengatur pointer ke NULL alih-alih beberapa alamat acak ???

Mengubah nilai pointer ke nilai lama apa pun ada dalam spesifikasi bahasa. Sejauh mengubahnya menjadi NULL, saya akan mengatakan, itu akan buruk. Program akan berperilaku lebih waras jika nilai pointer diatur ke NULL. Namun, itu akan menyembunyikan masalahnya. Ketika program dikompilasi dengan pengaturan optimisasi yang berbeda atau porting ke lingkungan yang berbeda, masalah kemungkinan akan muncul pada saat yang paling tidak tepat.

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

Secara umum bahkan membaca (seperti yang Anda lakukan di atas, perhatikan: ini berbeda dari dereferencing) nilai-nilai pointer tidak valid (pointer menjadi tidak valid misalnya ketika Anda delete) adalah implementasi perilaku yang ditentukan. Ini diperkenalkan dalam CWG # 1438 . Lihat juga di sini .

Harap perhatikan bahwa sebelum itu nilai pembacaan dari pointer yang tidak valid adalah perilaku yang tidak terdefinisi, jadi apa yang Anda miliki di atas akan menjadi perilaku yang tidak terdefinisi, yang berarti apa pun bisa terjadi.

Saya percaya, Anda menjalankan semacam mode debug dan VS sedang berusaha untuk menunjuk kembali pointer Anda ke beberapa lokasi yang diketahui, sehingga upaya lebih lanjut untuk dereferensi itu dapat dilacak dan dilaporkan. Coba kompilasi / jalankan program yang sama dalam mode rilis.

Pointer biasanya tidak diubah di deletedalam demi efisiensi dan untuk menghindari memberikan gagasan keselamatan yang keliru. Mengatur hapus pointer ke nilai yang telah ditentukan sebelumnya tidak akan ada gunanya di sebagian besar skenario kompleks, karena pointer yang dihapus kemungkinan hanya satu dari beberapa yang menunjuk ke lokasi ini.

Faktanya, semakin saya memikirkannya, semakin saya menemukan bahwa VS salah ketika melakukannya, seperti biasa. Bagaimana jika pointernya adalah const? Apakah masih akan mengubahnya?

Setelah menghapus pointer, memori yang ditunjukkannya mungkin masih valid. Untuk memanifestasikan kesalahan ini, nilai pointer diatur ke nilai yang jelas. Ini sangat membantu proses debugging. Jika nilainya diatur NULL, itu mungkin tidak pernah muncul sebagai bug potensial dalam aliran program. Jadi itu mungkin menyembunyikan bug saat Anda menguji nanti NULL.

Poin lain adalah, bahwa beberapa pengoptimal waktu berjalan dapat memeriksa nilai itu dan mengubah hasilnya.

Pada waktu sebelumnya MS mengatur nilainya 0xcfffffff.