else 总与前面最近的未配对 if 绑定，与缩进无关；if/else 后无{}时仅控制下一行语句；应始终用{}明确作用域，避免悬空else错误。
悬空else到底配对谁？
编译器永远把 else 和它**前面最近的、尚未配对的 if** 绑定，不管缩进怎么写。比如：
if (x > 0)
if (y > 0)
cout <p>这个 <code>else</code> 实际绑定的是内层 <code>if (y > 0)</code>，不是外层 <code>if (x > 0)</code>——即使看起来像。这是悬空else问题的根源。</p><h3>不加花括号时，<code>if</code> 和 <code>else</code> 只控制一条语句</h3><p><code>if</code> 和 <code>else</code> 后面如果不加 <code>{}</code>，它们只管辖紧跟着的那一行（严格说是下一个“语句”，包括空语句或复合语句）。常见误写：</p><pre class="brush:php;toolbar:false;">if (flag)
x = 1;
y = 2; // 这行永远执行，和 if 无关！
else
z = 3;这里 else 会报错：因为 if 后面只有 x = 1; 一条语句，y = 2; 是独立语句，导致 else 没有可配对的 if。
- 用
{}显式包裹所有分支体，哪怕只有一行 - 别依赖缩进判断逻辑归属
- 现代编辑器（如 VS Code、CLion）开启“显示不可见字符”，能一眼看出语句实际归属
嵌套 if-else 必须用 {} 划清作用域
想让 else 属于外层 if，就必须切断它和内层 if 的自动配对机会：
if (x > 0) {
if (y > 0) {
cout <p>或者更清晰地展平结构：</p><pre class="brush:php;toolbar:false;">if (x > 0 && y > 0) {
cout
- 每个
if、else、else if都带{}，不省略 - 避免写
if (a) if (b) ... else ...这类无括号嵌套 - 静态分析工具（如 clang-tidy）可配置检查
cppcoreguidelines-pro-bounds-arrays类规则，但悬空else需靠readability-braces-around-statements规则捕获
IDE 和 linter 能帮你发现但不能替你决策
Clangd、Cppcheck 或 GitHub Copilot 在你敲下 else 时可能高亮警告，但它没法知道你“本意”想配对哪一层——它只按标准规则匹配。真正防住歧义的，是你写代码时的确定性：
- 写完每个
if立刻补上{}，再填内容 - 重构嵌套前，先确保所有分支已有括号
- Code review 时重点扫一眼有没有裸
if/else行，尤其在条件复杂或多人协作的模块里
括号不是装饰，是给编译器、队友和三个月后的你自己看的契约。漏掉一次，就可能埋一个靠调试半小时才定位的逻辑偏移。
C++免费学习笔记（深入）：立即使用
在学习笔记中，你将探索 C++ 的入门与实战技巧！
