C-Style-Arrayからメモリを解放してください。

Question

生のポインタによって作成されたCスタイルの配列についてのアイデアを得るための短いコードを書いています。今日このメソッドを使用するのは珍しいことですが、試してみたいと思います。だからここに私のコードです：

#include <iostream> 

int main() { 
    int *ptr = new int[5]; 
    for(unsigned int counter = 0; counter < 5; counter++) { 
     ptr[counter] = counter * counter; 
     std::cout << ptr[counter] << std::endl; 
    } 

    delete [] ptr; 

    std::cout << ptr[2] << std::endl; // Contains still a value 
} 

出力：

0 
1 
4 
9 
16 
4 

その非常に単純なコード、私はちょうど5「INT」の文字のメモリフィールドを作成し、いくつかの数字でこれらを埋めてきました。私は、メモリリークを避けるために使用後に配列ポインタの構造体を削除しますが、私の驚きには、第1と第2のポインタが正しく削除されています。誰もがこの現象の答えを持っていますか？

Answer 1

ステートメントdelete [] ptrが完了すると、ptrのほとんどの使用（何かを指すように再割り当てする以外）は、未定義の動作を示します。

C++標準の "未定義"の意味は、標準で何が起こるかの制約や要件が指定されていないということです。したがって、1つの実装（コンパイラとライブラリ）では、結果を表示することがあります。別のプログラムでは、プログラムを異常終了させることができます。さらに別の実施形態では、プログラムが実行されるたびに観察される挙動が異なる可能性がある。これらのすべての可能性、および他のものは、規格が要件を記述していないため、正しいものです。

具体的には、実装によって提供されたoperator delete []の動作がメモリを上書きせず、プログラムがそのメモリに後でアクセスできないことを意味します。しかし、一連の他の操作（たとえば、別の配列の割り当てなど）が突然表示される結果を変更する可能性がある（またはそうでない）ことがあります。