Question

I have this function:

int max(int arr[], int size)
{
    size--;
    if(size > 0)
    {
        int max = max(arr, size);
        if(arr[max] > arr[size]) return max;
    }
    return size;
}

And of course it works. My question is – how does this work? Could anyone explain me this step by step? It’s Saturday so maybe somebody has a bit of time 😀 I especially mean these two lines in if block.

Answer 1

You code is as follows:

1 int max(int arr[], int size){
2     size--;
3     if(size > 0){
4         int max = max(arr, size);
5         if(arr[max] > arr[size]) return max;
6     }
7     return size;
8 }

You call it by passing it array and the size (or length) of that array.

The first important point the code hits is on Line 4, when it calls itself recursively. But notice that on Line 2, the size was decreased by one. Therefore, you can think of size as being an index referring to the element of the array being considered by the current call to the function.

This means that eventually, the size of the array will be down to zero and we will be looking at the first element of the array. At this point Lines 3 through 6 are skipped, and 0 is returned.

When one of the recursive calls returns, we’re left back at Line 4.

For the first return, this means that int max = 0;.

Now we are comparing the zeroth element with the first element. We return the index of whichever is greater. The next comparison will be between the second element and whichever of the first two was larger.

This continues until all the recursive calls are returned, at which point the index of the greatest element is returned to the calling function.

Note then, that return size; should be replaced with return 0 to increase clarity.