$ cat 0.cpp
template < typename R, typename T, R ( T::* method )() >
static inline R dispatch( T& object )
{
        return ( object.*method )();
}
struct X
{
        virtual ~X();
        virtual void f();
};
void test1( X& obj )
{
        void ( *f )( X& ) = dispatch< void, X, &X::f >;
        f( obj );
}
void test2( X& obj )
{
        obj.f();
}

g++-4.2.2-RC1 produces unoptimal code for test1:

test1(X&):
        jmp     void dispatch<void, X, &(X::f())>(X&)

test2(X&):
        movq    (%rdi), %rax
        movq    16(%rax), %r11
        jmp     *%r11

void dispatch<void, X, &(X::f())>(X&):
        movq    (%rdi), %rax
        movq    16(%rax), %r11
        jmp     *%r11