Search

7.8 — Function Pointers

Function pointers are an advanced topic, and this section can be safely skipped or skimmed by those only looking for C++ basics.

In the lesson on pointers, you learned that a pointer is a variable that holds the address of another variable. Function pointers are similar, except that instead of pointing to variables, they point to functions!

Consider the case of an array:

As you now know, nArray is actually a constant pointer to a 10 element array. When we dereference the pointer (either by *nArray or nArray[nIndex]), the appropriate array element is returned.

Now consider the following function:

If you guessed that foo is actually a constant pointer to a function, you are correct. When a function is called (via the () operator), the function pointer is dereferenced, and execution branches to the function.

Just like it is possible to declare a non-constant pointer to a variable, it’s also possible to declare a non-constant pointer to a function. The syntax for doing so is one of the ugliest things you will ever see:

The parenthesis around *pFoo are necessary for precedence reasons, as int *pFoo() would be interpreted as a function named pFoo that takes no parameters and returns a pointer to an integer.

In the above snippet, pFoo is a pointer to a function that has no parameters and returns an integer. pFoo can “point” to any function that matches this signature.

Assigning a function to a function pointer

There are two primary things that you can do with a pointer to a function. First, you can assign a function to it:

One common mistake is to do this:

This would actually assign the return value from a call to function goo() to pFoo, which isn’t what we want. We want pFoo to be assigned to function goo, not the return value from goo(). So no parenthesis are needed.

Note that the signature (parameters and return value) of the function pointer must match the signature of the function. Here is an example of this:

Calling a function using a function pointer

The second thing you can do with a function pointer is use it to actually call the function. There are two ways to do this. The first is via explicit dereference:

The second way is via implicit dereference:

As you can see, the implicit dereference method looks just like a normal function call -- which is what you’d expect, since normal function names are pointers to functions anyway! However, some older compilers do not support the implicit dereference method, but all modern compilers should.

Why use pointers to functions?

There are several cases where pointers to function can be of use. One of the most common is the case where you are writing a function to perform a task (such as sorting an array), but you want the user to be able to define how a particular part of that task will be performed (such as whether the array is sorted in ascending or descending order). Let’s take a closer look at this problem as applied specifically to sorting, as an example that can be generalized to other similar problems.

All sorting algorithms work on a similar concept: the sorting algorithm walks through a bunch of numbers, does comparisons on pairs of numbers, and reorders the numbers based on the results of those comparisons. Consequently, by varying the comparison (which can be a function), we can change the way the function sorts without affecting the rest of the sorting code.

Here is our selection sort routine from a previous lesson:

Now, let’s replace that comparison with a function to do the comparison. Because our comparison function is going to compare two integers and return a boolean value, it will look something like this:

And here’s our selection sort routine using the Ascending() function to do the comparison:

In order to let the caller decide how the sorting will be done, instead of using our own hard-coded comparison function, we’ll allow the caller to provide his own sorting function! This is done via a function pointer.

Because the caller’s comparison function is going to compare two integers and return a boolean value, a pointer to such a function would look something like this:

So, we’ll allow the caller to pass our sort routine a pointer to their desired comparison function as the third parameter, and then we’ll use the caller’s function to do the comparison.

Here’s a full example of a selection sort that uses a function pointer parameter to do a user-defined comparison, along with an example of how to call it:

This program produces the result:

9 8 7 6 5 4 3 2 1
1 2 3 4 5 6 7 8 9

Is that cool or what? We’ve given the caller the ability to control how our selection sort does it’s job.

The caller can even define his own “strange” comparison functions:

The above snippet produces the following result:

2 4 6 8 1 3 5 7 9

As you can see, using a function pointer in this context provides a nice way to allow a caller to “hook” it’s own functionality into something you’ve previously written and tested, which helps facilitate code reuse! Previously, if you wanted to sort one array in descending order and another in ascending order, you’d need multiple version of the sort routine. Now you can have one version that can sort any way the caller desires!

Making function pointers pretty with typedef

Let’s face it -- the syntax for pointers to functions is ugly. However, typedefs can be used to make pointers to functions look more like regular variables:

This defines a typedef called “pfcnValidate” that is a pointer to a function that takes two ints and returns a bool.

Now instead of doing this:

You can do this:

Which reads a lot nicer!

7.9 -- The stack and the heap
Index
7.7 -- Default parameters

36 comments to 7.8 — Function Pointers

  • Ainsley

    hi i enjoyed the read

  • Renu

    Syntax of typedef is:
    typedef type alias name;

    How does that map to:
    typedef bool (*pfcnValidate)(int, int);

    This seems complex.

    Renu

    • This is one of the really ugly parts of C++. Basically, the type is a pointer to a function returning a bool and taking 2 int parameters, and the name of the typedef is pfcnValidate.

      I suspect they did the syntax this way to mimic the way actual function declarations look, but I agree that it doesn’t map to the typedef syntax in a very intuitive manner. It’s one of those things I have to look up how to do every time I need to do it… but that’s still better than not using typedefs at all.

  • shyan

    typedef of function pointer looks complex.
    no typedef variable. how it assumed that pfcnVlidate is typedef… confuse

    shyam

  • Stuart

    How is bool working here? How is the return false and return true working to return the integers in different orders?

    • Stuart

      I get it now, after rewriting the EvensFirst function to this:

      I got mixed up and didn’t realize that nX % 2 actually means that nX is NOT divisible by 2 and !nX % 2 means that it IS divisible by 2.

  • Simon

    bool EvensFirst(int nX, int nY)

    Alex your comments are incorrect in this function as pointed out by Stuart.

    You can either change the if statements to match the comments or change the comments to match the statements.

    You need to change the 1st comment with the second, and vice versa .
    Stuart’s changes also correct the anomalies.

    Regards
    Simon

  • fernando

    Should the function call not return some value ?

  • Ryan

    You left two things out of your full example.

    1. You forgot to include iostream needed to define the ‘cout’

    2.

    You forgot to add ‘using namespace std;’ thus cout doesn’t work here.

  • ROCKIN!!! Been trying to get my head around function pointers for ages!!!

    Now I get it!!!

    Probably forget again tomorrow, but at least I can come here and look it up again!

    THANK YOU!!!!

  • Its strange you didn’t cover pointers to member functions…anyways great tutorial overall.

  • I have a problem:

    I write a class.

    There is a function, member of this class.

    There is another function, member of this class, takes a “function pointer” as parameter.

    Inside this class there is also a third function and it calls the second function with a function pointer to first function as parameter.

    Here is the code:

    how can I call the second function?

  • Solved !

    • Ravi

      Hi,

      Nice way of explaining the Function pointers.

      I tried to compile the code given up and I am still getting this error

      error: prototype for ‘void Kas::secondfunction(int (Kas::*)(int), int)’ does not match any in class ‘Kas’
      error: candidate is: void Kas::secondfunction(int (*)(int), int)

  • awsome post..i love it.. :)

  • Murka

    Member functions are sometimes a pain to use, but typedefs make even such fugly syntax readable.

    Example:

    So remember, typedefs are your friend. I still haven’t found out how to write the above without one, but am interested how it would look.

  • Martin

    Hi, could someone help me with program problem ?
    I have code

    Program should get input from user and make some actions, and then want again new input and again and again…In first loop everything works good, but in the second loop getline() dont read string, i get output:

    cin wants me to enter number , but getline was skipped, do u know why ?

    • ellankavi

      Are you sure about

      and not

      If not, what do you mean by the first case?

  • Blaji

    Hi, I would like to add some more points. How do we declare a pointer to a function which returns a pointer to a function ? (function pointer returning function pointer). Here we go.. Explained by sample code below. Hope its clear.

    void foo()
    {
    printf(“Im foo”);
    }

    typedef void (*retType)();

    retType FuncRetFuncPtr()
    {
    printf(“FuncRetFuncPtr calledn”);
    return foo; //returning function pointer
    }

    main()
    {
    retType (*fptr)() = FuncRetFuncPtr;
    void (*catchfoo)() = fptr(); //catchfoo-holds return val of FuncRetFuncPt

    catchfoo(); //prints “im foo”. for confirmation :)
    }

  • Srivatsan

    hi Alex,

    What exactly does it mean when you say the name of the function is a pointer?? A pointer to a variable, I understand, holds the address where the variable is stored. What is stored in the address that the name of the function points to?

    Great tutorial. Thank you.

  • george

    Is function pointer the only way to pass a function as a parameter to another function?

  • SJ

    Hi,
    Will you please explain me constant function or constant member function.
    e.g.

    int fun1() const;
    Will you please explain me where and why we need to use this? With example.

  • Matt

    Great tutorials Alex although all this pointer stuff is pretty confusing. I’d like to see some questions at the end of some of these though. I would have a better understanding of the concepts and a memory of the syntax if I had to do some of this myself; a suggestion if you have time.

  • Sergey

    Thank you! You can show how to enjoy the programming in language considered one of most complex (and, sometimes, even “ugly” in syntax). Ever considered to publish it in hard-copy?

  • mohsenhs82

    Hi Alex
    Great job, Great Tutorial, and an Excellent example.

    merry Xmas.

  • It’s like magic . Great !!!

  • NoMercy235

    Hello! I have tried making an application that can sum/substract/divide/multiply two numbers based on the alogrythm Alex made.
    This is how it looks: (I am using VS 2010)
    #include “stdafx.h”
    #include

    using namespace std;

    int a,b;

    int Operation(int x, int y , int (*pSign)(int , int)){
    return pSign(x,y);
    }

    int Multiply(int x, int y){
    return x*y;
    }

    int Add(int x, int y){
    return x+y;
    }

    int Substract(int x, int y){
    return x-y;
    }

    int Divide(int x, int y){
    return x/y;
    }

    int main(){

    cin>>a>>b;
    cout<<Operation(a , b, Multiply);
    cout<<Operation(a , b, Add);
    cout<<Operation(a , b, Substract);
    cout<<Operation(a , b, Divide);

    return 0;
    }

    However , when i run it , nothing shows up. Not even the return message , that's why I guess it enters in some kind of loop somewhere.
    Can someone give me some advice? ^^

  • Yisong Zhu

    Excellent read for learning function pointer. Thank you.

    I don’t think that a temporary index “nBestIndex” is needed. A bubbleSort function could be written like this:

    void bubbleSort(int *arr,int len,compare cmp){
    int start,curr;
    for(start=0;start<len;start++){
    for(curr=start+1;curry);
    }

    bool descentCmp(int x,int y){
    return (y>x);
    }

    bool evenFirstAscent(int x,int y){
    //first is uneven, second is even
    if((x%2) && (!(y%2))){
    return true;
    }
    //first is even, second is uneven
    if(!(x%2) && (y%2)){
    return false;
    }
    //otherwise
    return ascentCmp(x,y);
    }

    bool oddFirstAscent(int x,int y){
    //first is even, second is uneven
    if(!(x%2) && (y%2)){
    return true;
    }
    //first is uneven, second is even
    if((x%2) && (!(y%2))){
    return false;
    }
    //otherwise
    return ascentCmp(x,y);
    }

    //on calling part
    compare *cmp; //declaration under function type
    cin>>choice;
    switch(choice){
    case 0: cmp=ascentCmp;
    break;
    case 1: cmp=descentCmp;
    break;
    case 2: cmp=evenFirstAscent;
    break;
    case 3: cmp=oddFirstAscent;
    break;
    }
    bubbleSort(myArr,size,cmp);

  • Zach

    Hey, I was trying to use pointers to functions to accomplish the ascending and descending options in my code. It is giving me an error: /home/PxOw00/ccNjg763.o: In function `main':
    prog.cpp:(.text.startup+0xd3): undefined reference to `ArraySorter(int, int, bool (*)(int, int))’
    prog.cpp:(.text.startup+0x165): undefined reference to `ArraySorter(int, int, bool (*)(int, int))’
    collect2: error: ld returned 1 exit status

    Here’s my code; I hope someone can help me fix this issue.

    #include
    #include // for time()
    #include // for srand() and rand()
    #include // for swap()
    using namespace std;

    typedef bool (*pfPointer) (int, int);
    void ArraySorter(int, int, pfPointer);
    bool Ascending(int, int);
    bool Descending(int, int);

    int main() {
    cout <> nArraySize;

    int *pnArray = new int [nArraySize];
    srand(static_cast (time(0)));

    cout <> nUserSort;
    cout << '\n';

    if (nUserSort == 'a')
    ArraySorter(pnArray[nArraySize], nArraySize, Descending); //This allows the user to decide whether they want an ascending or descending function
    else
    ArraySorter(pnArray[nArraySize], nArraySize, Ascending);

    //This prints out the array
    for(int qqq = 0; qqq < nArraySize -- 1; qqq++)
    {
    cout << pnArray[qqq] << " || ";
    }
    cout << pnArray[nArraySize -- 1] << endl;
    delete [] pnArray;
    return 0;
    }

    void ArraySorter(int pnArray[], int nArraySize, pfPointer pComparison)
    {
    //Assigns a random number to each value in the array pnArray
    for (int iii = 0; iii< nArraySize; iii++)
    {
    pnArray[iii] = rand();
    }

    // Will change the starting index of the array each time the loop runs through
    for (int nStartIndex = 0; nStartIndex < nArraySize; nStartIndex++)
    {
    // Declares a variable to find the location of the smallest variable in the array
    int nSmallestIndex = nStartIndex;

    // Runs through each array value and finds the smallest one, then registers it
    for (int nCurrentIndex = nSmallestIndex +1; nCurrentIndex < nArraySize; nCurrentIndex++)
    {
    // If the current array value is less than the starting array value, it will log it's location in the array in nSmallestIndex
    if (pComparison(pnArray[nCurrentIndex] , pnArray[nSmallestIndex]))
    {
    nSmallestIndex = nCurrentIndex;
    }
    }
    //Switches the smallest value with the starting value
    swap(pnArray[nStartIndex], pnArray [nSmallestIndex]);
    }

    }

    bool Ascending(int nValue1, int nValue2)
    {
    return nValue1 nValue2; //Will sort the variables from greatest to smallest
    }

  • RaceFan

    function signature should have been introduced in the section on function overloading.

    Pointers are a piece of cake if you've done any Assembly programming…

  • Joseph

    It’s bad practice to start your function names with capital letters because people could mistake them for structs or classes.

  • June

    Can anybody here please explain this bool function to me?

Leave a Comment

  

  

  

5 × four =

Put C++ code inside [code][/code] brackets to use the syntax highlighter