Andrei Alexandrescu と Petru Marginean のスコープ付きガード オブジェクトで遊んでいます
-Wall -Werror でコンパイルすると、「未使用の変数」エラーが発生します。次のコードはLOKIから取得したものです。
class ScopeGuardImplBase
{
ScopeGuardImplBase& operator =(const ScopeGuardImplBase&);
protected:
~ScopeGuardImplBase()
{}
ScopeGuardImplBase(const ScopeGuardImplBase& other) throw()
: dismissed_(other.dismissed_)
{
other.Dismiss();
}
template <typename J>
static void SafeExecute(J& j) throw()
{
if (!j.dismissed_)
try
{
j.Execute();
}
catch(...)
{}
}
mutable bool dismissed_;
public:
ScopeGuardImplBase() throw() : dismissed_(false)
{}
void Dismiss() const throw()
{
dismissed_ = true;
}
};
////////////////////////////////////////////////////////////////
///
/// \typedef typedef const ScopeGuardImplBase& ScopeGuard
/// \ingroup ExceptionGroup
///
/// See Andrei's and Petru Marginean's CUJ article
/// http://www.cuj.com/documents/s=8000/cujcexp1812alexandr/alexandr.htm
///
/// Changes to the original code by Joshua Lehrer:
/// http://www.lehrerfamily.com/scopeguard.html
////////////////////////////////////////////////////////////////
typedef const ScopeGuardImplBase& ScopeGuard;
template <typename F>
class ScopeGuardImpl0 : public ScopeGuardImplBase
{
public:
static ScopeGuardImpl0<F> MakeGuard(F fun)
{
return ScopeGuardImpl0<F>(fun);
}
~ScopeGuardImpl0() throw()
{
SafeExecute(*this);
}
void Execute()
{
fun_();
}
protected:
ScopeGuardImpl0(F fun) : fun_(fun)
{}
F fun_;
};
template <typename F>
inline ScopeGuardImpl0<F> MakeGuard(F fun)
{
return ScopeGuardImpl0<F>::MakeGuard(fun);
}
問題は使用法にあります:
ScopeGuard scope_guard = MakeGuard(&foo);
それはちょうどです
const ScopeGuardImplBase& scope_guard = ScopeGuardImpl0<void(*)()>(&foo);
私は対処の最後にいくつかのアクションを得るためにマクロを使用しています:
#define SCOPE_GUARD ScopedGuard scope_guard = MakeGuard
このようにして、ユーザーは単に呼び出すことができます
SCOPE_GUARD(&foo, param) ...
このマクロは、未使用の警告を無効にするのを困難にします。
-Wno-unused-variableを使用せずに、誰かがこれをよりよく理解し、これに対する解決策を提供できますか?