標準コンテナでstd :: auto_ptr <>を使用するのはなぜ間違っているのですか？

std::auto_ptr<>標準のコンテナで使用するのはなぜ間違っているのですか？

C ++標準では、STL要素は「コピー構築可能」かつ「割り当て可能」である必要があると規定されています。つまり、要素は割り当てまたはコピー可能である必要があり、2つの要素は論理的に独立しています。std::auto_ptrこの要件を満たしていません。

このコードの例を見てみましょう：

class X
{
};

std::vector<std::auto_ptr<X> > vecX;
vecX.push_back(new X);

std::auto_ptr<X> pX = vecX[0];  // vecX[0] is assigned NULL.

この制限を克服するために、あなたが使用する必要がありますstd::unique_ptr、std::shared_ptrまたはstd::weak_ptrあなたがC ++ 11を持っていない場合は、スマートポインタやブースト同等物。 以下は、これらのスマートポインタに関するブーストライブラリのドキュメントです。

のコピーセマンティクスはauto_ptrコンテナと互換性がありません。

具体的には、1つauto_ptrをポインタの所有権を失ったため、1 つを別のオブジェクトにコピーしても、2つの等しいオブジェクトは作成されません。

より具体的には、auto_ptr原因をコピーすると、コピーの1つがポインタを離します。これらのうちどれがコンテナに残っているかは定義されていません。したがって、auto_ptrsコンテナーに格納すると、ポインターへのアクセスがランダムに失われる可能性があります。

このテーマに関する2つの非常に優れた記事：

• スマートポインター-何、なぜ、どちらですか？
• 今週の第一人者＃25

STLコンテナーは、それらに格納されているアイテムをコピーできる必要があり、元のコピーとコピーが同等であることを想定して設計されています。自動ポインタオブジェクトは完全に異なるコントラクトを持ち、それによってコピーは所有権の譲渡を作成します。つまり、auto_ptrのコンテナは、使用方法によっては奇妙な動作を示します。

効果的なSTL（Scott Meyers）項目8に何が問題になるかについての詳細な説明と、効果的なC ++（Scott Meyers）項目13にはそれほど詳細ではない説明があります。

STLコンテナには、含まれているアイテムのコピーが格納されます。auto_ptrをコピーすると、古いptrがnullに設定されます。この動作により、多くのコンテナメソッドが壊れます。

C ++ 03標準（ISO-IEC 14882-2003）は、20.4.5項のパラグラフ3で述べています。

[...] [ 注：[...] auto_ptrは、標準ライブラリコンテナ要素のCopyConstructibleおよびAssignable要件を満たしていないため、標準ライブラリコンテナをauto_ptrでインスタンス化すると、動作が未定義になります。—エンドノート ]

C ++ 11標準（ISO-IEC 14882-2011）は、付録D.10.1の段落3に記載されています。

[...] 注：[...] auto_ptrのインスタンスは、MoveConstructibleおよびMoveAssignableの要件を満たしていますが、CopyConstructibleおよびCopyAssignableの要件を満たしていません。—エンドノート]

C ++ 14標準（ISO-IEC 14882-2014）は、付録C.4.2付録Dで述べています：互換性機能：

変更：クラステンプレートauto_ptr、unary_function、binary_function、関数テンプレートrandom_shuffle、関数テンプレート（およびそれらの戻り型）ptr_fun、mem_fun、mem_fun_ref、bind1st、bind2ndは定義されていません。
理論的根拠：新しい機能に置き換えられました。
元の機能への影響：これらのクラステンプレートと関数テンプレートを使用する有効なC ++ 2014コードは、この国際標準でコンパイルできない場合があります。