咨询C语言遍历链表所用特殊for循环的完整运行逻辑

针对循环判断位只写curr的疑问 #

C语言不要求循环条件必须是显式的比较表达式。所有可以产出标量值的表达式，都会被隐式转为布尔判断：值为0代表假，非0代表真。
对于指针类型，C标准定义NULL是值为0的空指针常量，因此单独写curr作为循环条件，和显式书写curr != NULL逻辑完全等价。
这种写法是链表遍历场景的行业通用简写，相比类似i < 5的数值比较场景，指针遍历碰到链表末尾的NULL就停止的特性，天然适配这种简洁判断的写法，也能规避部分把==误写为=的低级笔误。

针对增量位用逗号分隔两个表达式的疑问 #

这里用到的是C语言的逗号运算符基础特性：逗号是顺序求值运算符，会严格从左到右执行两侧的表达式，整个逗号表达式的最终值等于最右侧表达式的运行结果。
需要明确的是，for循环的语法结构是for (表达式1; 表达式2; 表达式3) 循环体，三个位置之间以分号作为语法分隔符，每个位置都允许放置任意合法的单表达式。因此用逗号把两个独立的赋值操作串成一个完整的表达式放到增量位，完全符合语法规范，不存在特殊的黑魔法。
这段代码里的两个增量操作执行顺序是严格固定的：先执行prev = &curr->link，再执行curr = curr->link，顺序绝对不能互换：

• 第一步更新prev：把二级指针prev指向当前节点内部存储的后继指针（即代码中的link成员）的内存地址。这种设计的核心价值是，无论当前遍历的是链表的头节点还是中间节点，prev都能拿到对应位置的指针地址，后续做节点插入、删除操作时，不需要单独编写针对头节点的特殊判断逻辑
• 第二步更新curr：把当前节点的遍历指针移动到下一个节点的位置，为下一轮循环做准备
  这种写法和大家熟悉的for (i=0, sum=0; i<10; i++, sum+=i)是完全相同的原理，没有任何特殊之处。

完整循环的实际执行时序 #

结合C语言for循环的固定执行优先级，这段循环从头到尾的运行逻辑可以拆解为：

1. 仅在循环启动时执行一次初始化逻辑：把指针curr指向*head，即链表的第一个有效节点；此时prev的初始值为head，也就是链表头指针本身的内存地址
2. 检查curr是否为NULL：如果是，直接跳出整个循环
3. 如果curr非空，执行循环体内的业务逻辑
4. 循环体执行完成后，运行增量位的整个逗号表达式：先把prev更新为当前curr节点的link成员地址，再把curr移动到curr->link指向的下一个节点
5. 回到第2步，重复条件判断、执行业务逻辑、更新指针的流程，直到curr走到链表末尾碰到NULL停止

内容的提问来源于stack exchange，提问作者william_