Passing a pointer to a member function as a template argument. Why does this work?

Question

I have some code that 100% works for the use case I have. I\'m just wondering if anyone can explain how and why it works.

I have a template class that sits between so

Answer 1

I think there is a better explanation why it is possible to do so than "because the standard says so":

The reason it works is because pointers-to-members are constant values known at compile time (pointer-to-member is effectively an offset of a member from the start of a class). Thus they can be used as parameters of templates, just as any other integer constant can be.

On the other hand, normal pointers are not compile time constants, because they depend on memory layout which only exists at runtime. They cannot be template arguments.

Answer 2

When you ask a question along the lines of "why something works?", it implies that the fact that it works is somehow surprising to you. It is impossible to answer the question unless you explain why you find it surprising.

Why it works? Because the language specification explicitly says that it shall work. There's no other answer, until you explain your concerns in more detail.