请教个问题：这里的程序1 return 1 为什么返回的不是1，程序2返回的是1

myiszhaoxin

程序1：

1. 
   
2. def power(x, y):
   
3.     if y:
   
4.         return x * power(x, y-1)
   
5.     else:
   
6.         return 1
   
7.    
   
8. print(power(2, 3))
   

复制代码

程序2：

1. 
   
2. def gcd(x, y):
   
3.     if y:
   
4.         return gcd(y, x%y)
   
5.     else:
   
6.         return x
   
7.    
   
8. print(gcd(4, 6))
   

复制代码

myiszhaoxin

问题补充一下：
程序2有误应该是：

1. 
   
2. def gcd(x, y):
   
3.     if y:
   
4.         return gcd(y, x%y)
   
5.     else:
   
6.         return 1
   
7.    
   
8. print(gcd(4, 6))
   

复制代码

lh625243422

很简单，递归程序是先递，后归
程序1：power(x,y)=x*power(x,y-1),power(x,y-1)=x*power(x,y-2)........power(x,0)=1,所以power(x,y)=x*x.....*1
程序2:gcd(x,y)=gcd(y,x%y),gcd(x%y,y%(x%y)).........gcd(m,0)=1,所以gcd(x,y)=gcd(y,x%y)=gcd(x%y,y%(x%y)).........gcd(m,0)=1

BngThea

递归会重复调用函数
第一个函数体内有两个return，只有当传入的参数 y=0 时才会返回 1
当你调用函数的时候 power(2, 3)，会递归调用很多次，每次调用都会修改y的值，当y变为0的时候再不断返回

第二个函数体内只有一个return 常数。所以最终肯定返回这个常数

annywang

遇到这样的递归问题其实画一下图就很好懂了
power(2,3)  
       |--------------->2*power(2,2)
                                  |-------------------------------->2*power(2,1)
                                                                                  |-------------------->2*power(2,0)
                                                                                                                       |---------------------------------->1


power(2,3)=1*2*2*2

gcd(4,6)
  |------------------------>gcd(6,4%6)=gcd(6,4)
                                   |---------------------------------------->gcd(4,4%6)=gcd(4,4)
                                                                                            |--------------------------------->gcd(4,4%4)=gcd(4,0)
                                                                                                                                          |---------------------------------->1



gcd(4,6)=1