if条件为真时仅执行其后第一个语法单元，即单条语句或大括号内的代码块；缩进不影响逻辑，{}决定作用域；漏写{}会导致后续语句脱离分支控制。
if 条件为真时只执行紧随其后的那一条语句或代码块
条件成立（即表达式求值为非零，通常是 true）时，if 后面**第一个可执行单元**会被执行。这个“单元”可能是单条语句，也可能是用大括号 {} 包裹的语句块。
常见误解是认为缩进决定执行范围——其实缩进只是可读性辅助，真正起作用的是语法结构。
- 没加
{}时，仅下一行（以分号结尾的完整语句）属于if分支 - 加了
{}时，整个花括号内的所有语句都属于该分支 - 如果漏写
{}又写了多行逻辑，只有第一行受if控制，后续行无条件执行
示例：
int x = 5;
if (x > 3)
std::cout << "A"; // ✅ 执行
std::cout << "B"; // ❌ 总是执行，和 if 无关
else 绑定规则：else 总是匹配离它最近的、未配对的 if
多个嵌套 if 时，else 不会跨级匹配。它只认“上一个还没被 else 占用的 if”，跟缩进或换行无关。
立即学习“C++免费学习笔记（深入）”；
- 哪怕中间隔了其他语句或空行，只要那个
if没配else，它就归当前else管 - 想改变绑定关系，必须用
{}显式划分作用域 - 不加
{}的嵌套if极易引发逻辑错误，比如“悬空 else（dangling else）”问题
典型陷阱写法：
if (x > 0)
if (y > 0) std::cout << "both positive";
else
std::cout << "x <= 0"; // 这个 else 实际绑定的是内层 if，不是外层！
条件表达式本身不执行赋值，除非你显式写了 = 或 += 等操作符
if 括号里只是求值，不是执行动作。很多人把 == 误写成 =，导致条件永远为真（或未定义行为）。
-
if (x = 5)是赋值，结果是5（非零 → true），且x被改成了5 -
if (x == 5)才是正确比较 - 编译器通常对
if (x = 5)发出警告，但不会报错；启用-Wparentheses或/W4可捕获这类问题 - 更安全的写法是把常量放左边：
if (5 == x)，这样写成5 = x会直接编译失败
空语句和空块也是合法的执行目标
if 分支可以什么也不做——这在某些控制流设计中是故意为之。
-
if (x > 0);表示“如果 x 大于 0，就什么都不干” -
if (x > 0) {}效果相同，但更清晰 - 注意分号位置：写成
if (x > 0); {}就变成“先执行空语句，再无条件执行空块”，逻辑已变 - 这种写法常见于宏定义、条件编译占位，或配合
continue/break做提前退出
真正容易被忽略的是：**条件判断本身没有副作用，但它的执行路径决定了哪些变量会被读、哪些内存会被访问、哪些函数会被调用——这些才是影响程序行为的关键**。别只盯着“if 成立了”，要盯住它后面实际跑起来的那几行代码。
