守卫语句是现代C++中高频、低开销、高可读的控制流组织方式，用于函数入口快速拦截非法输入或不满足前置条件的情况，避免嵌套加深、逻辑分散和异常路径遗漏。
守卫语句（guard clause）不是 C++ 专有概念，但它是现代 C++ 工程中高频、低开销、高可读的控制流组织方式。它适合在函数入口快速拦截非法输入或不满足前置条件的情况，避免嵌套加深、逻辑分散、异常路径遗漏。
函数开头做参数校验时必须用守卫语句
当函数依赖某些前提（如指针非空、索引合法、枚举值在有效范围内），用 if (!ptr) return; 或 if (idx >= size) return; 比把主逻辑包在 if (ptr && idx 里更清晰。深层嵌套会让后续代码缩进失控，也容易漏掉某条分支的清理逻辑。
- 常见错误：把所有检查塞进一个大 if，导致主逻辑缩进四层以上，review 时一眼扫不到核心路径
- 性能影响：守卫语句是分支预测友好的，现代 CPU 对这种“早返回”模式优化得很好，几乎无额外开销
- 异常安全无关：守卫语句本身不涉及资源管理，但它为后续 RAII 或 scope_guard 的使用腾出干净的作用域
需要提前退出且不触发资源清理时慎用守卫语句
如果你已在作用域内构造了 std::lock_guard、scope_guard 或其他 RAII 对象，守卫语句的 return 是安全的——析构会自动执行。但若你手动管理资源（比如裸指针 + delete、fopen/fclose），守卫语句就可能跳过清理，造成泄漏。
- 正确场景：
std::lock_guard<:mutex> g(mtx); if (invalid) return;</:mutex>→ 锁会被释放 - 危险场景：
FILE* f = fopen(...); if (!f) return;→ 后续没机会fclose，但这里其实不该用守卫，而该用std::unique_ptr<file decltype></file>封装 - 关键判断点：看当前作用域里有没有已构造、且析构行为符合预期的 RAII 对象
和 scope_guard 搭配时，守卫语句是天然搭档
scope_guard 的价值在于“不管怎么退出都执行”，而守卫语句决定了“哪些退出是预期中的”。两者组合能清晰分离“前置拦截”和“后置保障”：
立即学习“C++免费学习笔记（深入）”；
void process_request(Request& req) {
if (!req.is_valid()) return; // 守卫：快速拒绝
if (req.type() == kDebug) log_request(req); // 可选副作用
<pre class='brush:php;toolbar:false;'>auto cleanup = make_scope_guard([&]() noexcept {
req.mark_processed(); // 保证执行，哪怕中间 throw
});
if (!authorize(req)) return; // 守卫：权限检查
execute(req); // 核心逻辑}
- 守卫语句负责“什么情况下不该继续”，
scope_guard负责“只要开始做了就得收尾” - 不要在守卫语句里调用可能抛异常的函数（如
throw std::runtime_error），否则会绕过noexcept的scope_guard，导致未定义行为 - 多个守卫语句之间顺序敏感：比如先检查指针再解引用，不能反过来
真正容易被忽略的是守卫语句和 RAII 的耦合边界——它本身不管理资源，但它的存在让 RAII 更可信；一旦你发现某个守卫之后还要手动清理，那说明那里本该用 RAII 封装，而不是靠人脑记住“这个 return 前得 close”。
