Understanding recursion in the beer bottle example

Question

I am practicing recursion in C on my own and I found this example online. However there is one thing I don\'t understand.

void singSongFor(int numberOfBottle         


        

Answer 1

The reason it works in this way is that every call of the singSongFor() where numberOfBottles is more than 1 will in turn recursively call singSongFor() until numberOfBottles is 0. At this point printf("There are simply no more bottles of beer on the wall.\n\n") is reached and that function will finish, passing up to the calling function, which will have had an argument of 1 passed in, which then reaches printf("Put a bottle in the recycling, %d empty bottles in the bin.\n", numberOfBottles); and itself completes, returning to singSongFor(2)... and so on until you're back at your original number, 4 in this case.

Answer 2

The recycling statement runs after the recursive call returns.

Each of the recursion calls will eventually finish and the program will continue on to the recycling statement that follows, each with its own local variable values.

Answer 3

Note that the last printf uses the numberOfBottles variable, and that is never modified. So upon returning from printing oneFewer bottles, it will print the recycling text with numberOfBottles. Remember that there is one different incarnation of the local variables per each call to the function.

It can be seen easier if you indent the calls to the functions:

4 bottles of beer on the wall...
  3 bottles of beer on the wall...
    2 bottles of beer on the wall...
      1 bottles of beer on the wall...
        There are simply no more bottles of beer on the wall.
      Put a bottle in the recycling, 1 empty bottles in the bin.
    Put a bottle in the recycling, 2 empty bottles in the bin.
  Put a bottle in the recycling, 3 empty bottles in the bin.
Put a bottle in the recycling, 4 empty bottles in the bin.

Now, each line that begins in the same column is written from the same call of the function. Do you see how the number of bottles and recycling coindice? That's because both use the same variable: numberOfBottles.

Answer 4

With recursion, you can think of everything before the recursive call as being a forward loop, and everything after the call as being a backward loop. (Tail recursion - calling the function again at the end of the function - is often optimized by the compiler into a simple forward loop.)

The way this works is the arguments for each old function are pushed onto the stack, and popped when it all returns. Remember that a stack is last-in, first-out. So since you start with 4, it pushes 4, then 3, then 2, then 1. When the functions return, the stack starts unwinding, so you see the arguments again in reverse order: 1,2,3,4.

Answer 5

The smaller bottles of beer (and their corresponding recycling) are in inner functions. Your function tree looks like this:

4 bottles of beer on the wall. 4 bottles of beer. Take one down, pass it around, 3 bottles of beer on the wall.
|   3 bottles of beer on the wall. 3 bottles of beer. Take one down, pass it around, 2 bottles of beer on the wall.
|   |   2 bottles of beer on the wall. 2 bottles of beer. Take one down, pass it around, 1 bottles of beer on the wall.
|   |   |   1 bottles of beer on the wall. 1 bottles of beer. Take one down, pass it around, 0 bottles of beer on the wall.
|   |   |   |   There are simply no more bottles of beer on the wall.
|   |   |   Put a bottle in the recycling, 1 empty bottles in the bin.
|   |   Put a bottle in the recycling, 2 empty bottles in the bin.
|   Put a bottle in the recycling, 3 empty bottles in the bin.
Put a bottle in the recycling, 4 empty bottles in the bin.

Answer 6

Just a simple picture explaines: