C语言链表递归求最大值时递归返回值赋值逻辑疑问

为什么不能直接写return recursionMaxLLN(p->next); #

递归找链表最大值的核心逻辑很简单：对任意一个节点，最终要返回的结果，是*「当前节点存的值」和「当前节点后面所有节点的最大值」里更大的那个*。
如果在else分支里直接写return recursionMaxLLN(p->next);，会直接出两个问题：

• 后面写的if(p->data>max)比较逻辑完全成了跑不到的死代码。递归会顺着next指针一路走到链表末尾的空节点，直接返回空节点对应的-1，整个函数最后就只返回-1，完全实现不了查找功能。
• 就算调整递归终止条件，这种写法也相当于完全忽略当前节点的data值，根本没把当前节点放进比较范围，必然会漏算节点值，结果不可能正确。

疑问行的max变量到底存的是什么 #

max = recursionMaxLLN(p->next);这行里的max，存的就是从当前节点p的下一个节点开始，到链表最后一个有效节点，这一整段子链表的最大值。
递归的执行顺序是先沿着next指针一路走到链表最深处，再一层层往回传递结果：

1. 走到最后一个有效节点时，它的next是NULL，触发终止条件返回-1，这一层的max就是-1，拿当前节点的data和-1比较，返回更大的值
2. 这个返回值会传回上一层（也就是倒数第二个节点所在的递归层），成为上一层的max值——也就是倒数第二个节点后面所有节点的最大值
3. 每一层都重复相同逻辑：拿到后继子链表的最大值，和当前节点值比较，返回两者中更大的数，等结果传递回链表头节点时，得到的就是整个链表的最大值

以你代码里生成的0→1→2→…→9递增链表为例：

• 值为9的尾节点所在递归层，max为-1，比较后返回9
• 值为8的节点所在递归层，max为上一层传回的9，比较后返回9
• 9会逐层向上传递，所有层的max都是当前节点后继子链表的最大值9，最终头节点比较0和9，返回正确结果9

附：问题相关实现代码 #

struct node
{
    int data;
    struct node*next;
}*first=NULL;

void Creat(int n)
{
    first = (struct node*)malloc(sizeof(struct node));
    first->data=0;
    first->next=NULL;
    struct node*temp_node,*control_p;
    control_p=first;
    
    for(int i = 1;i<n;i++)
    {
        temp_node = (struct node*)malloc(sizeof(struct node));
        
        control_p->next=temp_node;
        
        temp_node->data = i; 
        temp_node->next=NULL;
        
        control_p=temp_node;
    }
}

int recursionMaxLLN(struct node *p)
{
    
    int max = 0;
    
    if(p==NULL)
    {
        return -1;
    }
    else
    {
        max = recursionMaxLLN(p->next);//❓❓❓❓
        if(p->data>max)
                return p->data;
        else
            return max;
    }
}

int main()
{
    Creat(10); 
    printf("%d",recursionMaxLLN(first));
}

补充：当前代码的终止条件返回-1仅适用于所有节点值都大于-1的场景，如果链表存储负数会出现结果错误，要适配全场景可以把终止返回值改为INT_MIN（需引入<limits.h>头文件）。

内容的提问来源于stack exchange，提问作者宸羽郭