C 的 if 判断、排序、求值这三个词单独拎出来都算最基础的知识点。但说实话我这些年帮人 review 代码、带新人上手项目发现这三块恰恰是最容易写出“能跑但有问题”的代码的地方。if 条件误写成赋值、排序边界算错、表达式求值遇到括号就乱套——这些问题我在不同人的代码里见过无数次也亲历过不少。这篇文章就把我实际踩过、用过的经验完整盘一盘从底层原理讲到代码实现再讲到真实项目里的典型坑。无论你是刚学 C 的萌新还是写了几年想回头把基础补扎实的开发者相信都能从中翻到点有用的东西。1. if 判断条件逻辑里的门道远不止 if/else1.1 条件判断的本质表达式求值的结果决定走向if 的本质很简单计算括号里的表达式得到一个值再根据它判断走哪条分支。但这里有个特别容易被忽视的点C 里所有能转换为 bool 的值都能用来做条件。整数 0 是 false非 0 是 true指针非空是 truenullptr 是 false。这种灵活性带来一个好处比如你可以直接写if (ptr)来判断指针非空很顺手但坏处是你很容易把非布尔表达式塞进 if 里然后掉进坑里。最典型的例子就是if (x 3)。你本意是判断 x 是否等于 3结果少写一个等号变成了把 3 赋给 x。赋值表达式的值就是 3非 0所以这个 if 永远为真。更麻烦的是 x 的值还被偷偷改成了 3后面所有用到 x 的地方都会跟着错。这种 bug 编译器不一定会报错排查起来非常耗时。我的习惯是写判断时把常量放左边写成if (3 x)这样万一漏掉等号变成if (3 x)编译器会直接报错因为 3 不是左值没法赋值。这个习惯我从写 C 的年代用到现在帮我省下了大量查错时间。另一个高频坑是浮点数比较。0.1 0.2 0.3这个判断在绝大多数二进制浮点表示下不成立因为 0.1 和 0.2 的二进制表示是无限循环小数存储时会截断运算结果实际是 0.30000000000000004 这个近似值。拿它和 0.3 做精确相等比较结果必然是 false。正确做法是设定一个很小的误差范围 epsilon比较两者绝对值差是否小于 epsilon比如fabs(a - b) 1e-9。如果你在项目里遇到“代码明明算对了但 if 就是不进”这种诡异问题先检查一下是不是浮点数拿 直接比较了一大半原因都在这。至于判断对象是否为空我的建议很明确STL 容器用.empty()而不是size() 0。原因有两层第一是语义更清晰一眼就看出你在判断“空”第二是.empty()在不同实现下的表现更稳定不会因为容器类型不同而出现性能差异。裸指针用ptr nullptr智能指针用!ptr判断为空都是常规操作。1.2 短路求值 和 || 背后隐藏的执行顺序如果你写过ptr ! nullptr *ptr 10这种代码其实你已经在用短路求值了。C 里和||都有短路特性对于a b如果 a 为 false整个表达式已经确定为 falseb 根本不会被求值同理对于a || b如果 a 为 trueb 也不会被求值。这不是编译器的优化而是语言标准明确规定的语义所以你完全可以依赖它。这个特性最常用的场景就是把可能出错的判断放在前面让前面的短路径先拦住它。比如先判断指针是否为空再解引用先检查下标是否越界再访问数组元素先确认文件是否打开再执行读操作。这种“前置守卫 后置操作”的写法是短路求值最典型的应用。我见过有人写if (index size arr[index] target)时没意识到自己已经在用短路后来我让他解释为什么敢这么写他说“反正如果 index 越界就不该访问”其实就是这个道理。但短路求值也有副作用而且很容易被忽略右边的副作用操作可能不会执行。比如func1() || func2()如果 func1() 返回 truefunc2() 根本不会被调用。如果你在 func2() 里做了必须执行的逻辑比如释放资源、计数加一、写入日志那这个操作就会被悄无声息地跳过。写这类逻辑时一定要想清楚两边的调用是否有必须执行的副作用如果有建议拆开先执行不要让副作用被短路吞掉。1.3 实际场景判断质数、闰年、对象为空以及更远的延伸顺着上面的思路我们看几个实际场景。判断质数是最经典的 if 练习题。朴素写法是从 2 试除到 n-1时间复杂度 O(n)。稍微优化一下只需要试除到 sqrt(n)因为如果 n 有一个大于 sqrt(n) 的因子那么一定有一个小于 sqrt(n) 的因子与之对应。继续优化可以先排除偶数再在循环里步进 2甚至用 6k±1 的模式跳过更多候选因子。我平时常用这个版本bool is_prime(int n) { if (n 2) return false; if (n 2 || n 3) return true; if (n % 2 0 || n % 3 0) return false; for (int i 5; i * i n; i 6) { if (n % i 0 || n % (i 2) 0) return false; } return true; }这个版本基于一个数学事实除了 2 和 3所有质数都形如 6k±1所以循环从 5 开始步进 6每次检查 i 和 i2 两个候选因子。配合i * i n的终止条件单次判断的时间复杂度是 O(sqrt(n))常数也很小。要更快的话可以上更进阶的素性检测算法但那是另一个话题。闰年判断是另一个常被拿来练手的场景规则是能被 4 整除但不能被 100 整除或者能被 400 整除。很多初学者会漏掉year % 100 ! 0这个条件结果把 1900 年这种年份误判成闰年。正确的写法我习惯合并到一个 return 里bool is_leap(int year) { return (year % 4 0 year % 100 ! 0) || (year % 400 0); }这个写法把两条规则用短路求值串起来逻辑清晰和规则描述一一对应代码审查时也容易解释。判断类问题的范围其实远不止数值判断。比如二分图判断核心是在图遍历过程中检查相邻节点是否被分配了不同颜色只要有一个相邻节点颜色相同就不是二分图。你会发现它的核心逻辑其实就是几个 if 判断加上一次图遍历。很多看似复杂的算法题抽丝剥茧之后底层都是条件判断在驱动。2. 排序算法实战从冒泡到标准库的演进2.1 冒泡排序最简单也最容易出错的入门算法排序算法是数据结构课程里绕不开的话题很多人的排序启蒙就是冒泡排序。名字生动思路直观但真到写代码的时候细节出错率非常高。我先给一个带优化的完整版void bubble_sort(std::vectorint arr) { int n arr.size(); for (int i 0; i n - 1; i) { bool swapped false; for (int j 0; j n - 1 - i; j) { if (arr[j] arr[j 1]) { std::swap(arr[j], arr[j 1]); swapped true; } } if (!swapped) break; } }这里有两个细节我特别想强调。第一内层循环的 j 范围是n - 1 - i而不是n - 1。每完成一轮最大的元素已经“冒泡”到数组末尾下一轮就不需要再比较已经就位的元素了。如果不管 i 每次都遍历到n - 1结果虽然也对但白白做了很多无意义的比较。第二swapped 标志位的优化非常实用。设想一个已经有序的数组不加这个标志外层依然要走 n-1 轮加了标志后第一轮遍历发现没有任何交换直接 break整个排序结束时间复杂度从 O(n^2) 直接降到 O(n)。这个优化在几乎有序的数据上效果拔群。为什么叫“冒泡”每次相邻元素比较顺序不对就交换你会在脑海里看到最大的元素一路向后“浮”就像气泡从水底升到水面一样。这个类比一开始可能觉得幼稚但真的能帮你记住内层循环的方向和范围。2.2 选择排序与插入排序思路不同稳定性也不一样选择排序的思路和冒泡完全不同每一轮从待排序区间里挑出最小的元素放到区间开头。它的比较次数固定但交换次数很少每轮最多一次交换。代码也更简洁void selection_sort(std::vectorint arr) { int n arr.size(); for (int i 0; i n - 1; i) { int min_idx i; for (int j i 1; j n; j) { if (arr[j] arr[min_idx]) min_idx j; } if (min_idx ! i) std::swap(arr[i], arr[min_idx]); } }这里有个很有意思的点选择排序是不稳定排序。如果数组里有两个相等的元素比如 5a 和 5b我用 a、b 区分它们的前后位置这两个相等元素可能被分别选到不同轮次进行交换相对顺序可能被颠倒。而冒泡排序只要比较条件写成arr[j] arr[j1]相等的元素就不会交换所以它是稳定的。稳定性在真实场景里很重要比如你先按时间排序再按优先级排序如果用的是稳定排序第二次排序会保留第一次排序的相对顺序。插入排序则是另一种思路像打扑克牌理牌一样把每张新牌插入到已排好序的牌堆中的正确位置。它对几乎有序的数据表现非常好时间复杂度可以达到 O(n)所以很多实际排序库会在小区间内切换到插入排序。我建议初学者把冒泡、选择、插入这三种 O(n^2) 排序都亲手写一遍感受一下同样时间复杂度的算法思路和特性差异可以有多大。2.3 实战选型什么时候手写排序什么时候交给标准库实际项目里我的态度很明确除非是为了应付面试、竞赛或者课程设计的特定要求否则不要手写排序直接用std::sort。标准库的排序是经过大量优化的混合算法通常融合了快速排序、堆排序和插入排序平均时间复杂度 O(n log n)而且通常比你手写的排序快几个数量级。手写排序的意义在于理解算法思想而不是在生产代码里重复造轮子。如果排序对象不是简单类型而是结构体或类对象你需要提供比较规则。这里有个关键的 if 判断——比较谓词的写法。比如按年龄排序员工std::sort(employees.begin(), employees.end(), [](const Employee a, const Employee b) { return a.age b.age; });谓词必须实现“严格弱序”简单说就是相等或不可比较的对象comp(a, b)和comp(b, a)都必须返回 false否则排序结果不可预期甚至可能崩溃。我见过有人图省事直接写return a.age b.age这就违反了严格弱序因为 a 和 b 相等时comp(a, b)和comp(b, a)都为 true。你看着觉得差不多std::sort却可能因此产生未定义行为排出来的顺序千奇百怪。这是必须记牢的坑。如果你需要保留相等元素的原始相对顺序就要用std::stable_sort。它通常比std::sort慢一点因为保持稳定性需要额外空间或更复杂的操作。我的选择原则是默认用std::sort确认需要稳定性才用std::stable_sort。3. 表达式求值从算术表达式到逆波兰的栈之旅3.1 为什么中缀表达式需要转换优先级与括号的难题表达式求值是栈应用的经典题目也是很多课程设计里的常客。我们平时手写的算式是“中缀表达式”比如3 4 * 2 - (1 3) / 2。人可以一眼看出应该先算乘除再算加减先算括号里再算括号外。但计算机从左到右扫描一遍如果没有优先级和括号信息直接按顺序算就会全错。标准做法是先把中缀表达式转换成“后缀表达式”逆波兰式把运算符放到它操作数后面3 4 2 * 1 3 2 / -。后缀表达式有两个巨大好处第一不需要括号运算顺序完全由操作数和运算符的排列顺序决定第二计算机可以只用一个栈从左到右扫描一遍即可求值。很多 2000 年前后的编程题包括一些基于栈的算术表达式求值实验核心算法都是这套思路。中缀转后缀的算法也叫调度场算法。核心思想是用两个结构一个输出队列一个运算符栈。扫描中缀表达式时操作数直接输出运算符则根据优先级决定是压栈还是先把栈顶优先级更高的运算符弹出输出。3.2 基于栈的实现调度场算法与后缀表达式转换我先把中缀转后缀的核心逻辑写出来假设操作数都是单个数字方便演示int precedence(char op) { if (op || op -) return 1; if (op * || op /) return 2; return 0; } std::string infix_to_postfix(const std::string expr) { std::stackchar ops; std::string result; for (char ch : expr) { if (std::isdigit(ch)) { result ch; } else if (ch () { ops.push(ch); } else if (ch )) { while (!ops.empty() ops.top() ! () { result ops.top(); ops.pop(); } if (!ops.empty()) ops.pop(); // 弹出 ( } else { while (!ops.empty() precedence(ops.top()) precedence(ch)) { result ops.top(); ops.pop(); } ops.push(ch); } } while (!ops.empty()) { result ops.top(); ops.pop(); } return result; }几个容易写错的地方我拎出来讲一下。一是括号处理左括号直接入栈右括号出现时一直弹栈直到遇到左括号为止左括号本身不输出。二是运算符的弹栈条件决定了相同优先级运算符之间的结合方向。因为加减法和乘除法都是从左到右结合的所以当新来的运算符和栈顶运算符优先级相同时要先弹出栈顶的旧运算符输出再把新运算符压栈。如果这里写成运算顺序会变成从右往左结果出错。第三表达式扫描完后一定要把栈里剩余的运算符全部弹出并输出这一步很多人会漏。这个函数有个前提假设所有操作数是单个数字表达式本身括号匹配。实际项目里当然要复杂得多可能遇到多位数字、小数、变量、一元负号等但先把单数字版本彻底理解后面扩展就有基础了。3.3 后缀表达式求值从转换到计算的完整闭环后缀表达式求值比转换更直接从左到右扫描遇到操作数就入栈遇到运算符就弹出两个操作数按运算符计算再把结果重新入栈。扫描完毕后栈顶就是最终结果。代码如下int eval_postfix(const std::string postfix) { std::stackint st; for (char ch : postfix) { if (std::isdigit(ch)) { st.push(ch - 0); } else { int right st.top(); st.pop(); int left st.top(); st.pop(); switch (ch) { case : st.push(left right); break; case -: st.push(left - right); break; case *: st.push(left * right); break; case /: st.push(left / right); break; } } } return st.top(); }这里有一个非常经典的坑弹出两个操作数后先弹出的那个实际上是右操作数后弹出的才是左操作数。加法和乘法左右交换结果一样但减法和除法绝对不能搞反。很多人第一次写的时候直接把先弹出的当成 left结果算2 - 3得到 1怎么调都不对。正确写法是先弹 right再弹 left这个顺序一定记牢。把两个函数串起来一个完整的算术表达式求值程序就出来了输入3 4 * 2 - (1 3) / 2先转后缀3 4 2 * 1 3 2 / -再求值得到 7。我强烈建议你在本地把整套流程跑通然后自己加几个测试用例比如2 * (3 4) - 5 / 2这种同时包含括号、乘除、加减的表达式一步步打印中间过程看看转换和求值是否符合预期。这个过程做一遍比读十篇文章都有用。4. 常见问题排查与避坑心得4.1 if 判断里常见的坑赋值、浮点、悬空 else我在文章开头提过if (x 3)的问题这里系统整理一下代码审查时最常看到的几类错误。第一类赋值写成了比较。这几乎是人人都犯过的低级错误但确实隐蔽。防御手段有两个一是把常量写到左边让笔误变成编译错误二是给编译器开警告主流编译器的-Wall选项会对这种“赋值即条件”的代码给出警告虽然不致命但至少能提醒你这里不对劲。第二类悬空 else。C 的规则是 else 永远和最近的没有 else 的 if 配对即使你的缩进不是这样。看这个例子if (a) if (b) std::cout A and B\n; else std::cout not A\n;由于缩进你可能以为 else 属于第一个 if实际上它属于第二个 if。结果是当 a 为假且 b 为真时也会走进 else 分支。避坑方法很简单写代码时始终给 if 和 else 加上大括号哪怕只有一行。C 允许省略大括号但省略在维护和审查时非常危险。我现在写 if哪怕只有一句话也会加{}就是为了防止以后加代码时不小心改变归属。第三类浮点数的精确比较。前面已经详细说过这里只提醒一句业务代码里如果两个浮点数明明看起来相等但 if 就是不进先别怀疑编译器先想想比较方式是不是有问题。4.2 排序实现中的典型 Bug 与调试技巧排序算法写错的典型表现无外乎三种边界越界、顺序不对、死循环。我的建议是每次写完一个排序算法都用同一组测试数据比如[5, 3, 8, 1, 9, 2]跑一遍然后打印每一轮排序后的中间结果对照算法描述检查。边界越界最常见的原因是循环条件写错。比如冒泡排序的内层循环写成j n - 1不会报错但会产生多余比较如果写成j n - 1访问arr[j 1]时会越界到数组末尾以外的地址。在 C 里这是未定义行为具体表现可能是随机数据被改坏也可能是程序崩溃非常难排查。排序调试的第一优先级永远是检查边界条件。顺序不对往往是比较谓词的问题。升序降序写反、相等元素判定交换、谓词没有满足严格弱序都会导致最终顺序不对。我的调试经验是先用只有三五个元素的小数组手动走一遍排序过程再用断点或输出语句打印每次交换基本一两次就能定位问题。还有一个很实用的技巧把你的排序函数和标准库的std::sort结果做对比。写一个随机生成大量整数数组的测试你的排序结果和std::sort结果逐一比较只要有一次不一致就缩小到那个 case 去分析。这是我在项目里验证排序实现最常用的方法比人工排查快太多。4.3 表达式求值的边界情况与测试用例设计表达式求值实现完成后最考验人的不是主流程而是各种边界情况。除零是第一个要防的。在整数除法里出现5 / 0会直接崩溃所以求值函数遇到除法时必须先检查 right 是否为 0是就抛异常或返回错误码而不是等着程序炸掉。括号不匹配是第二个坑。如果输入是(1 2))中缀转后缀算法在遇到右括号时会发现栈里没有左括号此时可能已经空栈了直接访问栈顶就是未定义行为。实现时while (!ops.empty() ops.top() ! ()这个条件已经做了空栈保护但最好在循环结束后再检查是否真的消费了一个左括号如果没有说明括号不匹配应该报错。第三个边界是多位数字和负数的处理。单数字版本只是为了教学真实场景里的表达式可能是12 34 * 2甚至是-3 5。处理多位数字需要在扫描时连续读入数字字符直到下一个字符不是数字再整体转换为整数。负数的处理更麻烦因为一元负号和二元减号在语法上都是-需要根据上下文区分如果-前面是操作数或右括号它是二元运算符如果-在表达式开头或者跟在左括号或另一个运算符后面它是一元负号通常可以把-x改写成0 - x或者在扫描时单独处理。这部分是表达式求值真正需要细抠的地方。我常用的测试用例表你可以直接在本地跑输入表达式预期结果备注1 2 * 37优先级测试(1 2) * 39括号测试2 * (3 4) - 5 / 212混合测试整数除法 5/2210 / 0报错或异常除零测试(1 2报错或异常缺右括号测试把这些 case 全部跑通你的表达式求值才算真正可以拿出手。我早期做课程设计的时候吃过亏主流程跑得飞快交上去后被老师随手输入1 / 0直接打崩。从那以后我学乖了边界情况永远比主流程更重要。最后再分享一个我自己的习惯每当我要写一段涉及 if 判断、排序或表达式求值的代码时都会先强制自己在纸上把输入、输出、边界情况列清楚再动手写代码。这个习惯帮我省掉了大量调试时间。特别是表达式求值这种顺序敏感的代码纸上走一遍流程比在编辑器里反复试错快得多。这篇文章里的代码我也建议你不要直接复制粘贴而是自己动手敲一遍亲手踩一遍坑印象才深。C 的学习没有捷径但在细节上多留心绝对能让你少走很多弯路。