return n*recursive_factorial은 뭘 리턴하는... - 인프런

안녕하세요, 답변 도우미 Soobak 입니다.

질문해주신 코드를 바탕으로 자세히 설명드려보겠습니다.

long rc_fact(int n)
{
  if (n >= 1)
  {
    return n * rc_fact(n - 1); // tail recursion
  }
  else return 1;
}

개인적으로, 재귀함수에 대한 개념을 처음 접하실 때는 직접 꼼꼼히 하나 하나 확인해보는 것이 가장 좋은 학습 방법 같다고 생각하여, 한 단계씩 모두 설명드려보겠습니다.

rc_fact(5) 호출 -> rc_fact(5) 함수가 호출 스택에 쌓입니다.
long rc_fact(int n) 함수의 인자 값인 5 가 1 이상이므로, if (n >= 1) 조건문 안으로 진입합니다.
return 5 * rc_fact(n - 1) 구문이 실행되는 과정에서, rc_fact(4) 함수가 호출됩니다.
rc_fact(4) 호출 -> rc_fact(4) 함수가 호출 스택에 쌓입니다.
long rc_fact(int n) 함수의 인자 값인 4 가 1 이상이므로, if (n >= 1) 조건문 안으로 진입합니다.
return 4 * rc_fact(3) 구문이 실행되는 과정에서, rc_fact(3) 함수가 호출됩니다.
rc_fact(3) 호출 -> rc_fact(3) 함수가 호출 스택에 쌓입니다.
long rc_fact(int n) 함수의 인자 값인 3 이 1 이상이므로, if (n >= 1) 조건문 안으로 진입합니다.
return 3 * rc_fact(2) 구문이 실행되는 과정에서, rc_fact(2) 함수가 호출됩니다.
rc_fact(2) 호출 -> rc_fact(2) 함수가 호출 스택에 쌓입니다.
long rc_fact(int n) 함수의 인자 값인 2 가 1 이상이므로, if (n >= 1) 조건문 안으로 진입합니다.
return 2 * rc_fact(1) 구문이 실행되는 과정에서, rc_fact(1) 함수가 호출됩니다.
rc_fact(1) 호출 -> rc_fact(1) 함수가 호출 스택에 쌓입니다.
long rc_fact(int n) 함수의 인자 값인 1 이 1 이상이므로, if (n >= 1) 조건문 안으로 진입합니다.
return 1 * rc_fact(0) 구문이 실행되는 과정에서, rc_fact(0) 함수가 호출됩니다.
rc_fact(0) 호출 -> rc_fact(0) 함수가 호출 스택에 쌓입니다.
long rc_fact(int n) 함수의 인자 int n 의 값인 0 이 1 미만이므로, else 구문 안으로 진입합니다.
rc_fact(0) 함수가 return 1 로 long 타입의 값 1 을 rc_fact(1) 함수로 반환한 후 호출 스택에서 제거됩니다.
이제, 15번 항목의 return 1 * rc_fact(0) 이 return 1 * 1 로 계산되어 rc_fact(1) 함수가 long 자료형 값 1 을 rc_fact(2) 함수로 반환한 후 호출 스택에서 제거됩니다.
이제, 12번 항목의 return 2 * rc_fact(1) 이 return 2 * 1 로 계산되어 rc_fact(2) 함수가 long 자료형 값 2 를 rc_fact(3) 함수로 반환한 후 호출 스택에서 제거됩니다.
이제, 9번 항목의 return 3 * rc_fact(2) 이 return 3 * 2 로 계산되어 rc_fact(3) 함수가 long 자료형 값 6 을 rc_fact(4) 함수로 반환한 후 호출 스택에서 제거됩니다.
이제 6번 항목의 return 4 * rc_fact(3) 이 return 4 * 6 로 계산되어 rc_fact(4) 함수가 long 자료형 값 24 를 rc_fact(5) 함수로 반환한 후 호출 스택에서 제거됩니다.
이제 3번 항목의 return 5 * rc_fact(4) 이 return 5 * 24 로 계산되어 rc_fact(5) 함수가 long 자료형 값 120 을 rc_fact(5) 함수를 호출한 곳으로 반환한 후 호출 스택에서 제거됩니다.

재귀 함수의 호출에 있어서 각 함수가 호출 스택에 쌓이는 과정과 반환되는 과정에 대해 익숙하지 않으시다면, 강의 9.7 재귀 호출과 스택 의 1:44 부분의 교수님 설명을 복습해보시는 것을 권장드립니다. 😀👍

또한, 비슷한 내용의 질문인 재귀호출 질문입니다. 의 답변 내용 또한 참고하시면 좋을 것 같습니다. 😀

답변이 되셨길 바라며, 또 궁금하신 점 있으시면 편하게 댓글 남겨주시면 감사하겠습니다. 화이팅!

인프런 커뮤니티 질문&답변

return n*recursive_factorial은 뭘 리턴하는거죠?