Edit: Añado aquí el código que originalmente contenía la pregunta, al que se refiere mi respuesta. El OP modificó el código después de que yo respondiera y mi respuesta ya no es directamente aplicable al nuevo código, que se complica por culpa de los
cout<<
intermedios.El código original era:
int prueba(int n){ if(n == 0){ return 1; }else{ n + prueba(n-1); } }
Y la pregunta era por qué "funciona" y retornaba 1 al final.
y ya que el punto al que se retorna es el final de la función, y olvidaste retornar otra cosa, desde allí simplemente habrá un RET
, pero EAX todavía contiene 1. Así, todas las llamadas recursivas que habías hecho se van "deshaciendo" una tras otra a base de RET
por alcanzarse el final de la función, y cuando el último RET
haya sido ejecutado se volverá al programa principal y EAX todavía contiene 1, por lo que ese es el valor que se considera retornado por la función.
El código ensamblador generado por gcc
para ese código es el siguiente:
prueba:
push rbp
mov rbp, rsp
sub rsp, 16
mov DWORD PTR [rbp-4], edi
cmp DWORD PTR [rbp-4], 0
jne .L2
mov eax, 1
jmp .L1
.L2:
mov eax, DWORD PTR [rbp-4]
sub eax, 1
mov edi, eax
call prueba
.L1:
leave
ret
Se observa que tras la llamada recursiva call prueba
, lo que sigue es un simple ret
(leave
es para restaurar ciertos registros que apuntan a la pila, pero no afectan a EAX). Por eso cuando la llamada recursiva termine, la función también termina.
Es decir, la ejecución "desenrollada" de las instrucciones que van pasando por la CPU una vez se llega al return 1
, serían:
MOV EAX, 1
JMP .L1
LEAVE
RET
LEAVE
RET
LEAVE
RET
LEAVE
RET
...
hasta deshacer todos los niveles de anidamiento recursivo. Y ya que EAX no cambia de valor en esa secuencia, el valor final retornado es 1 (casualmente en este caso, indefinido de forma general).