Functions as function argument

user_14200802 0
Viewed 66

I hope my formatting etc. is ok as this is the first time I post a question. Anyways, I'm searching and couldn't find an explanation why the two different function definitions/declarations are equivalent to each other:

#include <iostream> 

using namespace std;

int quadrat( int x )
{
    return x*x;
}

void printTable_1( int start, int end, int step, int (*func)( int x ) )
{
    for ( int i = start; i <= end; i+=step )
    {
        cout << i << "\t" << func(i) << '\n';
    }
}

void printTable_2( int start, int end, int step, int func( int x ) )
{
    for ( int i = start; i <= end; i+=step )
    {
        cout << i << "\t" << func(i) << '\n';
    }
}
    
int main()
{
    printTable_1(1,10,1,quadrat);
    printTable_2(1,10,1,quadrat);

    return 0;
}

What I don't understand is that I didn't explicitely defined in the function "printTable_2" a function pointer like in the function "printTable_1" and it still expects one. Thanks in advance for the answers!

function-pointers callback c++
1 Answers

Both definitions are the same to the compiler. A rough overview about this behavior can be found in the book Effective STL starting at Page 20 or PDF Page 26.

Let's now look at three more function declarations. The first one declares a function g taking a parameter that's a pointer to a function taking nothing and returning a double:

int g(double (*pf)());

Here's another way to say the same thing. The only difference is that pf is declared using non-pointer syntax (a syntax that's valid in both C and C++):

int g(double pf()); // same as above; pf is> implicitly a pointer

As usual, parameter names may be omitted, so here's a third declaration for g, one where the name pf has been eliminated:

int g(double ()); // same as above; parameter name is omitted

So in your example we have

int (*func)( int x )

and

int func( int x )

As you can see it is the same way as in the example, where we can just omit the parentheses around func and the *. It is still exactly the same to the compiler in the end.

user_115989700
Related