C语言链表栈遍历后递归回推节点触发无限循环问题排查

核心错误点 #

• 错误调用main函数导致调用栈无限叠加
  你在createStck和traverseStck函数末尾都主动调用了main()，相当于每次执行操作都会重新进入main函数的栈帧，执行次数多了之后直接触发栈溢出，逻辑也会完全混乱。正确做法是把main的菜单逻辑放在死循环中，业务函数执行完直接返回菜单即可，不要手动调用main。
• 递归操作顺序错误导致链表断裂
  在recursion函数中，你先修改了当前节点的link指针为NULL，再用poppedNode->link作为参数进入下一层递归，此时拿到的下一个节点已经是NULL，递归会提前终止，甚至因为指针操作错误形成环形链表，最终遍历的时候进入无限循环。
• 全局变量与函数参数重名导致逻辑异常
  traverseStck的参数名为TOP，和全局栈顶变量TOP重名，函数内部修改的TOP是局部参数，不会同步到全局栈顶，函数执行完全局栈状态完全错误。
• 全局状态标记未正确复位
  你使用的tempTopExist、travesalDone、firstIteration等全局标记，多次调用函数后没有正确复位，状态错乱会导致逻辑分支完全走偏。

修复建议 #

1. 重构main函数菜单逻辑 #

删除所有业务函数末尾的main();调用，把菜单放到死循环中：

int main()
{
  while(1) {
    system("CLS");
    int input;
    do
    {
      printf("1 - Creation of Nodes in Stack\n");
      printf("2 - Traversal of Nodes in Stack\n");
      printf("3 - Addition of Nodes in Stack\n");
      printf("4 - Deletion of Nodes in Stack\n");
      printf("5 - Exit\n\n");
      printf("Choice: ");
      scanf("%d", &input);
    } while (input > 5 || input < 1);

    switch (input)
    {
    case 1:
      createStck();
      break;
    case 2:
      traverseStck();
      break;
    case 5:
      // 可补充内存释放逻辑后退出
      exit(0);
    }
  }
  return 0;
}

2. 修正递归函数操作顺序 #

先缓存下一个节点的指针，再修改当前节点的link属性，避免链表断裂：

void recursion(struct node *poppedNode)
{
  if (poppedNode == NULL)
  {
    tempTopExist = false;
    tempTop = NULL;
    tempNode = NULL;
    travesalDone = false;
    return;
  }
  // 提前缓存下一个节点，不受当前节点link修改的影响
  struct node *nextNode = poppedNode->link;
  if (firstIteration == false)
  {
    firstIteration = true;
    TOP = poppedNode;
    TOP->link = NULL;
  }
  else
  {
    tempNode = poppedNode;
    tempNode->link = TOP;
    TOP = tempNode;
  }
  recursion(nextNode);
}

3. 其他优化 #

• 删除traverseStck的TOP参数，直接读取全局栈顶变量，避免命名屏蔽问题
• 每次函数执行前先复位所有全局状态标记，避免状态串扰
• 单纯遍历栈不需要拆解节点再重建，直接从头遍历输出即可，减少指针操作出错的概率

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