"元の"ポインタでdeleteを呼び出す必要があるのはなぜですか？

Question

、私は次のコードで最初のメモリを解放しません削除理由を知りたいと思い

：

#include <list> 
#include <stdio.h> 

struct abc { 
    long a; 

    abc() { 
     puts("const"); 
    } 
    ~abc() { 
     puts("desc"); 
    } 
}; 

int main() { 

    std::list<abc*> test; 

    abc* pA = new abc; 
    printf("pA: 0x%lX\n", (unsigned long int)pA); 
    test.push_back(pA); 

    abc* pB = test.back(); 

    printf("pB: 0x%lX\n", (unsigned long int)pB); 
    delete pB; // just ~abc() 

    test.pop_back(); 

    delete pA; // ~abc() and free (works) 

    puts("before double-free"); 

    delete pA; // ~abc() and second free (crash) 

    return 0; 
} 

出力は次のとおりです。

const 
pA: 0x93D8008 
pB: 0x93D8008 
desc 
desc 
before double-free 
desc 
*** glibc detected *** ./test: double free or corruption (fasttop): 0x093d8008 *** 
... 

は私もfree()が、同じ行動でそれを試してみました。

Answer 1

delete pA; // ~abc() and free (works) 

puts("before double-free"); 

delete pA; // ~abc() and second free (crash) 

これらdelete文はdelete pBを追記必要ないです。 delete pBはデストラクタだけを呼び出すと誤解しています。いいえ、デストラクタを呼び出し、メモリを解放します。すでにdelete pBを書いてきたので、

はまた、次の2つの別のdelete式は何が起こることができることを意味、undefined behaviorを呼び出す：プログラムはかがクラッシュしない場合があり！

は、これらのトピックを見てください：newに割り当てられた

• Undefined, unspecified and implementation-defined behavior
• Is there any way to predict the undefined behaviour or implementation defined behaviour?
• What are all the common undefined behaviours that a C++ programmer should know about?

Answer 2

まず、次のことができないfreeメモリ、あなたはdeleteを使用する必要があります。

第2に、glibcがすぐにダブルフリーを検出しないため、を知っていますdelete pB;はそれを解放していません。それはdeleteのもので、自分のログから毎回deleteに同じアドレスを渡しています。

第3に、実際に何を達成しようとしていますか？

Answer 3

最初の削除では、ポインタが無効な状態になります。したがって、そのポインタを使用すると未定義の動作になります。 （最初のコメントで指摘したように）

int* p = new int; 
delete p; 
delete p; //undefined behaviour 

これは、標準による微細であることが保証されています

int* p = new int; 
delete p; 
p = 0; 
delete p; //fine 

Answer 4

それはあなたが二回にdeleteを呼び出すために持っていたあなたのコンパイラ/プラットフォームのちょうどindiosyncracyですglibc前pAを訴え...例えば、gccバージョンのi686-りんごdarwin10-GCC-4.2.1とOSX 10.6.8である私の現在のプラットフォーム上で、私は次のような出力が得られます。

const 
pA: 0x100100080 
pB: 0x100100080 
desc 
desc 
test(14410) malloc: *** error for object 0x100100080: pointer being freed was not allocated 
*** set a breakpoint in malloc_error_break to debug 
Abort trap 

ですから、未定義の動作で標準の結果によって、あなたがNULLまたは0へのポインタを設定していなかったので、pA上deleteへの最初の呼び出しを、見ることができ、Cによってすでに割り当て解除メモリを解放しようとする試みとして捕まるんでした++私のプラットフォームで実行時。

二重削除の結果は「未定義の動作」なので、実際に何が起こるかは実装とプラットフォームによって決まります。

-lmcheckフラグを指定してコンパイルすることで、glibcメモリ整合性チェッカーとのリンクを使用すると、割り当て/解放メモリのエラーを迅速に検出できる場合があります。