如何跳出递归链表节点索引查找函数中的无限循环？

看起来你遇到的核心问题是递归过程中索引的状态没有正确传递或被意外重置——大概率是用了全局/静态变量跟踪索引，或者递归时错误地处理了索引参数，导致每次递归调用时索引没有按预期递减（反而递增后重置），进而陷入无限循环。下面给你两种常见场景的修复方案，都不需要彻底改动原有代码结构：

场景1：使用了全局/静态变量跟踪索引 #

很多人刚开始写递归时会用全局变量来计数，比如这样的错误代码：

// 错误：全局索引变量，递归回溯或多次调用时会混乱
int currentIndex = 0;

Node* nodeAt(Node* head, int targetIndex) {
    if (head == nullptr) return nullptr;
    if (currentIndex == targetIndex) return head;
    currentIndex++;
    Node* result = nodeAt(head->next, targetIndex);
    // 就算加了回溯重置，多次调用还是会出问题
    currentIndex--;
    return result;
}

这种写法的问题在于全局变量的状态会在多次调用或递归回溯时被干扰，导致索引重置错误。

修复方案：用内部辅助函数传递局部索引参数 #

不用改动对外的nodeAt函数接口，只需要在内部加一个带当前索引参数的递归辅助函数，把索引变成局部状态：

Node* nodeAt(Node* head, int targetIndex) {
    // 内部递归辅助函数，携带当前索引作为参数
    auto helper = [&](Node* currNode, int currIndex) -> Node* {
        if (currNode == nullptr) return nullptr;
        if (currIndex == targetIndex) return currNode;
        // 递归时传递递增后的当前索引，状态完全隔离
        return helper(currNode->next, currIndex + 1);
    };
    // 初始调用从索引0开始
    return helper(head, 0);
}

这样每次递归的索引都是独立的局部值，不会出现重置或混乱的问题，而且对外的函数接口完全没变。

场景2：递归时错误地递增了目标索引 #

另一种常见错误是递归调用时没有正确递减目标索引，反而错误地递增，比如：

// 错误：递归时传递targetIndex++，导致索引方向错误
Node* nodeAt(Node* head, int targetIndex) {
    if (head == nullptr) return nullptr;
    if (targetIndex == 0) return head;
    // 这里的targetIndex++会传递原数值，然后自增，但递归方向完全错了
    return nodeAt(head->next, targetIndex++);
}

这种写法会导致每次递归的目标索引其实没有真正递减，反而在函数内部被递增，最终回溯时索引重置为初始值，陷入无限循环。

修复方案：递归时传递targetIndex - 1 #

只需要修改递归调用的参数，把目标索引递减，因为每往后走一个节点，我们要找的索引就少了1：

Node* nodeAt(Node* head, int targetIndex) {
    if (head == nullptr) return nullptr;
    if (targetIndex == 0) return head;
    // 正确：传递targetIndex - 1，每次递归找下一个节点对应的索引
    return nodeAt(head->next, targetIndex - 1);
}

这个改动极小，只改了一行代码，就能彻底解决无限循环的问题。

关键注意点 #

• 永远不要用全局/静态变量来跟踪递归过程中的临时状态（比如索引、计数），递归的栈帧本身就可以通过参数传递来维护局部状态。
• 递归调用时，确保参数的变化方向和你的逻辑一致：找链表的第n个节点，每递归一次就应该把目标索引减1（或者当前索引加1），方向不能搞反。

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