私が読んでいるC ++の本では、delete演算子を使用してポインターが削除されると、ポインターが指している場所のメモリーが「解放」され、上書きされる可能性があると述べています。また、ポインターが再割り当てされるか、またはに設定されるまで、ポインターは同じ場所を指し続けると述べていますNULL。

ただし、Visual Studio 2012では。これはそうではないようです！

例：

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

このプログラムをコンパイルして実行すると、次の出力が得られます。

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

明らかに、deleteが呼び出されると、ポインターが指しているアドレスが変更されます！

なぜこうなった？これは特にVisual Studioと関係がありますか？

そして、削除がとにかく指しているアドレスを変更できる場合、削除によって、NULLランダムなアドレスの代わりにポインタが自動的に設定されないのはなぜですか？

に保存されているアドレスptrが常に上書きされていることに気づきました00008123...

これは奇妙に思えたので、少し掘り下げたところ、「Microsoftのブログ投稿に、C ++オブジェクトを削除する際のポインタのサニタイズを自動化する」についてのセクションが含まれていることがわかりました。

... NULLのチェックは一般的なコード構成です。つまり、既存のNULLのチェックとNULLをサニタイズ値として使用すると、根本的な原因が本当に対処する必要がある真のメモリ安全性の問題を偶然に隠すことができます。

このため、サニタイズ値として0x8123を選択しました。これは、オペレーティングシステムの観点からは、ゼロアドレス（NULL）と同じメモリページにありますが、0x8123でのアクセス違反は、より詳細な注意が必要なため、開発者にとってより目立ちます。 。

削除された後のVisual Studioのポインターの扱いを説明するだけでなく、ポインターをNULL自動的に設定しないことを選択した理由にも答えます！

この「機能」は、「SDLチェック」設定の一部として有効になります。有効化/無効化するには、プロジェクト->プロパティ->構成プロパティ-> C / C ++->一般-> SDLチェックに移動します。

これを確認するには：

この設定を変更して同じコードを再実行すると、次の出力が生成されます。

ptr = 007CBC10
ptr = 007CBC10

「機能」は削除させていただきます唯一のサニタイズ呼び出し、なぜならあなたは同じ場所に二つのポインタを持っている場合は、引用符で囲まれているONEそれらのを。もう1つは無効な場所を指したままになります...

更新：

さらに5年間のC ++プログラミングの経験を経て、この問題全体が基本的に問題点であることに気づきました。C ++プログラマーであり、スマートポインター（この問題全体を回避する）の代わりにrawポインターを引き続き使用newしdeleteて管理している場合は、Cプログラマーになるためのキャリアパスの変更を検討することをお勧めします。;）

/sdlコンパイルオプションの副作用が表示されます。VS2015プロジェクトのデフォルトでオンになっているため、/ gsによって提供されるもの以外の追加のセキュリティチェックが可能になります。プロジェクト>プロパティ> C / C ++>一般> SDLチェック設定を使用して変更します。

MSDNの記事からの引用：

• 限られたポインターのサニタイズを実行します。逆参照を含まない式、およびユーザー定義のデストラクタを持たない型では、deleteの呼び出し後にポインタ参照が無効なアドレスに設定されます。これは、古いポインタ参照の再利用を防ぐのに役立ちます。

MSVCを使用する場合、削除されたポインタをNULLに設定することは悪い習慣であることを覚えておいてください。デバッグヒープとこの/ sdlオプションの両方から得られるヘルプを無効にし、プログラムで無効な解放/削除呼び出しを検出できなくなります。

また、ポインタが再度割り当てられるか、NULLに設定されるまで、ポインタは引き続き同じ場所を指すことを示しています。

これは間違いのある情報です。

明らかに、deleteが呼び出されると、ポインターが指しているアドレスが変更されます！

なぜこうなった？これは特にVisual Studioと関係がありますか？

これは明らかに言語仕様の範囲内です。ptrの呼び出し後は無効になりますdelete。ptrそれがdeleted になった後に使用すると、未定義の動作の原因になります。しないでください。ランタイム環境はptr、を呼び出した後、自由に何でも実行できますdelete。

削除がそれが指しているアドレスを変更できるとしたら、削除によって、ポインタがランダムなアドレスの代わりにNULLに自動的に設定されないのはなぜですか？

ポインターの値を古い値に変更することは、言語仕様の範囲内です。それをNULLに変更する限り、それは悪いことだと私は言うでしょう。ポインターの値がNULLに設定されている場合、プログラムはより健全な方法で動作します。しかし、それは問題を隠します。プログラムが別の最適化設定でコンパイルされているか、別の環境に移植されている場合、問題は最も不都合な瞬間に現れる可能性があります。

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

一般に、無効なポインターの値（上記のように、これは逆参照とは異なります）を読み取ること（ポインターが無効になると、ポインターが無効になるなどdelete）は、実装で定義された動作です。これはCWG＃1438で導入されました。こちらもご覧ください。

以前は、無効なポインタの値を読み取ることは未定義の動作でした。そのため、上記の動作は未定義の動作であり、つまり、何かが発生する可能性があることに注意してください。

私はあなたが何らかのデバッグモードを実行していて、VSがポインタを既知の場所に再ポイントしようとしているので、それを逆参照しようとするとさらに追跡および報告できると思います。同じプログラムをリリースモードでコンパイル/実行してみてください。

delete効率を上げるため、および安全性について誤った考えを与えないために、ポインターは通常、内部で変更されません。削除されるポインターは、この場所を指す複数のポインターの1つにすぎない可能性が高いため、削除ポインターを事前定義された値に設定しても、ほとんどの複雑なシナリオでは役に立ちません。

実は、いつものように考えれば考えるほど、VSのせいだと思うようになります。ポインターがconstの場合はどうなりますか？それはまだそれを変えるつもりですか？

ポインタを削除した後、それが指しているメモリはまだ有効である可能性があります。このエラーを明示するために、ポインター値は明白な値に設定されます。これは本当にデバッグプロセスに役立ちます。値がに設定されてNULLいる場合、プログラムフローの潜在的なバグとして表示されることはありません。そのため、後でに対してテストするときにバグを隠す可能性がありますNULL。

別のポイントは、一部のランタイムオプティマイザがその値をチェックし、その結果を変更する可能性があることです。

以前のバージョンでは、MSは値をに設定していました0xcfffffff。