如何正确运用if语句进行条件判断？

本文共计797个文字，预计阅读时间需要4分钟。

最常见的是将赋值符号=当成比较符号==使用，例如：

另一个高频错误是忘记大括号，导致只有第一行受 if 控制：

if (x > 0) std::cout << "positive"; std::cout << "this always runs"; // 这行永远执行

• 单行分支也建议加 {}，避免后续加代码时出错
• 用 clang++ -Wparentheses 或 g++ -Wparentheses 能捕获 = 误写成 == 的隐患
• if constexpr 是 C++17 新特性，只在编译期求值，不能用来替代运行时 if

else if 和 else 容易漏掉边界情况

多个条件并列时，顺序决定结果。比如判断成绩等级，把 if (score >= 90) 放在最后，score == 95 就永远进不了这个分支。

• 条件区间要互斥且覆盖完整，尤其注意等号位置：>= 和 > 混用容易漏掉临界值
• 最后一个 else 不要省略，哪怕只是写个 std::cerr ，能提前暴露逻辑漏洞
• 浮点数慎用 == 判断，优先用差值比较：std::abs(a - b)

if 里调用函数可能引发未定义行为

当 if 条件表达式中含函数调用，而该函数有副作用（比如修改全局变量、释放资源），顺序就变得关键。C++ 标准不规定子表达式求值顺序。

立即学习“C++免费学习笔记（深入）”；

• 别写类似 if (func1() && func2()) 并依赖 func1 一定先执行——短路求值保证顺序，但 func1() 和 func2() 内部的子表达式仍不确定
• 更安全的做法是拆成两步：bool ok = func1(); if (ok) func2();
• 避免在条件里做内存释放操作，比如 if (delete ptr, ptr == nullptr) —— ptr 已经失效，比较无意义

性能上，if 分支预测失败比代码多更伤

CPU 预测失败一次，可能浪费 10–20 个周期。不是代码行数多就慢，而是分支跳转不可预测才慢。

• 对固定模式的数据（如日志级别开关），用查表或位运算替代长串 if-else if 更快
• 现代编译器（如 g++ -O2）会对简单条件自动优化，但不会重排有副作用的判断逻辑
• 调试时关掉优化（-O0）会让分支行为“看起来”更直观，但不代表运行时真实表现

真正难处理的从来不是语法，而是条件之间的隐含依赖和数据生命周期——比如一个 if 判断基于刚 move 走的对象状态，编译器未必报错，但行为已不可靠。