How can I pass a class member function as a callback?

This is a simple question but the answer is surprisingly complex. The short answer is you can do what you’re trying to do with std::bind1st or boost::bind. The longer answer is below.

The compiler is correct to suggest you use &CLoggersInfra::RedundencyManagerCallBack. First, if RedundencyManagerCallBack is a member function, the function itself doesn’t belong to any particular instance of the class CLoggersInfra. It belongs to the class itself. If you’ve ever called a static class function before, you may have noticed you use the same SomeClass::SomeMemberFunction syntax. Since the function itself is ‘static’ in the sense that it belongs to the class rather than a particular instance, you use the same syntax. The ‘&’ is necessary because technically speaking you don’t pass functions directly — functions are not real objects in C++. Instead you’re technically passing the memory address for the function, that is, a pointer to where the function’s instructions begin in memory. The consequence is the same though, you’re effectively ‘passing a function’ as a parameter.

But that’s only half the problem in this instance. As I said, RedundencyManagerCallBack the function doesn’t ‘belong’ to any particular instance. But it sounds like you want to pass it as a callback with a particular instance in mind. To understand how to do this you need to understand what member functions really are: regular not-defined-in-any-class functions with an extra hidden parameter.

For example:

class A {
public:
    A() : data(0) {}
    void foo(int addToData) { this->data += addToData; }

    int data;
};

...

A an_a_object;
an_a_object.foo(5);
A::foo(&an_a_object, 5); // This is the same as the line above!
std::cout << an_a_object.data; // Prints 10!

How many parameters does A::foo take? Normally we would say 1. But under the hood, foo really takes 2. Looking at A::foo’s definition, it needs a specific instance of A in order for the ‘this’ pointer to be meaningful (the compiler needs to know what ‘this’ is). The way you usually specify what you want ‘this’ to be is through the syntax MyObject.MyMemberFunction(). But this is just syntactic sugar for passing the address of MyObject as the first parameter to MyMemberFunction. Similarly, when we declare member functions inside class definitions we don’t put ‘this’ in the parameter list, but this is just a gift from the language designers to save typing. Instead you have to specify that a member function is static to opt out of it automatically getting the extra ‘this’ parameter. If the C++ compiler translated the above example to C code (the original C++ compiler actually worked that way), it would probably write something like this:

struct A {
    int data;
};

void a_init(A* to_init)
{
    to_init->data = 0;
}

void a_foo(A* this, int addToData)
{ 
    this->data += addToData;
}

...

A an_a_object;
a_init(0); // Before constructor call was implicit
a_foo(&an_a_object, 5); // Used to be an_a_object.foo(5);

Returning to your example, there is now an obvious problem. ‘Init’ wants a pointer to a function that takes one parameter. But &CLoggersInfra::RedundencyManagerCallBack is a pointer to a function that takes two parameters, it’s normal parameter and the secret ‘this’ parameter. That’s why you’re still getting a compiler error (as a side note: If you’ve ever used Python, this kind of confusion is why a ‘self’ parameter is required for all member functions).

The verbose way to handle this is to create a special object that holds a pointer to the instance you want and has a member function called something like ‘run’ or ‘execute’ (or overloads the ‘()’ operator) that takes the parameters for the member function, and simply calls the member function with those parameters on the stored instance. But this would require you to change ‘Init’ to take your special object rather than a raw function pointer, and it sounds like Init is someone else’s code. And making a special class for every time this problem comes up will lead to code bloat.

So now, finally, the good solution, boost::bind and boost::function, the documentation for each you can find here:

boost::bind docs,
boost::function docs

boost::bind will let you take a function, and a parameter to that function, and make a new function where that parameter is ‘locked’ in place. So if I have a function that adds two integers, I can use boost::bind to make a new function where one of the parameters is locked to say 5. This new function will only take one integer parameter, and will always add 5 specifically to it. Using this technique, you can ‘lock in’ the hidden ‘this’ parameter to be a particular class instance, and generate a new function that only takes one parameter, just like you want (note that the hidden parameter is always the first parameter, and the normal parameters come in order after it). Look at the boost::bind docs for examples, they even specifically discuss using it for member functions. Technically there is a standard function called [std::bind1st][3] that you could use as well, but boost::bind is more general.

Of course, there’s just one more catch. boost::bind will make a nice boost::function for you, but this is still technically not a raw function pointer like Init probably wants. Thankfully, boost provides a way to convert boost::function’s to raw pointers, as documented on StackOverflow here. How it implements this is beyond the scope of this answer, though it’s interesting too.

Don’t worry if this seems ludicrously hard — your question intersects several of C++’s darker corners, and boost::bind is incredibly useful once you learn it.

C++11 update: Instead of boost::bind you can now use a lambda function that captures ‘this’. This is basically having the compiler generate the same thing for you.

Leave a Comment