unique_ptrとshared_ptrを使った奇妙なsegfault

Question

私は奇妙なセグメンテーションに遭遇しました。原因は、実際にバグに私を導いたが、セグメンテーションフォールトがここで発生している理由私はまだ理解していない...コードは次のとおりです。

#include <memory> 
int main(int argc, char **arv) 
{ 
    int *i = new int; 
    std::unique_ptr<int> u1(i); 
    std::unique_ptr<int> u2; 
    u1 = std::move(u2); // line 7 
    std::shared_ptr<int> s1(i); // line 8 
    std::shared_ptr<int> s2; 
    s2 = s1; 
} 

私はG ++ 4.6と-std=c++0xでコンパイルするとセグメンテーション違反を取得します。

私が行7をu2 = std::move(u1);（バグだった）に変更した場合、それは消えます。 8行目をstd::shared_ptr<int> s1(new int(3));に変更した場合（当然のことではありません）、それも消えます。もし私が8行目から削除しても、セグメンテーションはありません。

だから害はありませんが、なぜセグメンテーションがあるべきかわかりません。私が理解する限り、
行7では、空のポインターがu1に割り当てられています。リセットなし（）、スコープの終了はありません。それにもかかわらず、iは無効です。それは意図ですか？つまり、別のオブジェクトが破壊される可能性があるため、ポインタを移動するときには非常に注意する必要があります。

あなたはどう思いますか？私はどうやってこれから身を守るのですか？

おかげで、ステファン

Answer 1

あなたのライン8が間違っている：あなたはunique_ptrでiをキャプチャしたら、あなたは再びいくつか他所有テイクオブジェクトにそれを与えることはありません！すべての所有者が*iを削除しようとしますが、これは間違っています。

std::shared_ptr<int> s1(std::move(u2)); 

は（また、あなたは間違った方法ラウンドu1とu2を持っている。）

Answer 2

このライン：

u1 = std::move(u2); 

がu1によって保存された前回のポインタを削除することができるようになります。したがって、iポインタが解放されます。空ポインタを保持しているshared_ptrを作成すると、未定義の動作になります。