ValgrindのDefinetely Lostの意味や実際のサンプルをご紹介

明らかなるメモリリークで、最も緊急性が高いステータスです。ヒープ領域のメモリ（newによる動的割当て等）が解放されずに、なおかつメモリへのポインタが残っておらず、解放したくともアクセスが出来ない状況下で発生します。

 

（例）メソッドの中で確保したメモリがメソッドを抜けた後に使用不可になる

 

例えば、new char[3]でchar型の配列のメモリを動的に確保します。その先頭の要素（アドレス「0xdafeb8」）へのポインタを「*x1」に格納し、メモリを解放しないままmain文を抜けると、メモリへのポインタが失われてしまい「Definetely Lost」が発生します。

 

（図１１１）

前述の（図１１１）の状況を実際に再現したのが次の（例１）のサンプルプログラムです。

 

（例１）

#include <stdlib.h>
int main()
{
    char *x1 = new char[3];

    return 0;
}

＞目次にもどる

上記のサンプルプログラムをコンパイルし、valgrindコマンドでメモリリークチェック（⇒★）を実行した際の出力結果をご紹介します。

 

（出力サンプル）

==13514== HEAP SUMMARY:
==13514==     in use at exit: 100 bytes in 1 blocks
==13514==   total heap usage: 1 allocs, 0 frees, 100 bytes allocated
==13514==
==13514== 100 bytes in 1 blocks are definitely lost in loss record 1 of 1
==13514==    at 0x4C2C866: operator new[](unsigned long) (vg_replace_malloc.c:579)
==13514==    by 0x40059E: main (memorytest.cpp:5)
==13514==
==13514== LEAK SUMMARY:
==13514==    definitely lost: 100 bytes in 1 blocks
==13514==    indirectly lost: 0 bytes in 0 blocks
==13514==      possibly lost: 0 bytes in 0 blocks
==13514==    still reachable: 0 bytes in 0 blocks
==13514==         suppressed: 0 bytes in 0 blocks

（図１３１）

先程のプログラムに対して、メモリの解放を追記して「Definetely Lost」の状況をも改善したバージョンもご紹介します（delete []x1;を追記したのみです）。

 

（例２）

#include <stdlib.h>
int main()
{
    char *x1 = new char[100];
    delete []x1;

    return 0;
}

メモリ解放を追記すると「still reachable」が表示されなくなりました。

（出力サンプル）

==32059== HEAP SUMMARY:
==32059==     in use at exit: 0 bytes in 0 blocks
==32059==   total heap usage: 1 allocs, 1 frees, 100 bytes allocated
==32059==
==32059== All heap blocks were freed -- no leaks are possible
==32059==
==32059== For lists of detected and suppressed errors, rerun with: -s
==32059== ERROR SUMMARY: 0 errors from 0 contexts (suppressed: 0 from 0)