Boost :: shared_ptrは保存されたポインターを削除せずに解放できますか?
ドキュメントにはリリース関数が存在しないことがわかります。FAQには、リリース関数が提供されない理由が説明されています。一意でないポインターではリリースを実行できないようなものです。私のポインターは一意です。どのようにしてポインターを解放できますか?または、ポインターを解放できるようにする使用するスマートポインタークラスをどのようにブーストしますか?auto_ptrを使用しないでください:)
基本となるポインタを削除しないように要求できる削除機能を使用する必要があります。
この回答を参照 (この質問の複製としてマークされています)詳細については。
しないでください。 BoostのFAQエントリ:
[〜#〜] q [〜#〜]。 shared_ptrがrelease()関数を提供しないのはなぜですか?
[〜#〜] a [〜#〜]。 shared_ptr unique()でない限り、所有権を譲ることはできません。他のコピーがオブジェクトを破壊するためです。
考慮してください:
shared_ptr<int> a(new int); shared_ptr<int> b(a); // a.use_count() == b.use_count() == 2 int * p = a.release(); // Who owns p now? b will still call delete on it in its destructor.
さらに、ソースのshared_ptrはカスタムの削除機能を使用して作成されている可能性があるため、release()によって返されるポインターは、確実に割り当てを解除することが困難です。
そのため、オブジェクトをポイントする唯一のshared_ptrインスタンス(unique()がtrueを返す場合)であり、オブジェクトが特別な削除機能を必要としない場合、これは安全です。そのような.release()関数を使用した場合、私はまだあなたのデザインに質問します。
偽の削除機能を使用できます。その後、ポインタは実際には削除されません。
struct NullDeleter {template<typename T> void operator()(T*) {} };
// pp of type some_t defined somewhere
boost::shared_ptr<some_t> x(pp, NullDeleter() );
子供たちは、これを家でしないでください:
// set smarty to point to nothing
// returns old(smarty.get())
// caller is responsible for the returned pointer (careful)
template <typename T>
T* release (shared_ptr<T>& smarty) {
// sanity check:
assert (smarty.unique());
// only one owner (please don't play games with weak_ptr in another thread)
// would want to check the total count (shared+weak) here
// save the pointer:
T *raw = &*smarty;
// at this point smarty owns raw, can't return it
try {
// an exception here would be quite unpleasant
// now smash smarty:
new (&smarty) shared_ptr<T> ();
// REALLY: don't do it!
// the behaviour is not defined!
// in practice: at least a memory leak!
} catch (...) {
// there is no shared_ptr<T> in smarty zombie now
// can't fix it at this point:
// the only fix would be to retry, and it would probably throw again
// sorry, can't do anything
abort ();
}
// smarty is a fresh shared_ptr<T> that doesn't own raw
// at this point, nobody owns raw, can return it
return raw;
}
では、refカウントの所有者の総数が1より大きいかどうかを確認する方法はありますか?
ポインタが再び何も指さないようにするには、shared_ptr::reset()
を呼び出します。
ただし、これにより、ポインタがオブジェクトへの最後の参照である場合にポイントされているオブジェクトが削除されます。ただし、これはそもそもスマートポインタの望ましい動作です。
オブジェクトを有効に保持しない参照だけが必要な場合は、boost::weak_ptr
を作成できます( boostのドキュメント を参照)。 weak_ptr
はオブジェクトへの参照を保持しますが、参照カウントには追加されないため、弱い参照のみが存在する場合、オブジェクトは削除されます。
共有の基本は信頼です。プログラム内のインスタンスが生のポインタを解放する必要がある場合、ほぼ確実にshared_ptr
は間違ったタイプです。
ただし、別のプロセスヒープから割り当てを解除する必要があったため、最近、私もこれを実行したいと考えました。結局、私はいくつかのstd::shared_ptr
は考え抜かなかった。
私はいつもこのタイプをクリーンアップに使用しました。しかし、ポインタはいくつかの場所で複製されました。実際、私はstd::unique_ptr
、これは(サプライズで)release
関数を持っています。
彼らは彼らが何をしているか知らないので彼らを許してください。この例は、メモリリークなしでboost :: shared_ptrおよびmsvs std :: shared_ptrで動作します。
template <template <typename> class TSharedPtr, typename Type>
Type * release_shared(TSharedPtr<Type> & ptr)
{
//! this struct mimics the data of std:shared_ptr ( or boost::shared_ptr )
struct SharedVoidPtr
{
struct RefCounter
{
long _Uses;
long _Weaks;
};
void * ptr;
RefCounter * refC;
SharedVoidPtr()
{
ptr = refC = nullptr;
}
~SharedVoidPtr()
{
delete refC;
}
};
assert( ptr.unique() );
Type * t = ptr.get();
SharedVoidPtr sp; // create dummy shared_ptr
TSharedPtr<Type> * spPtr = (TSharedPtr<Type>*)( &sp );
spPtr->swap(ptr); // swap the contents
ptr.reset();
// now the xxx::shared_ptr is empy and
// SharedVoidPtr releases the raw poiter but deletes the underlying counter data
return t;
}
あなたの質問がこれを達成することに関するものであるかどうかは完全にはわかりませんが、shared_ptr
、ここで、1つの値を解放した場合shared_ptr
、同じ値への他のすべての共有ポインタはnullptrになるので、unique_ptr
はshared_ptr
その動作を実現します。
void print(std::string name, std::shared_ptr<std::unique_ptr<int>>& ptr)
{
if(ptr == nullptr || *ptr == nullptr)
{
std::cout << name << " points to nullptr" << std::endl;
}
else
{
std::cout << name << " points to value " << *(*ptr) << std::endl;
}
}
int main()
{
std::shared_ptr<std::unique_ptr<int>> original;
original = std::make_shared<std::unique_ptr<int>>(std::make_unique<int>(50));
std::shared_ptr<std::unique_ptr<int>> shared_original = original;
std::shared_ptr<std::unique_ptr<int>> thief = nullptr;
print(std::string("original"), original);
print(std::string("shared_original"), shared_original);
print(std::string("thief"), thief);
thief = std::make_shared<std::unique_ptr<int>>(original->release());
print(std::string("original"), original);
print(std::string("shared_original"), shared_original);
print(std::string("thief"), thief);
return 0;
}
出力:
original points to value 50
shared_original points to value 50
thief points to nullptr
original points to nullptr
shared_original points to nullptr
thief points to value 50
この動作により、リソース(配列など)を共有し、後でそのリソースを再利用しながら、このリソースへのすべての共有参照を無効にすることができます。
共有ポインタは削除できますが、これは私にはほとんど同じです。ポインタが常に一意である場合、std::auto_ptr<>
は良い選択です。一意のポインタはSTLコンテナでは使用できません。それらに対する操作は、多くのコピーと一時的な複製を行うためです。
ポインタが実際に一意である場合、コンパイラで前者を使用できない場合はstd::unique_ptr
またはboost::scoped_ptr
を使用してください。それ以外の場合は、boost::shared_ptr
とboost::weak_ptr
の組み合わせを検討してください。詳細は Boostのドキュメント をご覧ください。
生のHTTPRequestHandler *を返すことを期待するPoco :: HTTPRequestHandlerFactoryを使用していますが、Pocoフレームワークは、リクエストが完了するとハンドラを削除します。
また、DI Sauceプロジェクトを使用してコントローラーを作成しますが、インジェクターは直接返すことができないshared_ptrを返します。この関数がshared_ptrを返すとすぐにスコープ外になり、ハンドラーを削除するため、handler.get()を返すのも適切ではありません。実行される前に、ここで.release()メソッドを使用するのが合理的(と思う)な理由です。私は次のようにHTTPRequestHandlerWrapperクラスを作成しました:-
class HTTPRequestHandlerWrapper : public HTTPRequestHandler {
private:
sauce::shared_ptr<HTTPRequestHandler> _handler;
public:
HTTPRequestHandlerWrapper(sauce::shared_ptr<HTTPRequestHandler> handler) {
_handler = handler;
}
virtual void handleRequest(HTTPServerRequest& request, HTTPServerResponse& response) {
return _handler->handleRequest(request, response);
}
};
そして工場は
HTTPRequestHandler* HttpHandlerFactory::createRequestHandler(const HTTPServerRequest& request) {
URI uri = URI(request.getURI());
auto path = uri.getPath();
auto method = request.getMethod();
sauce::shared_ptr<HTTPRequestHandler> handler = _injector->get<HTTPRequestHandler>(method + ":" + path);
return new HTTPRequestHandlerWrapper(handler);
}
ソースとポコの両方を満たし、うまく機能しました。
これはうまくいくかもしれないハックです。あなたが本当の束縛にならなければ、私はそれをお勧めしません。
template<typename T>
T * release_shared(std::shared_ptr<T> & shared)
{
static std::vector<std::shared_ptr<T> > graveyard;
graveyard.Push_back(shared);
shared.reset();
return graveyard.back().get();
}
非同期ハンドラーを介してポインターを渡し、障害が発生した場合に自己破壊動作を維持する必要がありましたが、最終的なAPIは生のポインターを予期していたため、この関数を単一のshared_ptrから解放しました。
_#include <memory>
template<typename T>
T * release(std::shared_ptr<T> & ptr)
{
struct { void operator()(T *) {} } NoDelete;
T * t = nullptr;
if (ptr.use_count() == 1)
{
t = ptr.get();
ptr.template reset<T>(nullptr, NoDelete);
}
return t;
}
_
ptr.use_count() != 1
の場合、代わりにnullptr
を取得します。