In lesson 12.7 -- Introduction to 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 following function:
Identifier foo() is the function’s name. But what type is the function? Functions have their own
function type -- in this case, a function type that returns an integer and takes no parameters. Much like
variables, functions live at an assigned address in memory (making them lvalues).
When a function is called (via operator()), execution jumps to the address of the function being
called:
At some point in your programming career (if you haven’t already), you’ll probably make a simple mistake:
Instead of calling function foo() and printing the return value, we’ve unintentionally sent
function foo directly to std::cout. What happens in this case?
When a function is referred to by name (without parenthesis), C++ converts the function into a function pointer
(holding the address of the function). Then operator<< tries to print the function pointer,
which it fails at because operator<< does not know how to print function pointers. The
standard says that in this case, foo should be converted to a bool (which
operator<< does know how to print). And since the function pointer for foo is a
non-null pointer, it should always evaluate to Boolean true. Thus, this should print:
1
Tip
Some compilers (e.g. Visual Studio) have a compiler extension that prints the address of the function instead:
0x002717f0
If your platform doesn’t print the function’s address and you want it to, you may be able to force it to do so by converting the function to a void pointer and printing that:
This is implementation-defined behavior, so it may not work on all platforms.
Just like it is possible to declare a non-constant pointer to a normal variable, it’s also possible to declare a non-constant pointer to a function. In the rest of this lesson, we’ll examine these function pointers and their uses. Function pointers are a fairly advanced topic, and the rest of this lesson can be safely skipped or skimmed by those only looking for C++ basics.
Pointers to functions
The syntax for creating a non-const function pointer is one of the ugliest things you will ever see in C++:
In the above snippet, fcnPtr is a pointer to a function that has no parameters and returns an integer. fcnPtr can point to any function that matches this type.
The parentheses around *fcnPtr are necessary for precedence reasons, as int* fcnPtr() would be
interpreted as a forward declaration for a function named fcnPtr that takes no parameters and returns a pointer
to an integer.
To make a const function pointer, the const goes after the asterisk:
If you put the const before the int, then that would indicate the function being pointed to would return a const int.
Tip
The function pointer syntax can be hard to understand. The following articles demonstrates a method for parsing such declarations:
Assigning a function to a function pointer
Function pointers can be initialized with a function (and non-const function pointers can be assigned a function). Like with pointers to variables, we can also use &foo to get a function pointer to foo.
One common mistake is to do this:
This tries to assign the return value from a call to function goo() (which has type int) to fcnPtr
(which is expecting a value of type int(*)()), which isn’t what we want. We want fcnPtr to be
assigned the address of function goo, not the return value from function goo(). So no parentheses are needed.
Note that the type (parameters and return type) of the function pointer must match the type of the function. Here are some examples of this:
Unlike fundamental types, C++ will implicitly convert a function into a function pointer if needed (so you don’t need to use the address-of operator (&) to get the function’s address). However, function pointers will not convert to void pointers, or vice-versa (though some compilers like Visual Studio may allow this anyway).
Function pointers can also be initialized or assigned the value nullptr:
Calling a function using a function pointer
The other primary 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.
Also note that because function pointers can be set to nullptr, it’s a good idea to assert or conditionally test whether your function pointer is a null pointer before calling it. Just like with normal pointers, dereferencing a null function pointer leads to undefined behavior.
Default arguments don’t work for functions called through function pointers Advanced
When the compiler encounters a normal function call to a function with one or more default arguments, it rewrites the function call to include the default arguments. This process happens at compile-time, and thus can only be applied to functions that can be resolved at compile time.
However, when a function is called through a function pointer, it is resolved at runtime. In this case, there is no rewriting of the function call to include default arguments.
Key insight
Because the resolution happens at runtime, default arguments are not resolved when a function is called through a function pointer.
This means that we can use a function pointer to disambiguate a function call that would otherwise be ambiguous due to default arguments. In the following example, we show two ways to do this:
Passing functions as arguments to other functions
One of the most useful things to do with function pointers is pass a function as an argument to another function. Functions used as arguments to another function are sometimes called callback functions.
Consider a 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.
Many comparison-based sorting algorithms work on a similar concept: the sorting algorithm iterates through a list of numbers, does comparisons on pairs of numbers, and reorders the numbers based on the results of those comparisons. Consequently, by varying the comparison, we can change the way the algorithm sorts without affecting the rest of the sorting code.
Here is our selection sort routine from a previous lesson:
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 to indicate whether the elements should be swapped, it will look something like this:
And here’s our selection sort routine using the ascending() function to do the comparison:
Now, 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 their 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 its job.
The caller can even define their 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” their 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 versions of the sort routine. Now you can have one version that can sort any way the caller desires!
Note: If a function parameter is of a function type, it will be converted to a pointer to the function type. This means:
can be equivalently written as:
This only works for function parameters, and so is of somewhat limited use. On a non-function parameter, the latter is interpreted as a forward declaration:
Providing default functions
If you’re going to allow the caller to pass in a function as a parameter, it can often be useful to provide some standard functions for the caller to use for their convenience. For example, in the selection sort example above, providing the ascending() and descending() function along with the selectionSort() function would make the caller’s life easier, as they wouldn’t have to rewrite ascending() or descending() every time they want to use them.
You can even set one of these as a default parameter:
In this case, as long as the user calls selectionSort normally (not through a function pointer), the
comparisonFcn parameter will default to ascending. You will need to make sure that the ascending
function is declared prior to this point, otherwise the compiler will complain it doesn’t know what
ascending is.
Making function pointers prettier with type aliases
Let’s face it -- the syntax for pointers to functions is ugly. However, type aliases can be used to make pointers to functions look more like regular variables:
This defines a type alias called “ValidateFunction” that is a pointer to a function that takes two ints and returns a bool.
Now instead of doing this:
You can do this:
Using std::function
An alternate method of defining and storing function pointers is to use std::function, which is part of the standard library <functional> header. To define a function pointer using this method, declare a std::function object like so:
As you see, both the return type and parameters go inside angled brackets, with the parameters inside parentheses. If there are no parameters, the parentheses can be left empty.
Updating our earlier example with std::function:
Type aliasing std::function can be helpful for readability:
Also note that std::function only allows calling the function via implicit dereference (e.g.
fcnPtr()), not explicit dereference (e.g. (*fcnPtr)()).
When defining a type alias, we must explicitly specify any template arguments. We can’t use CTAD in this case since there is no initializer to deduce the template arguments from.
Type inference for function pointers
Much like the auto keyword can be used to infer the type of normal variables, the auto keyword can also infer the type of a function pointer.
This works exactly like you’d expect, and the syntax is very clean. The downside is, of course, that all of the details about the function’s parameters types and return type are hidden, so it’s easier to make a mistake when making a call with the function, or using its return value.
Conclusion
Function pointers are useful primarily when you want to store functions in an array (or other structure), or when you need to pass a function to another function. Because the native syntax to declare function pointers is ugly and error prone, we recommend using std::function. In places where a function pointer type is only used once (e.g. a single parameter or return value), std::function can be used directly. In places where a function pointer type is used multiple times, a type alias to a std::function is a better choice (to prevent repeating yourself).