What does void(U::*)(void) mean?

Question

I was looking at the implementation of the is_class template in Boost, and ran into some syntax I can't easily decipher.

    template <class U> static ::boost::type_traits::yes_type is_class_tester(void(U::*)(void));
    template <class U> static ::boost::type_traits::no_type is_class_tester(...);

How do I interpret void(U::*)(void) above? I'm familiar with C, so it appears somewhat analogous to void(*)(void), but I don't understand how U:: modifies the pointer. Can anyone help?

Thanks

Answer 1

Start from U, then work inside out.

The declared type is a pointer to a member function from class U taking void arguments and returning void.

Answer 2

* indicates a pointer, because you can access its contents by writing *p. U::* indicates a pointer to a member of class U. You can access its contents by writing u.*p or pu->*p (where u is an instance of U).

So, in your example, void (U::*)(void) is a pointer to a member of U that is a function taking no arguments and returning no value.

Example:

class C { void foo() {} };

typedef void (C::*c_func_ptr)(void);

c_func_ptr myPointer = &C::foo;

Answer 3

You're right, it is analogous to a function pointer. Rather, this is a pointer to member function, where the member is of the class U.

The difference in type is necessitated because member functions have an implicit this pointer, as they cannot be called without an instance. Getting rid of the template might make it a bit easier:

struct foo
{
    void bar(void);
};

void(*)(void) won't do, as this has no way to communicate an instance of the class. Rather, we need:

void (foo::*)(void)

Indicating that this function pointer requires an instance of foo.

---

For what it's worth, you use them like this:

typedef void (foo::*func_ptr)(void);

foo f;
foo* fp = &f;
func_ptr func = &foo::bar;

(f.*func)();
(fp->*func)();

Answer 4

It's a pointer to a member function of class U. it's quite similar to

void(*)(void)

but it points to a member function of class U.