Explanation of function pointers

Question

I'm having trouble comprehending some C++ syntax when paired with function pointers and function declarations, specifically:

When we wish to declare a kind of function, we usually write something like:

I'm happy with typedef void(*functionPtr)(int); 

FunctionPtr is now a type that represents a pointer to a function that returns void and takes an int as an argument.

We may put it to use as follows:

typedef void(*functionPtr)(int);

void function(int a){
    std::cout << a << std::endl;
}

int main() {

    functionPtr fun = function;
    fun(5);

    return 0;
}

And 5 are printed on a screen.

We have a pointer to function fun, which we assign to function - function, and we run this function using a pointer. 

Cool.
Now, according to some books, function and pointer to function are treated similarly, so after declaring the function() function, whenever we say function, we mean both real function and pointer to function of the same type, so the following compiles and every instruction yields the same result (5 printed on a screen):

int main() {

    functionPtr fun = function;
    fun(5);
    (*fun)(5);
    (*function)(5);
    function(5);

    return 0;
}

So, as long as I can conceive that pointers to functions and functions are essentially the same, it's great with me.

Then I thought, since the pointer to function and the real function are the same, why can't I perform the following:

typedef void(functionPtr)(int); //removed *

void function(int a){
    std::cout << a << std::endl;
}

int main() {

    functionPtr fun = function;
    fun(5);

    return 0;
}

This gives me following error:

prog.cpp:12:14: warning: declaration of 'void fun(int)' has 'extern' and is initialized functionPtr fun = function;

Answer 1

It's a little perplexing.

Function type and pointer to function type are distinct kinds (no more similar than int and pointer to int). 

However, in virtually all cases, a function type decays to a reference to a function type. 

In this context, rotting roughly refers to conversion (there is a difference between type conversion and decaying, but you are probably not interested in it right now).

What matters is that practically every time you use a function type, you end up with a reference to the function type. 

But take note of the nearly - almost every time is not always!

And there are rare circumstances where it does not.

typedef void(functionPtr)(int);
functionPtr fun = function;

This code tries to clone one function to another (not the pointer! the function!) 

However, this is not feasible since functions in C++ cannot be copied. 

The compiler does not let this, and I'm surprised you got it compiled (you say you got linker errors?)

Now for the code:

typedef void(functionPtr)(int);
functionPtr function;
function(5);

function does not shadow anything. Compiler knows it is not a function pointer which can be called, and just calls your original function.