ScopeGuard是一种RAII风格的惯用法，用于在作用域退出时自动执行清理逻辑，解决多出口函数中手动清理易遗漏的问题；其核心是栈上对象析构时调用用户提供的可调用对象。
ScopeGuard 是什么，它解决什么问题
ScopeGuard 不是 C++ 标准库的一部分，而是一个惯用模式（idiom），用于在作用域退出时自动执行清理逻辑，类似 RAII，但更轻量、更灵活。它解决的是“必须在函数多个出口处重复写 cleanup 代码”的痛点——比如函数有 return、异常抛出、提前 goto 等多种路径时，手动管理容易遗漏。
它的核心思想是：构造一个对象，在析构时运行用户提供的 lambda 或函数对象；只要该对象是栈上变量，C++ 的栈展开机制就保证它一定会被析构。
如何手写一个最小可用的 ScopeGuard
标准做法是用模板 + lambda + 移动语义封装一个类。注意不能拷贝（避免意外多次执行），只允许移动：
template<typename F>
class ScopeGuard {
F f_;
bool active_ = true;
public:
explicit ScopeGuard(F&& f) : f_(std::move(f)) {}
ScopeGuard(const ScopeGuard&) = delete;
ScopeGuard& operator=(const ScopeGuard&) = delete;
ScopeGuard(ScopeGuard&& other) noexcept : f_(std::move(other.f_)), active_(other.active_) {
other.active_ = false;
}
~ScopeGuard() {
if (active_) f_();
}
};
<p>template<typename F>
ScopeGuard<F> makeScopeGuard(F&& f) {
return ScopeGuard<F>(std::move(f));
}</p>使用时：
立即学习“C++免费学习笔记（深入）”；
void example() {
FILE* fp = fopen("data.txt", "r");
if (!fp) return;
<pre class='brush:php;toolbar:false;'>auto guard = makeScopeGuard([&] { fclose(fp); }); // 析构时自动 fclose
// 中间可能 return、throw、或正常结束，guard 都会触发
char buf[256];
if (fread(buf, 1, sizeof(buf), fp) == 0) return;
// ...} // ← 这里 guard 析构，fclose 被调用
为什么不能直接用 std::unique_ptr 模拟有人尝试用 std::unique_ptr 套空指针加自定义 deleter 实现类似效果，但存在几个硬伤：
-
std::unique_ptr 的 deleter 类型必须在模板参数中写出，lambda 类型无法显式命名，导致无法直接声明变量（除非用 auto + 推导，但限制多）
- 它本质是为“资源所有权”设计的，而
ScopeGuard 关注的是“副作用执行”，语义不同
- 更重要的是：如果 lambda 捕获了局部变量，且
unique_ptr 的 deleter 是值拷贝（默认行为），而 lambda 又是非 mutable 的，那么捕获的变量可能在 guard 构造后被修改，但 deleter 执行时用的是旧副本 —— ScopeGuard 手写版本能更好控制捕获和生命周期
实际项目中该用哪个实现
别自己造轮子，除非你明确知道为什么。推荐两个成熟选择：
-
scope_guard from foonathan::compatibility（轻量、无依赖、头文件即用）
- 如果已在用 Boost，
BOOST_SCOPE_EXIT 宏更直观，但底层仍是类似原理，且宏展开后调试信息稍差
注意一个常见坑：ScopeGuard 对象必须是栈变量，且不能放在 if 分支内却期望在外部作用域生效；也不能通过 new 分配在堆上（那就不会自动析构）；更不能绑定到右值引用再试图延长生命周期（如 auto&& g = makeScopeGuard(...) —— 这在 C++17 后可能因临时对象生命周期规则失效）。
真正容易被忽略的点是：lambda 捕获方式。用 [&] 很方便，但如果 guard 生命周期跨线程、或 lambda 会被存储到容器里，就必须改用 [=] 或显式捕获，并确认所有被捕获对象的生存期确实覆盖到 guard 析构那一刻。
有人尝试用 std::unique_ptr 套空指针加自定义 deleter 实现类似效果，但存在几个硬伤：
-
std::unique_ptr的 deleter 类型必须在模板参数中写出，lambda 类型无法显式命名，导致无法直接声明变量（除非用auto+ 推导，但限制多） - 它本质是为“资源所有权”设计的，而
ScopeGuard关注的是“副作用执行”，语义不同 - 更重要的是：如果 lambda 捕获了局部变量，且
unique_ptr的 deleter 是值拷贝（默认行为），而 lambda 又是非 mutable 的，那么捕获的变量可能在 guard 构造后被修改，但 deleter 执行时用的是旧副本 ——ScopeGuard手写版本能更好控制捕获和生命周期
实际项目中该用哪个实现
别自己造轮子，除非你明确知道为什么。推荐两个成熟选择：
-
scope_guardfrom foonathan::compatibility（轻量、无依赖、头文件即用） - 如果已在用 Boost，
BOOST_SCOPE_EXIT宏更直观，但底层仍是类似原理，且宏展开后调试信息稍差
注意一个常见坑：ScopeGuard 对象必须是栈变量，且不能放在 if 分支内却期望在外部作用域生效；也不能通过 new 分配在堆上（那就不会自动析构）；更不能绑定到右值引用再试图延长生命周期（如 auto&& g = makeScopeGuard(...) —— 这在 C++17 后可能因临时对象生命周期规则失效）。
真正容易被忽略的点是：lambda 捕获方式。用 [&] 很方便，但如果 guard 生命周期跨线程、或 lambda 会被存储到容器里，就必须改用 [=] 或显式捕获，并确认所有被捕获对象的生存期确实覆盖到 guard 析构那一刻。
