在成员函数的范围内，我想暂时将成员变量设置为某个值。
然后，当此函数返回时，我想将此成员变量重置为给定的已知值。
为了防止异常和多次返回，我已经使用类似简单的RAII来完成它。它是在成员函数的范围内定义的。
void MyClass::MyMemberFunction() {
struct SetBackToFalse {
SetBackToFalse(bool* p): m_p(p) {}
~SetBackToFalse() {*m_p=false;}
private:
bool* m_p;
};
m_theVariableToChange = true;
SetBackToFalse resetFalse( &m_theVariableToChange ); // Will reset the variable to false.
// Function body that may throw.
}
看起来很平常，我想知道是否有任何这样的模板类在C ++标准库中这样做？
尚未（已提出此建议）。但实现通用的很简单;
struct scope_exit {
std::function<void()> f_;
explicit scope_exit(std::function<void()> f) noexcept : f_(std::move(f)) {}
~scope_exit() { if (f_) f_(); }
};
// ...
m_theVariableToChange = true;
scope_exit resetFalse([&m_theVariableToChange]() { m_theVariableToChange = false; });
为简单起见，我已经编辑了副本并移动构造函数等...
将它们标记为 = delete 将使上述最小化解决方案。进一步;如果需要可以允许移动，但应禁止复制。
更完整 scope_exit 看起来像（在线演示）;
template <typename F>
struct scope_exit {
F f_;
bool run_;
explicit scope_exit(F f) noexcept : f_(std::move(f)), run_(true) {}
scope_exit(scope_exit&& rhs) noexcept : f_((rhs.run_ = false, std::move(rhs.f_))), run_(true) {}
~scope_exit()
{
if (run_)
f_(); // RAII semantics apply, expected not to throw
}
// "in place" construction expected, no default ctor provided either
// also unclear what should be done with the old functor, should it
// be called since it is no longer needed, or not since *this is not
// going out of scope just yet...
scope_exit& operator=(scope_exit&& rhs) = delete;
// to be explicit...
scope_exit(scope_exit const&) = delete;
scope_exit& operator=(scope_exit const&) = delete;
};
template <typename F>
scope_exit<F> make_scope_exit(F&& f) noexcept
{
return scope_exit<F>{ std::forward<F>(f) };
}
关于执行情况的说明;
std::function<void()> 可以用来擦除仿函数的类型。 std::function<void()> 基于所保持函数的特定异常，在移动构造函数上提供异常保证。找到了此实现的示例 这里noexcept，更多的细节发现在 C ++提案throw，这也与析构函数的默认异常规范上的C ++ 11规范一致。看到 cppreference， 所以Q＆A， GotW＃47 和 HIC ++可以找到其他实现;
你可以'滥用' shared_ptr 为了这：
m_theVariableToChange = true;
std::shared_ptr<void> resetFalse(nullptr, [&](void*){ m_theVariableToChange = false; });
如果有使用担忧 void 作为模板参数 T，我在C ++标准中发现了以下内容：
20.8.2.2§2：
... shared_ptr的模板参数T可以是不完整类型。
这表明了 T 仅用作指针，因此使用 void 应该没事。
没有标准版本。
该 CppGoreGuidelines 支持库（GSL）有一个被称为的通用版本 最后 但那个图书馆还没有生产质量。绝对推荐的做法。
final_action 如果没有合适的资源句柄，则表示清理的对象finally 不那么冗长，也不容易弄错 try/catch。
void f(int n)
{
void* p = malloc(1, n);
auto _ = finally([p] { free(p); });
// ...
}
finally 并不像它那样凌乱 try/catch，但它仍然是临时的。
喜欢适当的资源管理对象。
类似的问题： 最简单，最新的c ++ 11 ScopeGuard
在该线程上描述了一个用于调用任意函数的类似保护。要解决您的问题，请调用一个重置您的变量的lambda。
例如，解决方案来自 这个答案 对于你的代码将是：
scope_guard guard1 = [&]{ m_theVariableToChange = false; };
该线程的另一个答案指出，已经为C ++ 17标准化提出了类似的概念;并且还提供了一个C ++ 03解决方案。