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`? 1. 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) 2. 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](https://pt.stackoverflow.com/questions/439285/recursividade-adicionar-n%c3%bameros-em-um-array/439290#comment848340_439290), 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]`.