のweak_ptrの奇妙なコピーコンストラクタ

Question

次のweak_ptrのコンストラクタの2のとおりです。（memoryから） http://msdn.microsoft.com/en-us/library/bb982126.aspx

weak_ptr(const weak_ptr&); 

template<class Other> 
weak_ptr(const weak_ptr<Other>&); 

実際のコード：

weak_ptr(const weak_ptr& _Other) 
{ // construct weak_ptr object for resource pointed to by _Other 
    this->_Resetw(_Other); 
} 

template<class _Ty2> 
weak_ptr(const weak_ptr<_Ty2>& _Other, 
     typename enable_if<is_convertible<_Ty2 *, _Ty *>::value, 
     void *>::type * = 0) 
{ // construct weak_ptr object for resource pointed to by _Other 
    this->_Resetw(_Other); 
} 

Q1：なぜトップコピーコンストラクタでもあるのでしょうか？一番下のケースを含めて、下のケースがすべてのケースを説明するように見えます。それも呼び出されるのですか？もし彼らがそれを含んでいなければ、下の人がそれを取るでしょうか？

質問2：ボトム（テンプレート）コンストラクタの2番目の引数はどうなっていますか？私はSFINAEの側面を理解していると思うが、余分なものがある理由を理解していない::type

Answer 1

Q1）コピーコンストラクタを記述しないと、コンパイラによって生成されないあなたが望むものになります。テンプレート変換コンストラクタはカウントされません。

Q2）T*のように、shared_ptr<T>は、ポインタのレベルで互換性をチェックする必要があります。 T*がU*に変換可能な場合は、一方を他方に割り当てることができます。ポインターとベースを考えてみましょう。 [申し訳ありませんが、あなたが尋ねたものではありませんでした]最終的な引数型は存在する必要がありますが、引数自体を指定する必要もありません。デフォルトの引数を与えることができる型を作る普遍的な方法は、ポインタです。要するに、関数は存在するかもしれないし、存在しないかもしれない型に依存するようにする必要がありますが、実際にユーザーがこれを知る必要はありません。

Answer 2

Re Q1：テンプレート化されたコンストラクタは、コピーを管理していても決して "コピーコンストラクタ"ではありません。ユーザ定義の "コピーコンストラクタ"がない場合、コンパイラは必要に応じてコンパイラを生成します。

Re Q2：2番目の引数、デフォルトで0に設定されたポインタは、enable_ifを配置する場所です。 Boostのドキュメントでそのことについてもっと知ることができます。

乾杯& HTH。、