Почему рекурсия начинает идти в обратную сторону?

Question

[StepanMogilyov]

У меня проблема в понимании обратного движения рекурсии (то есть почему она начинает идти обратно в плюс после того как входит в условие if (num <= 1)). Я передаю в num аргументом цифру 4, после чего функция вызывает сама себя, выполняя num - 1. А когда num становится 1, то он входит в условие, где есть return.
1) Не понимаю что именно тут выполняет return
2) Не понимаю как и почему рекурсия начинает идти в обратную сторону (в плюс то есть)

function getFactorial(num) {
  console.log(num)
  if (num <= 1) {
    return
  } else {
    getFactorial(num - 1)
    console.log(num)
    return
  }
}
getFactorial(4)

// 4
// 3
// 2
// 1
// 2
// 3
// 4

Comments

[WbICHA]

1) Не понимаю что именно тут выполняет return
2) Не понимаю как и почему рекурсия начинает идти в обратную сторону (в плюс то есть)

1. В данном примере оба ретурна абсолютно бесполезны.
2. Ну так пройдись по коду дебаггером и посмотри.

[StepanMogilyov]

WbICHA, Я уже делал это и всё равно не понял((

[iBird Rose]

StepanMogilyov, а ты пометь свои консоль логи

function getFactorial(num) {
  console.log('first', num)
  if (num <= 1) {
    return
  } else {
    getFactorial(num - 1)
    console.log('second', num)
    return
  }
}

[StepanMogilyov]

iBird Rose, Совет хороший, но не совсем то) Прост я к тому что вместо num можно мысленно подставлять (визуализировать) цифру которую я задаю в аргументе. Типо getFactorial(4 - 1) на первой итерации, потом getFactorial(3 - 1), и тд... А вот когда начинается обратный путь - для меня это чёрная магия. Не могу как-то визуализировать и понять что происходит под капотом

[scottparker]

StepanMogilyov, дело в том, что очередной вызов getFactorial внутри себя же, не заканчивает выполнения функции. допустим ты вызвал для 2, внутри происходит для 1, когда выполнение getFactorial(1) заканчивается, то есть возвращается результат в точку вызова, происходит дальнейшее выполнее getFactorial(2).

Answer 1

[eRKa]

1.  function getFactorial(num) {
2.    console.log(num)
3.    if (num <= 1) {
4.      return
5.    } else {
6.      getFactorial(num - 1)
7.      console.log(num)
8.      return
9.    }
10. }
11.
12. getFactorial(4)

Что такое стек знаете? В рекурсии вызовы будут в виде стека, последним пришел - первым вышел.

1. Вызов getFactorial(4), отработает строка 2, покажет '4'
2. На строке 6 вызов getFactorial(3), отработает строка 2, покажет '3'
3. На строке 6 вызов getFactorial(2), отработает строка 2, покажет '2'
4. На строке 6 вызов getFactorial(1), отработает строка 2, покажет '1'
5. Выход из функции getFactorial(1), отработает строка 4
6. Продолжится выполнение функции getFactorial(2), отработает строка 7, покажет '2'
7. Выход из функции getFactorial(2), отработает строка 8
8. Продолжится выполнение функции getFactorial(3), отработает строка 7, покажет '3'
9. Выход из функции getFactorial(3), отработает строка 8
10. Продолжится выполнение функции getFactorial(4), отработает строка 7, покажет '4'
11. Выход из функции getFactorial(4), отработает строка 8

Comments

[StepanMogilyov]

Да, я читал, смотрел про стеки и делал дебаг этого кода. Может у меня какой-то очень банальный затык, но я все ещё не понимаю почему вдруг начинается движение в плюс (то что у вас написано на 6-й строке и далее)

[eRKa]

На 6-ой строке Вы вызываете функцию getFactorial, но из нее когда то же выход будет, а значит следом за ней отработает следующая строка. Т.е. Вы вызвали getFactorial(2) на 6-ой строке, в какой то момент она свое дело сделала, из нее произошел выход, значит дальше будет работать строка 7.

Еще можно так представить. Это тоже самое что у Вас, только без рекурсии.

getFactorial3() {
    console.log(3);
    getFactorial2();
    console.log(3);
}

getFactorial2() {
    console.log(2);
    getFactorial1();
    console.log(2);
}

 getFactorial1() {
    console.log(1);
}

Answer 2

[Grish Poghosyan]

Так. В первую очередь, изучайте, что такое стек вызовов (call stack).
Call stack можно рассматривать как коробку книг, куда можно положить сколько угодно книжек, но читать можно книгу, которая лежит поверх всех книг. Как закончим читать, можем достать уже следующую и так до конца. Работает он по принципу LIFO (Last In First Out, последним пришел - первым ушел).
Когда функция вызывается, она создает запись в стеке вызовов, в которой лежат её аргументы и локальные переменные. Эту запись называют stack frame (стековый кадр). Когда функция вызывает другую функцию, в call stack вставляется новый кадр, уже поверх старого. Как только эта функция заканчивает свою работу, запись из стека удаляется и следующая функция продолжает свою работу и в конце её фрейм тоже удаляется.
В общем, эту тему можно очень глубоко изучать в интернете.

У вас функция работает так:
Изначально вы выводите число в консоль, потом рекурсивно вызываете эту функцию в блоке else с аргументом num -1, дальше снова выводите это число в консоль. То есть, вы выводите каждое число по два раза, но поскольку рекурсия забивает call stack, у вас получается такой "странный" вывод. Уберите console.log из else и картинка поменяется.