なぜshared_ptr <void>は特化していないのですか？

Question

shared_ptr<void>は、void*でdeleteを呼び出して、定義されていない動作を呼び出すという点で特別です。

なぜ、コンパイルエラーをスローするshared_ptr<void>特殊化がないのですか？あなたのポインタがmallocのようなものを使用して作成された場合

Answer 1

shared_ptr<T>は、T*に変換可能な任意のポインタ型へのポインタを保持でき、UBなしで適切なdeleterを使用するという点で特別です！これは、shared_ptr<Base> p(new Derived);シナリオで動作しますが、shared_ptr<void>も含まれます。例えば

：

#include <boost/shared_ptr.hpp> 

struct T { 
    T() { std::cout << "T()\n"; } 
    ~T() { std::cout << "~T()\n"; } 
}; 


int main() { 
    boost::shared_ptr<void> sp(new T); 
} 

は出力を生成します。

$ ./test 
T() 
~T() 

あなたがhttp://www.boost.org/doc/libs/1_47_0/libs/smart_ptr/shared_ptr.htmを訪問すれば、立証されている非常にものを見るために割り当てセクションまでスクロールします。詳細は、http://www.boost.org/doc/libs/1_47_0/libs/smart_ptr/sp_techniques.html#pvoidを参照してください。

EDIT trinithisによって示されるように、コンストラクタに渡されたポインタの種類がvoid *ポインタである場合、それは、 UBあります。それを指摘してくれてありがとう！

Answer 2

、あなたはdtorがfreeを呼び出すshared_ptr<void, dtor>を行うことができます。これにより、定義された動作が発生します。その後、

しかし、再び、おそらくあなたは未定義の動作をしたい：D

Answer 3

しかし、それは、多くの状況では、有効です。次のことを考えてみましょう：

class T 
{ 
public: 
    ~T() { std::cout << "~T\n"; } 
}; 

int main() 
{ 
    boost::shared_ptr<void> sp(new T); 
} 

あなたはコンパイルエラーを取得する必要があり、shared_ptrコンストラクタに本物void *を渡すようにしてみてくださいな状況で。

Answer 4

Using shared_ptr to hold an arbitrary object

のshared_ptrはvoid *に似た一般的なオブジェクトのポインタとして機能することができます。 shared_ptrのインスタンスを構築する場合：

shared_ptr<void> pv(new X); 

が破壊され、それが正しく〜Xを実行することにより、Xオブジェクトを処分します。

このプロパティは、オブジェクトのポインタから型情報を一時的に取り除くためにraw void *を使用するのとほぼ同じ方法で使用できます。 shared_ptrは後でstatic_pointer_castを使用して正しいタイプにキャストバックできます。

どのようにですか？

This constructor has been changed to a template in order to remember the actual pointer type passed. The destructor will call delete with the same pointer, complete with its original type, even when T does not have a virtual destructor, or is void