我在网上看到一些递归链表操作的例程，有一个小问题想不通，特来向高手们求教：
没有返回值的递归函数有没有回归过程？比如：下面程序片段里的正向输出和反向输出。


struct Link
{
    unsigned int dat;
    struct Link *next;
};

typedef struct Link Link;

Link *head;

void P_PrintLink(Link *head)
{
    if(head)
    {
        printf("%d\n",head->dat);
        P_PrintLink(head->next);
    }
}

void I_PrintLink(Link *head)
{
    if(head)
    {
        I_PrintLink(head->next);
        printf("%d\n",head->dat);
    }
}

[此贴子已经被作者于2020-3-28 13:18编辑过]

void I_PrintLink(Link *head)
{
    if(head)
    {
        I_PrintLink(head->next);   //①
        printf("%d\n",head->dat);  //②这里想不明白
    }
}

上面的函数里，我想不明白回归的时候，函数从①运行到②了，又怎样返回到上一级的①的？

递归链表操作是我新学的东西，不懂多少，请见谅！

是这样理解的吧？