else 总与前面最近的未配对 if 绑定，与缩进无关；if/else 后无{}时仅控制下一行语句；应始终用{}明确作用域，避免悬空else错误。
悬空else到底配对谁？
编译器永远把 else 和它**前面最近的、尚未配对的 if** 绑定，不管缩进怎么写。比如：
if (x > 0)
if (y > 0)
cout << "both positive";
else
cout << "x <= 0";这个 else 实际绑定的是内层 if (y > 0)，不是外层 if (x > 0)——即使看起来像。这是悬空else问题的根源。
不加花括号时，if 和 else 只控制一条语句
if 和 else 后面如果不加 {}，它们只管辖紧跟着的那一行（严格说是下一个“语句”，包括空语句或复合语句）。常见误写：
if (flag)
x = 1;
y = 2; // 这行永远执行，和 if 无关！
else
z = 3;这里 else 会报错：因为 if 后面只有 x = 1; 一条语句，y = 2; 是独立语句，导致 else 没有可配对的 if。
立即学习“C++免费学习笔记（深入）”；
- 用
{}显式包裹所有分支体，哪怕只有一行 - 别依赖缩进判断逻辑归属
- 现代编辑器（如 VS Code、CLion）开启“显示不可见字符”，能一眼看出语句实际归属
嵌套 if-else 必须用 {} 划清作用域
想让 else 属于外层 if，就必须切断它和内层 if 的自动配对机会：
if (x > 0) {
if (y > 0) {
cout << "both positive";
}
} else { // 这个 else 明确属于外层 if
cout << "x <= 0";
}或者更清晰地展平结构：
if (x > 0 && y > 0) {
cout << "both positive";
} else if (x <= 0) {
cout << "x <= 0";
}- 每个
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行，尤其在条件复杂或多人协作的模块里
括号不是装饰，是给编译器、队友和三个月后的你自己看的契约。漏掉一次，就可能埋一个靠调试半小时才定位的逻辑偏移。
