std :: vectorは例外セーフではありませんか？

Question

生ポインタを格納するときにstd::vectorが例外セーフではなく、その代わりにunique_ptrまたはshared_ptrを使用する必要があると数回言われました。

私の質問は、std::vectorは例外ではないのはなぜですか？これらのクラスはどのように問題を解決しますか？

Answer 1

それは、それはメモリ管理のための生のポインタを使用しています例外安全ではないのですstd::vectorではありません：

：

ベクトルのそれ自体とは何の関係もありません

int main() 
{ 
    try 
    { 
     int* i = new int; 

     throw "oops, memory leak!"; 
    } 
    catch (...){} 
} 

、それは、これを行うことは、まったく同じ問題であるだけということです

int main() 
{ 
    try 
    { 
     std::vector<int*> vi; 
     vi.push_back(new int); 

     throw "oops, memory leak!"; 
    } 
    catch (...){} 
} 

これらの両方 を使用してスマートポインタで固定されています

int main() 
{ 
    try 
    { 
     std::unique_ptr<int> i(new int); 

     std::vector<std::unique_ptr<int>> vi; 
     vi.push_back(std::unique_ptr<int>(new int)); 
     vi.push_back(std::move(i)); 

     throw "vector destroys unique_ptr's...which delete their memory"; 
    } 
    catch (...){} 
} 

（またはshared_ptr、これはより高価です。 Boostのポインタコンテナを使用することもできます。）

Answer 2

「例外ではない」とは、例外の発生時にベクトルが解除されるとメモリリークが発生することを意味します。

Shared_ptrは、ベクトル自体が破棄されたときにポインタによって指されたオブジェクトが削除されることを確認します。

もう1つの方法はBoost pointer containersです。