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 no if (n < 1)
- é chamado
countup(n - 1)
, ou seja, countup(1)
- dentro da chamada
countup(1)
: n
é igual a 1, então não entra no if (n < 1)
- é chamado
countup(n - 1)
, ou seja, countup(0)
- dentro da chamada
countup(0)
: n
é igual a 0, então entra no if (n < 1)
e retorna um array vazio ([]
)
countup(0)
retornou o array vazio, que foi colocado na variável countArray
(é o que a linha const countArray = countup(n - 1)
faz)
countArray.push(n)
: aqui n
vale 1, então 1 é colocado no array (que agora é [ 1 ]
)
- o array
[ 1 ]
é retornado
countup(1)
retornou o array [ 1 ]
, que é colocado na variável countArray
countArray.push(n)
: aqui n
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.
Para ententer recursão, antes precisa entender recursão
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 a N
não terá nenhum número, então o array é vazio (é o que o if
faz)
- se
N
>= 1 (ou seja, o bloco else
):
- 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 de N - 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)
.
A ideia de recursão é basicamente essa: existe um caso "base" com uma solução trivial (o array vazio), e para os outros casos você resolve instâncias menores do problema de maneira recursiva, até chegar ao caso base, e no final junta tudo.
Explicando de outra maneira
Devido a esta dúvida nos comentários, vou tentar explicar de forma um pouco mais detalhada. Para simplificar, vamos supor que eu chamei countup(1)
.
É feita a chamada a countup(1)
:
- aqui o
n
vale 1, por isso não entra no if (n < 1)
- dentro do bloco
else
:
const countArray = countup(n - 1);
← como n
vale 1, então é feita a chamada para countup(0)
Aqui fazemos uma pausa para explicar que a chamada a countup(0)
é "independente" da chamada a countup(1)
. Apesar de ser a mesma função, e de ser chamada dentro dela mesma, são duas chamadas diferentes e cada uma executa de acordo com o seu contexto (no caso, o valor que é passado como parâmetro é diferente).
Então a chamada countup(1)
está executando a linha const countArray = countup(n - 1);
. Isso quer dizer que ela precisa pegar o retorno de countup(0)
e atribuir o valor retornado na variável countArray
. Ou seja, ela precisa esperar countup(0)
executar por completo.
E como countup(0)
executa? Assim:
n
vale 0, por isso entra no if (n < 1)
e retorna um array vazio ([]
)
Como countup(0)
já terminou (retornando um array vazio), então countup(1)
pode continuar executando de onde parou:
const countArray = countup(n - 1);
Nesta linha ela pega o retorno de countup(0)
(o array vazio) e atribui este valor na variável countArray
. Depois ela executa as linhas seguintes:
countArray.push(n);
return countArray;
Ou seja, ela adiciona n
ao array (e como estamos dentro da chamada countup(1)
, o n
vale 1, portanto o número 1 será adicionado ao countArray
).
E por fim, countArray
(que agora é o array [1]
) é retornado, e countup(1)
encerra sua execução.
Repare que cada chamada a countup
é "independente": só porque uma está no if
, não quer dizer que outra não pode estar no else
(pois cada uma tem um contexto diferente, já que os valores de n
que cada uma recebe é diferente). E só porque uma delas retornou, não quer dizer que as outras devem retornar imediatamente: cada uma retorna só quando chega em alguma linha contendo return
.
De maneira similar, quando chamamos countup(2)
:
- aqui o
n
vale 2, por isso não entra no if (n < 1)
- dentro do bloco
else
:
const countArray = countup(n - 1);
← como n
vale 2, então é feita a chamada para countup(1)
Ou seja, a chamada countup(2)
precisa esperar countup(1)
terminar para atribuir o retorno na variável countArray
.
E pela explicação acima, já sabemos que countup(1)
retorna o array [1]
. Ou seja, depois que countup(1)
termina, o array [1]
é retornado e atribuído na variável countArray
.
Depois disso, a chamada countup(2)
pode continuar executando. A linha seguinte é countArray.push(n);
, e como countArray
é [1]
e o n
vale 2, o número 2 é adicionado no array, que passa a ser [1, 2]
.
Depois disso o array é retornado, e o resultado é [1, 2]
.