このコードにはメモリリークの可能性はありますか？

Question

Josuttis氏は、可能なアロケータ使用（15章）についての例を示します。

void vector<T,Allocator>::reserve(size_type size) 
{ 
    //allocate new memory for size elements 
    T* newmem = alloc.allocate (size); 
    //copy old elements into new memory 
    uninitialized_copy(elems,elems+numElems,newmem); 

uninitialized_copyが失敗した場合はどうなりますか？/

template <class InputIter, class ForwIter> 
    ForwIter uninitialized_copy(lnputIter beg, InputIter end, ForwIter dest) 
    { 
    typedef typename iterator_traits<ForwIter>::value_type VT; 
    ForwIter save(dest); 
    try { 
     for (; beg!=end; ++beg,++dest) { 
      new (static_cast<void*>(&*dest))VT(*beg); 
     } 
     return dest; 
    } 
    catch (...) { 
     for (; save!=dest; ++save) { 
      save->~VT(); 
     } 
     throw; // will ::operator delete() be called to free the previously allocated memory? 
    } 
} 

Answer 1

現状では、あなたのコードますリークメモリ、およびuninitialized_copyはtryに含まれなければなら：任意のメモリリークはありますか魔法（以下のコード内のコメントを参照）と呼ばれる::operator deleteですcatchブロック自体。あまりにもvalgrindの通じ

T* newmem = alloc.allocate (size); 
try { /* copy, reassign pointer, free previous */ } 
catch (...) { alloc.deallocate(newmem); throw; } 

Answer 2

実行それを：周囲のコードは、独自のクリーンアップを実行できるように、コピー操作が失敗したことをアトミックに知らせることが可能であるように、コピー機能の内部で例外を再スローの全体の目的です。それに漏れがある場合、Valgrindも同様にそれらを見つけるでしょう。