スマートポインタを使用しても例外でC++のリークが発生する

Question

スマートポインタの世界は初めてです。私は読んだことがあり、スマートポインタは例外が発生した後にプログラムが終了してもメモリがリークするのを避けると述べています。

私はこれを試してみるための簡単なプログラムを書きましたが、Valgrindは私のプログラムがメモリを漏らしていると教えています（3つのallocsと1つだけfree）。

#include <iostream> 
#include <memory> 

using namespace std; 

int main() 
{ 
    auto_ptr<int> ptr_int(new int(5)); 

    throw std::bad_alloc(); 

    cout << *ptr_int; 
} 

そして、このValgrindのレポート：

これは、ソースコードがある

==27862== Memcheck, a memory error detector 
==27862== Copyright (C) 2002-2010, and GNU GPL'd, by Julian Seward et al. 
==27862== Using Valgrind-3.6.0.SVN-Debian and LibVEX; rerun with -h for copyright info 
==27862== Command: ./smart_pointers 
==27862== Parent PID: 5388 
==27862== 
==27862== 
==27862== HEAP SUMMARY: 
==27862==  in use at exit: 104 bytes in 2 blocks 
==27862== total heap usage: 3 allocs, 1 frees, 120 bytes allocated 
==27862== 
==27862== 4 bytes in 1 blocks are still reachable in loss record 1 of 2 
==27862== at 0x4026351: operator new(unsigned int) (vg_replace_malloc.c:255) 
==27862== by 0x804878A: main (smart_pointers.cpp:8) 
==27862== 
==27862== 100 bytes in 1 blocks are possibly lost in loss record 2 of 2 
==27862== at 0x4025BD3: malloc (vg_replace_malloc.c:236) 
==27862== by 0x40E861A: __cxa_allocate_exception (in /usr/lib/libstdc++.so.6.0.14) 
==27862== by 0x80487AE: main (smart_pointers.cpp:10) 
==27862== 
==27862== LEAK SUMMARY: 
==27862== definitely lost: 0 bytes in 0 blocks 
==27862== indirectly lost: 0 bytes in 0 blocks 
==27862==  possibly lost: 100 bytes in 1 blocks 
==27862== still reachable: 4 bytes in 1 blocks 
==27862==   suppressed: 0 bytes in 0 blocks 
==27862== 
==27862== For counts of detected and suppressed errors, rerun with: -v 
==27862== ERROR SUMMARY: 1 errors from 1 contexts (suppressed: 19 from 8) 

スマートポインタは、割り当てられたリソースは、例外が現れた場合でも破壊されることを保証使用していますか？

Answer 1

、およびメモリなどのあなたは、そのスタックに割り当てられましたスマートポインタによって管理されているにもかかわらず、フレームリークが発生します。 std::bad_allocをmain()にキャッチして正常に戻ると、スマートポインタがその役割を果たします。

Answer 2

例外が処理されない場合は、std::terminateを呼び出す前にスタックが解消されるかどうかは実装定義です。

例外を処理する場合、スマートポインタは期待どおりに動作します。

参考：いくつかの状況の例外処理で

C++ 11 15.5.1 std::terminate()関数は以下の微妙なエラー処理技法のために放棄されなければなりません。これらの状況は以下のとおりです。

........

- 例外処理メカニズムがスローされた例外のハンドラを見つけることができない、または

........

2この場合、std::terminate()が呼び出されます。 一致するハンドラが見つからない状況では、std::terminate()がと呼ばれる前にスタックが巻き戻されるかどうかは実装定義されます。

、通常のクリーンアップは、（少なくとも main()のスタック・フレームのために）実行されません（キャッチされない例外の場合のように） std::terminate()が呼び出される

Answer 3

例外がキャッチされない場合、スタックアンワインドは実装固有のものです。したがって、あなたのケースでは、メモリを解放しません。

また、auto_ptrはもはや推奨されません。

使用のstd :: unique_ptrを：

unique_ptr<int> ptr_int(new int(5));