Depois que você chama countup(n - 1)
, as linhas abaixo são executadas sim, mas só depois que esta chamada retorna.
Para simplificar, vamos ver o que acontece quando você chama countup(2)
:
countup(2)
:n
é igual a 2, então não entra noif (n < 1)
- é chamado
countup(n - 1)
, ou seja,countup(1)
- dentro da chamada
countup(1)
:n
é igual a 1, então não entra noif (n < 1)
- é chamado
countup(n - 1)
, ou seja,countup(0)
- dentro da chamada
countup(0)
:n
é igual a 0, então entra noif (n < 1)
e retorna um array vazio ([]
)
- dentro da chamada
countup(0)
retornou o array vazio, que foi colocado na variávelcountArray
(é o que a linhaconst countArray = countup(n - 1)
faz)countArray.push(n)
: aquin
vale 1, então 1 é colocado no array (que agora é[ 1 ]
)- o array
[ 1 ]
é retornado
- dentro da chamada
countup(1)
retornou o array[ 1 ]
, que é colocado na variávelcountArray
countArray.push(n)
: aquin
vale 2, então 2 é colocado no array (que passa a ser[ 1, 2 ]
)- o array
[ 1, 2 ]
é retornado
Ou seja, a primeira chamada começa no valor inicial de n
(no exemplo acima foi 2
), e a cada chamada recursiva ele vai diminuindo, até chegar a zero. Quando chega a zero, ela retorna o array vazio e o processo começa a "voltar", inserindo os números no array e retornando-o para a chamada anterior.
O que pode confundir é que a cada chamada o contexto muda: o valor de n
e o array countArray
sendo manipulados têm valores diferentes. Mas no fim tudo "se junta" e o resultado é um array contendo todos os números de 1 a n
.
O importante é que o fato de fazer uma chamada recursiva não trava a execução, como você imagina. O que acontece é que uma chamada recursiva pode acabar fazendo outras chamadas recursivas (como quando countup(2)
chamou countup(1)
, que por sua vez chamou countup(0)
), e essas chamadas ficam "penduradas" esperando as outras retornarem. E depois que elas retornam, a execução continua nas linhas seguintes.
O que garante que esse processo não dura para sempre é a condição de parada (if (n < 1)
), pois é quando não é feita mais nenhuma chamada recursiva.
Pode ser que ajude se você pensar na definição da solução de maneira recursiva: como eu crio um array contendo os números de 1 a N
?
- se
N
< 1, o intervalo de 1 aN
não terá nenhum número, então o array é vazio (é o que oif
faz) - se
N
>= 1 (ou seja, o blocoelse
):
- 2.a) crio um array contendo os números de 1 a
N - 1
(usando este mesmo algoritmo recursivamente, ou seja, volto para o passo 1, mas usando o valor deN - 1
) - 2.b) adiciono o
N
nesse array
O passo 2.a corresponde a const countArray = countup(n - 1)
(eu resolvo o mesmo problema recursivamente para N - 1
), e o passo 2.b corresponde a countArray.push(n)
.