Para ententer recursão, antes precisa entender recursão
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
.