关于C程序返回值问题的探索

之前备考C语言期末考试时,同学给我看了一段代码,内容如下:

#include <stdio.h>
int main()
{
	int gcd(int,int);
	int a,b;
	printf("input a,b\n");
	scanf("%d%d",&a,&b);
	printf("%d\n",gcd(a,b));
	return 0;
}
int gcd(int a,int b)
{
	if(a%b==0)
		return b;
	gcd(b,a%b);
}

这是用辗转相除法计算最大公因数的代码,当时我看了就觉得这段代码有问题,认为返回值没有逐层传递回去,是输出不了.我的思路如下图:

递归是一层一层调用,每层计算出结果后需要用return才能把计算出来的值传回上一层.然而当我试着运行这段代码时,竟然能正确输出结果,比如我输入242和12,能算出2.

我试着在gcd()前添加return,程序也能正确输出结果,那么问题来了,为什么两种写法都可以,第一种写法究竟是什么原理??这个头疼的问题困扰了我好多天,直到我搜到一篇帖子:为什么递归中不给return还能将正确的值返回给主函数,里面的一位大佬是这么解释的:

这只是碰巧，返回值一般是被放在EAX寄存器中，最后一次递归调用时返回的值在EAX中，之后函数没有更改EAX中的值，所以返回到主函数中这个值仍然是最后的值

照着这个思路,我试着修改了一下程序:在gcd()调用结束前进行无用的运算,希望可以碰巧修改EAX中的值,结果成功了!
尽管这个问题的答案没什么用,但我从中感觉学了C语言再学一点汇编是很有必要的.