＜目次＞
(１) ValgrindのDefinetely Lostの意味や実際のサンプルをご紹介
(１-１) Valgrindの「Definetely Lost」はどんな状況？
(１-２) 例１：サンプルプログラム
(１-３) 例１：Valgrindのメモリリーク確認結果
(１-４) 例２：サンプルプログラム（Definetely Lost）
(１) ValgrindのDefinetely Lostの意味や実際のサンプルをご紹介
本記事ではValgrindにおけるメモリリークのカテゴリの１つである「Definetely Lost」についてご紹介します。
(１-１) 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のメモリリーク確認結果
上記のサンプルプログラムをコンパイルし、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
（図１３１）
（補足）結果の見方について
・「loss record 1 of 1」の箇所で、割り当て１つに対して、解放が０である事を意味しています（「N of N」でN個の割り当てに対してN個の解放漏れの意味）。
・またメモリリークが発生したメモリの割り当て箇所についても結果に示されており、今回の例では「by 0x40059E: main (memorytest.cpp:5)」から5行目で発生している事が分かります。
(１-４) 例２：サンプルプログラム（Definetely Lost）
先程のプログラムに対して、メモリの解放を追記して「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)
（図１４２）
